disco-0.1.5: Functional programming language for teaching discrete math.
Contents
Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
$
%
.
<
=
@
|
_
All
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
charv
Disco.Value
Check
Disco.Typecheck
check
Disco.Typecheck
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
cmdFile
Disco.Interactive.CmdLine
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
Cons
Disco.Syntax.Operators
Constraint
Disco.Typecheck.Constraints
constraint
Disco.Typecheck.Util
constraints
Disco.Typecheck.Util
Container
Disco.AST.Generic
,
Disco.AST.Surface
,
Disco.AST.Typed
,
Disco.AST.Desugared
containerToCon
Disco.Typecheck
containerTy
Disco.Typecheck
containerVars
Disco.Types
Contra
Disco.Types.Rules
COr
Disco.Typecheck.Constraints
cOr
Disco.Typecheck.Util
Core
Disco.AST.Core
Count
Disco.Syntax.Operators
Counter
Disco.Effects.Counter
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
CyclicImport
Disco.Error
CyclicTyDef
Disco.Typecheck.Util