disco-0.2: Functional programming language for teaching discrete math.
Quick Jump
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 - R
R
Disco.AST.Generic
,
Disco.AST.Surface
Randomized
Disco.Value
Randomness
Disco.Extensions
ratv
Disco.Value
Ref
Disco.Doc
ref
Disco.Doc
Reference
1 (Type/Class)
Disco.Doc
2 (Data Constructor)
Disco.Doc
RefType
Disco.Doc
refType
Disco.Doc
RelMap
1 (Type/Class)
Disco.Typecheck.Solve
2 (Data Constructor)
Disco.Typecheck.Solve
Rels
1 (Type/Class)
Disco.Typecheck.Solve
2 (Data Constructor)
Disco.Typecheck.Solve
renderDoc
Disco.Pretty.DSL
, Disco.Pretty
renderDoc'
Disco.Pretty.DSL
, Disco.Pretty
REPL
Disco.Module
replModInfo
Disco.Eval
REPLModule
Disco.Names
Report
Disco.Report
reserved
Disco.Parser
reservedOp
Disco.Parser
ReservedVarName
Disco.Parser
reservedWords
Disco.Parser
resolveAlias
Disco.Exhaustiveness.TypeInfo
resolveModule
Disco.Module
Resolver
Disco.Module
restrictKeys
Disco.Context
resugarList
Disco.Exhaustiveness
resugarPair
Disco.Exhaustiveness
resugarString
Disco.Exhaustiveness
resultIsCertain
Disco.Value
retSingle
Disco.Exhaustiveness.Possibilities
right
Disco.Exhaustiveness.TypeInfo
RList
Disco.Report
RNest
Disco.Report
rPA
Disco.Pretty.Prec
, Disco.Pretty
RSeq
Disco.Report
rt
Disco.Pretty
RTxt
Disco.Report
runCESK
Disco.Interpret.CESK
runCounter
Disco.Effects.Counter
runCounter'
Disco.Effects.Counter
runDesugar
Disco.Desugar
runDisco
Disco.Eval
runFresh
Disco.Effects.Fresh
runFresh'
Disco.Effects.Fresh
runFresh1
Disco.Effects.Fresh
runInputConst
Disco.Effects.Input
runInputList
Disco.Effects.Input
runInputSem
Disco.Effects.Input
runLazyState
Disco.Effects.State
runLFresh
Disco.Effects.LFresh
runLFresh'
Disco.Effects.LFresh
runParser
Disco.Parser
runSolve
Disco.Typecheck.Solve
runState
Disco.Effects.State
runStateIORef
Disco.Effects.State
runStateSTRef
Disco.Effects.State
runStore
Disco.Effects.Store
runTCM
Disco.Eval
runTest
Disco.Interpret.CESK
RVSeq
Disco.Report