Source.Type.Util

Documentation

elabInstM :: Type -> CSlurpM Type

makeCtorType :: (Var, [Var]) -> (Var, [DataField Exp Type]) -> CSlurpM Type

defaultCtorRegion :: Type -> CSlurpM Type

gatherEffectsE :: Exp -> [Var]

makeTFunEE :: Effect -> [Env] -> [Type] -> CSlurpM Type

Produced by Haddock version 0.7