disco-0.2: Functional programming language for teaching discrete math. (Index - C)

disco-0.2: Functional programming language for teaching discrete math.

Index - C

C	Disco.Types
CAbs	Disco.AST.Core
cAbs	Disco.Typecheck
CAll	Disco.Typecheck.Constraints
CAnd	Disco.Typecheck.Constraints
cAnd	Disco.Typecheck.Constraints
CApp	Disco.AST.Core
CArr	Disco.Types
CartProd	Disco.Syntax.Operators
CBag	Disco.Types
CCase	Disco.AST.Core
CConst	Disco.AST.Core
CContainer	Disco.Types
CDelay	Disco.AST.Core
Cell	Disco.Value
CEq	Disco.Typecheck.Constraints
CESK	Disco.Interpret.CESK
cessors	Disco.Typecheck.Graph
cExp	Disco.Typecheck
CForce	Disco.AST.Core
CGraph	Disco.Types
char	Disco.Exhaustiveness.TypeInfo
charv	Disco.Value
Check	Disco.Typecheck
check	Disco.Typecheck
checkBaseEdge	Disco.Typecheck.Solve
checkBaseEdges	Disco.Typecheck.Solve
checkClauses	Disco.Exhaustiveness
checkCtx	Disco.Typecheck
checkCyclicTy	Disco.Typecheck
checkDefn	Disco.Typecheck
checkFile	Disco.Interactive.CmdLine
checkModule	Disco.Typecheck
checkPattern	Disco.Typecheck
checkPolyRec	Disco.Typecheck
checkPolyTy	Disco.Typecheck
checkPolyTyValid	Disco.Typecheck
checkProperties	Disco.Typecheck
checkProperty	Disco.Typecheck
checkQual	Disco.Typecheck.Solve
checkSkolems	Disco.Typecheck.Solve
checkTop	Disco.Typecheck
checkTyDefn	Disco.Typecheck
checkTypeValid	Disco.Typecheck
checkUnboundVars	Disco.Typecheck
Choose	Disco.Syntax.Operators
CInj	Disco.AST.Core
cInt	Disco.Typecheck
Clause	Disco.Module
ClearStore	Disco.Effects.Store
clearStore	Disco.Effects.Store
CList	Disco.Types
closeType	Disco.Types
CMap	Disco.Types
CMatch	Disco.Exhaustiveness.Constraint
cmdFile	Disco.Interactive.CmdLine
CNot	Disco.Exhaustiveness.Constraint
CNum	Disco.AST.Core
Co	Disco.Types.Rules
coerceKeys	Disco.Context
colon	Disco.Parser
comma	Disco.Parser
compileBOp	Disco.Compile
compileBranch	Disco.Compile
compileCase	Disco.Compile
compileDefnGroup	Disco.Compile
compileDefns	Disco.Compile
compileDTerm	Disco.Compile
compileGuards	Disco.Compile
compileMatch	Disco.Compile
compilePrim	Disco.Compile
compilePrimErr	Disco.Compile
compileProperty	Disco.Compile
compileTerm	Disco.Compile
compileThing	Disco.Compile
compileUOp	Disco.Compile
compose	Disco.Subst
Con	Disco.Types
conArity	Disco.Typecheck
condensation	Disco.Typecheck.Graph
conflictsWith	Disco.Exhaustiveness.Constraint
Cons	Disco.Syntax.Operators
cons	Disco.Exhaustiveness.TypeInfo
Constraint
1 (Type/Class)	Disco.Typecheck.Constraints
2 (Type/Class)	Disco.Exhaustiveness.Constraint
constraint	Disco.Typecheck.Util
ConstraintFor	Disco.Exhaustiveness.Constraint
constraints	Disco.Typecheck.Util
Constructors	Disco.Exhaustiveness.TypeInfo
Container	Disco.AST.Generic, Disco.AST.Desugared, Disco.AST.Surface, Disco.AST.Typed
containerToCon	Disco.Typecheck
containerTy	Disco.Typecheck
containerVars	Disco.Types
Contra	Disco.Types.Rules
COr	Disco.Typecheck.Constraints
cOr	Disco.Typecheck.Constraints
Core	Disco.AST.Core
Count	Disco.Syntax.Operators
Counter	Disco.Effects.Counter
countSolution	Disco.Typecheck.Solve
countType	Disco.Types
CPair	Disco.AST.Core
cPos	Disco.Typecheck
CProd	Disco.Types
CProj	Disco.AST.Core
CQual	Disco.Typecheck.Constraints
Crash	Disco.Error
CSet	Disco.Types
cSize	Disco.Typecheck
CSub	Disco.Typecheck.Constraints
CSum	Disco.Types
CTest	Disco.AST.Core
CtrBag	Disco.Types
CtrList	Disco.Types
CtrSet	Disco.Types
CTrue	Disco.Typecheck.Constraints
Ctx	Disco.Context
ctxForModule	Disco.Context
CType	Disco.AST.Core
CUnit	Disco.AST.Core
CUser	Disco.Types
CVar	Disco.AST.Core
CWasOriginally	Disco.Exhaustiveness.Constraint
CyclicImport	Disco.Error
CyclicTyDef	Disco.Typecheck.Util