ContentsIndex
Type.Constraint.State
Documentation
data BindMode
Constructors
BindLet
BindArg
BindLambda
BindSnoc
BindCtor
BindImportExtern
show/hide Instances
type CSlurpM = State CSlurpS
data CSlurpS
Constructors
CSlurpS
stateTrace :: [String]
stateErrors :: [Error]
stateCoreVars :: (Map String Var)
stateGen :: (Map NameSpace VarId)
stateDataDefs :: [DataDef]
stateSlurpDefs :: (Map Var Type)
stateBindMode :: (Map Var BindMode)
stateVarType :: (Map Var Var)
initCSlurpS :: Map String Var -> CSlurpS
Produced by Haddock version 0.7