Contents Index

Type.ToCore

Documentation

toCoreT :: Type -> Type

toCoreN :: Env -> Exp

toCoreK :: Kind -> Type

toCoreE :: Effect -> Effect

Produced by Haddock version 0.7