Documentation

type Compiling (m :: Type -> Type) (uni :: Type -> Type) fun name a = (ToBuiltinMeaning uni fun, MonadQuote m, CaseBuiltin uni, GEq uni, Closed uni, Everywhere uni Eq, HasUnique name TermUnique, Ord name, Typeable name, Hashable fun) Source #