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 - A
ABase
Disco.Types
ABinding
1 (Type/Class)
Disco.AST.Typed
2 (Data Constructor)
Disco.AST.Typed
ABranch
Disco.AST.Typed
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
addExtension
Disco.Extensions
addSkolems
Disco.Typecheck.Solve
addToREPLModule
Disco.Eval
AGBool
Disco.AST.Typed
AGLet
Disco.AST.Typed
AGPat
Disco.AST.Typed
AGuard
Disco.AST.Typed
ALink
Disco.AST.Typed
All
Disco.AST.Generic
,
Disco.AST.Surface
allExts
Disco.Extensions
allExtsList
Disco.Extensions
allocate
Disco.Value
allocateRec
Disco.Value
allTydefs
Disco.Module
allTys
Disco.Module
Ambiguous
Disco.Typecheck.Util
And
Disco.Syntax.Operators
angles
Disco.Parser
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
asum'
Disco.Typecheck.Solve
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