ddc-core-0.2.0.1: Disciple Core language and type checker.

Index - C

CastDDC.Core.Exp
CastForgetDDC.Core.Exp
CastPurifyDDC.Core.Exp
CastWeakenClosureDDC.Core.Exp
CastWeakenEffectDDC.Core.Exp
catDDC.Core.Pretty
charDDC.Core.Pretty
checkExpDDC.Core.Check.CheckExp, DDC.Core.Check
checkExpMDDC.Core.Check.CheckExp
CheckM 
1 (Type/Class)DDC.Type.Check.Monad
2 (Data Constructor)DDC.Type.Check.Monad
3 (Type/Class)DDC.Core.Check.CheckWitness, DDC.Core.Check.CheckExp
checkTypeDDC.Type.Check
checkWitnessDDC.Core.Check.CheckWitness, DDC.Core.Check
checkWitnessMDDC.Core.Check.CheckWitness
ClosureDDC.Type.Exp, DDC.Core.Exp
closureOfTaggedDDC.Core.Check.TaggedClosure
closureOfTaggedSetDDC.Core.Check.TaggedClosure
collectBoundDDC.Core.Collect
collectSpecBindsDDC.Core.Collect
colonDDC.Core.Pretty
columnDDC.Core.Pretty
commaDDC.Core.Pretty
crushEffectDDC.Type.Transform.Crush
cutTaggedClosureTDDC.Core.Check.TaggedClosure
cutTaggedClosureXDDC.Core.Check.TaggedClosure
cutTaggedClosureXsDDC.Core.Check.TaggedClosure