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

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

Index - A

ABase	Disco.Types
ABinding
1 (Type/Class)	Disco.AST.Typed
2 (Data Constructor)	Disco.AST.Typed
ABranch
1 (Type/Class)	Disco.AST.Typed
2 (Data Constructor)	Disco.Exhaustiveness
absorbFresh	Disco.Effects.Fresh
absorbLFresh	Disco.Effects.LFresh
Action
1 (Type/Class)	Disco.Effects.LFresh
2 (Data Constructor)	Disco.Effects.LFresh
3 (Type/Class)	Disco.Effects.Fresh
4 (Data Constructor)	Disco.Effects.Fresh
Add	Disco.Syntax.Operators
addConstraint	Disco.Exhaustiveness.Constraint
addConstraintHelper	Disco.Exhaustiveness.Constraint
addConstraints	Disco.Exhaustiveness.Constraint
addExtension	Disco.Extensions
addLiteral	Disco.Exhaustiveness
addLitMulti	Disco.Exhaustiveness
addSkolems	Disco.Typecheck.Solve
addToREPLModule	Disco.Eval
AGBool	Disco.AST.Typed
AGLet	Disco.AST.Typed
AGPat	Disco.AST.Typed
AGrhs	Disco.Exhaustiveness
AGuard	Disco.AST.Typed
ALink	Disco.AST.Typed
alistLookup	Disco.Exhaustiveness.Constraint
All	Disco.AST.Generic, Disco.AST.Surface
allBySort	Disco.Typecheck.Solve
allCombinations	Disco.Exhaustiveness.Possibilities
allExts	Disco.Extensions
allExtsList	Disco.Extensions
allocate	Disco.Value
allocateRec	Disco.Value
allocateValue	Disco.Value
allTydefs	Disco.Module
allTys	Disco.Module
Ambiguous	Disco.Typecheck.Util
And	Disco.Syntax.Operators
angles	Disco.Parser
Ant	Disco.Exhaustiveness
anyOf	Disco.Exhaustiveness.Possibilities
APAdd	Disco.AST.Typed
APattern	Disco.AST.Typed
APBool	Disco.AST.Typed
APChar	Disco.AST.Typed
APCons	Disco.AST.Typed
APFrac	Disco.AST.Typed
APInj	Disco.AST.Typed
APList	Disco.AST.Typed
APMul	Disco.AST.Typed
APNat	Disco.AST.Typed
APNeg	Disco.AST.Typed
applySubst	Disco.Subst
AProperty	Disco.AST.Typed
APString	Disco.AST.Typed
APSub	Disco.AST.Typed
APTup	Disco.AST.Typed
APUnit	Disco.AST.Typed
APVar	Disco.AST.Typed
APWild	Disco.AST.Typed
AQBind	Disco.AST.Typed
AQGuard	Disco.AST.Typed
AQual	Disco.AST.Typed
arity	Disco.Types.Rules
ascrPA	Disco.Pretty.Prec, Disco.Pretty
assoc	Disco.Syntax.Operators
assocs	Disco.Context
AssocsStore	Disco.Effects.Store
assocsStore	Disco.Effects.Store
assumeExampleChar	Disco.Exhaustiveness
ATAbs	Disco.AST.Typed
ATApp	Disco.AST.Typed
ATBool	Disco.AST.Typed
ATCase	Disco.AST.Typed
ATChain	Disco.AST.Typed
ATChar	Disco.AST.Typed
ATContainer	Disco.AST.Typed
ATContainerComp	Disco.AST.Typed
ATerm	Disco.AST.Typed
ATLet	Disco.AST.Typed
ATLink	Disco.AST.Typed
ATList	Disco.AST.Typed
ATListComp	Disco.AST.Typed
ATNat	Disco.AST.Typed
Atom	Disco.Types
atomToTypeSubst	Disco.Types
ATPrim	Disco.AST.Typed
ATRat	Disco.AST.Typed
ATString	Disco.AST.Typed
ATTest	Disco.AST.Typed
ATTup	Disco.AST.Typed
ATTyOp	Disco.AST.Typed
ATUnit	Disco.AST.Typed
ATVar	Disco.AST.Typed
AVar	Disco.Types
Avoid	Disco.Effects.LFresh
avoid	Disco.Effects.LFresh
avoid_	Disco.Effects.LFresh