Contents Index

Type.Constraint.Tree

Documentation

data CTree

Constructors CBranch branchLet :: [(Var, Var)] branchLambda :: [Var] branchInst :: [Var] branchEnv :: [Var] branchEnvC :: [Var] branchSub :: [CTree] CEq Var Type CEqE Var [Effect] CGen Var [Var] CDef Var Type CSig Var Type CInfo CInfo CDataFields Var [Var] [(Var, Type)] CError Type CTreeNil Instances Data CTree Pretty CTree Show CTree Typeable CTree

data CInfo

Constructors ILambda [Var] Instances Data CInfo Pretty CInfo Show CInfo Typeable CInfo

Produced by Haddock version 0.7