disco-0.1.3.1: 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 - S
S
1 (Type/Class)
Disco.Types
2 (Data Constructor)
Disco.Types
SBag
Disco.Value
sc
Disco.Parser
SearchMotive
1 (Type/Class)
Disco.Value
2 (Data Constructor)
Disco.Value
SearchType
Disco.Value
selectSide
Disco.AST.Generic
semi
Disco.Parser
sequenceGraph
Disco.Typecheck.Graph
set
Disco.Value
SetContainer
Disco.AST.Generic
,
Disco.AST.Surface
,
Disco.AST.Typed
,
Disco.AST.Desugared
setPA
Disco.Pretty
setREPLModule
Disco.Eval
setType
Disco.Types
,
Disco.AST.Typed
ShouldEq
Disco.Syntax.Operators
Side
Disco.AST.Generic
,
Disco.AST.Surface
SimpleConstraint
Disco.Typecheck.Solve
SimpleValue
Disco.Value
simplify
Disco.Typecheck.Solve
SimplifyState
Disco.Typecheck.Solve
singleCtx
Disco.Context
SInj
Disco.Value
Skolem
Disco.Types
SMExists
Disco.Value
SMForall
Disco.Value
SNum
Disco.Value
solve
Disco.Typecheck.Util
solveConstraint
Disco.Typecheck.Solve
solveConstraintChoice
Disco.Typecheck.Solve
SolveError
Disco.Typecheck.Solve
solveGraph
Disco.Typecheck.Solve
Sort
Disco.Types.Qualifiers
,
Disco.Types.Rules
sortRules
Disco.Types.Rules
SPair
Disco.Value
SS
Disco.Typecheck.Solve
ssConstraints
Disco.Typecheck.Solve
ssSeen
Disco.Typecheck.Solve
ssSubst
Disco.Typecheck.Solve
SSub
Disco.Syntax.Operators
ssVarMap
Disco.Typecheck.Solve
Standalone
Disco.Module
State
Disco.Effects.State
stateToIO
Disco.Effects.State
stateToST
Disco.Effects.State
Stdlib
Disco.Names
step
Disco.Interpret.CESK
Store
Disco.Effects.Store
Strict
Disco.Types
Strictness
Disco.Types
strictness
Disco.Types
SType
Disco.Value
Sub
Disco.Syntax.Operators
Subset
Disco.Syntax.Operators
Substitution
1 (Type/Class)
Disco.Subst
,
Disco.Types
2 (Data Constructor)
Disco.Subst
substQ
Disco.Names
substQC
Disco.AST.Core
substQT
Disco.AST.Typed
substRel
Disco.Typecheck.Solve
substsQ
Disco.Names
substsQC
Disco.AST.Core
SubTy
Disco.Types.Rules
subtypes
Disco.Types.Rules
suc
Disco.Typecheck.Graph
SUnit
Disco.Value
SuperTy
Disco.Types.Rules
supertypes
Disco.Types.Rules
symbol
Disco.Parser