Contents Index

Type.Constraint.Util

Documentation

traceM :: String -> CSlurpM ()

trace :: [String] -> CSlurpM ()

newVarN :: NameSpace -> String -> CSlurpM Var

newVarZ :: Var -> CSlurpM Var

newVarInst :: Var -> CSlurpM Var

bindVtoT :: Var -> CSlurpM Var

lookupVtoT :: Var -> CSlurpM (Maybe Var)

getVtoT :: Var -> CSlurpM Var

lbindVtoT :: Var -> CSlurpM Var

setBindModeV :: BindMode -> Var -> CSlurpM ()

getBindModeV :: Var -> CSlurpM BindMode

getGroundType :: String -> CSlurpM Var

getConstType :: Const -> CSlurpM Type

addDataDef :: DataDef -> CSlurpM ()

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

lookupCtor' :: Var -> DataDef -> Maybe (Var, [DataField Exp Type], Var, [Var])

slurpInstantiate :: Type -> CSlurpM Type

addDef :: Var -> Type -> CSlurpM ()

getDef :: Var -> CSlurpM Type

Produced by Haddock version 0.7