disco-0.1.5: Functional programming language for teaching discrete math. (Index - E)

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

Index - E

E	Disco.Value
edges	Disco.Typecheck.Graph
Elem	Disco.Syntax.Operators
elems	Disco.Context
elimCycles	Disco.Typecheck.Solve
elimCyclesGen	Disco.Typecheck.Solve
Ellipsis	Disco.AST.Generic, Disco.AST.Surface
empty	Disco.Pretty.DSL, Disco.Pretty
EmptyCase	Disco.Typecheck.Util
emptyCtx	Disco.Context
emptyMem	Disco.Value
emptyModuleInfo	Disco.Module
emptyTestEnv	Disco.Value
ensureConstr	Disco.Typecheck
ensureConstr1	Disco.Typecheck
ensureConstr2	Disco.Typecheck
ensureConstrMode	Disco.Typecheck
ensureConstrMode1	Disco.Typecheck
ensureConstrMode2	Disco.Typecheck
ensureEq	Disco.Typecheck
enumBool	Disco.Enumerate
enumC	Disco.Enumerate
Enumerate	Disco.Syntax.Operators
enumerateType	Disco.Enumerate
enumerateTypes	Disco.Enumerate
enumF	Disco.Enumerate
enumList	Disco.Enumerate
enumN	Disco.Enumerate
enumQ	Disco.Enumerate
enumSet	Disco.Enumerate
enumType	Disco.Enumerate
enumTypes	Disco.Enumerate
enumUnit	Disco.Enumerate
enumv	Disco.Value
enumVoid	Disco.Enumerate
enumZ	Disco.Enumerate
Env	Disco.Value
Eq	Disco.Syntax.Operators
equate	Disco.Typecheck.Unify
erase	Disco.Typecheck.Erase
eraseBinding	Disco.Typecheck.Erase
eraseBranch	Disco.Typecheck.Erase
eraseClause	Disco.Module
eraseDBranch	Disco.Typecheck.Erase
eraseDGuard	Disco.Typecheck.Erase
eraseDPattern	Disco.Typecheck.Erase
eraseDTerm	Disco.Typecheck.Erase
eraseGuard	Disco.Typecheck.Erase
eraseLink	Disco.Typecheck.Erase
erasePattern	Disco.Typecheck.Erase
eraseProperty	Disco.Typecheck.Erase
eraseQual	Disco.Typecheck.Erase
err	Disco.Messages
ErrMsg	Disco.Messages
eval	Disco.Interpret.CESK
EvalEffects	Disco.Eval
EvalErr	Disco.Error
EvalError	Disco.Error
evalLazyState	Disco.Effects.State
evalState	Disco.Effects.State
evaluate	Disco.Interactive.CmdLine
Ex	Disco.AST.Generic, Disco.AST.Surface
execLazyState	Disco.Effects.State
execState	Disco.Effects.State
Exhaustive	Disco.Value
Exp	Disco.Syntax.Operators
Ext	Disco.Extensions
extend	Disco.Context
extendPropEnv	Disco.Value
extendResultEnv	Disco.Value
extends	Disco.Context
extendSort	Disco.Typecheck.Solve
ExtSet	Disco.Extensions