disco-0.1.3.0: 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 - D
DBinding
1 (Type/Class)
Disco.AST.Desugared
2 (Data Constructor)
Disco.AST.Desugared
DBranch
Disco.AST.Desugared
DDefn
Disco.AST.Surface
Debug
Disco.Messages
debug
Disco.Messages
debugFlag
Disco.Interactive.CmdLine
debugMode
Disco.Eval
debugPretty
Disco.Messages
Decimal
Disco.AST.Core
Decl
Disco.AST.Surface
decomposeConstraint
Disco.Typecheck.Solve
decomposeQual
Disco.Typecheck.Solve
defaultExts
Disco.Extensions
Defn
1 (Type/Class)
Disco.Module
2 (Data Constructor)
Disco.Module
delete
Disco.Typecheck.Graph
deleteVM
Disco.Typecheck.Solve
desugarBranch
Disco.Desugar
desugarDefn
Disco.Desugar
desugarGuards
Disco.Desugar
desugarProperty
Disco.Desugar
desugarTerm
Disco.Desugar
DGPat
Disco.AST.Desugared
DGuard
Disco.AST.Desugared
Diff
Disco.Syntax.Operators
digitalExpansion
Disco.Pretty
Dir
1 (Data Constructor)
Disco.Names
2 (Type/Class)
Disco.Types.Rules
dirtypes
Disco.Types.Rules
dirtypesBySort
Disco.Typecheck.Solve
discoCommands
Disco.Interactive.Commands
DiscoConfig
Disco.Eval
discoConfig
Disco.Eval
DiscoEffects
Disco.Eval
DiscoError
Disco.Error
discoInfo
Disco.Interactive.CmdLine
discoMain
Disco.Interactive.CmdLine
DiscoOpts
1 (Type/Class)
Disco.Interactive.CmdLine
2 (Data Constructor)
Disco.Interactive.CmdLine
discoOpts
Disco.Interactive.CmdLine
DiscoParseError
Disco.Parser
dispatch
Disco.Interactive.Commands
Div
Disco.Syntax.Operators
DivByZero
Disco.Error
Divides
Disco.Syntax.Operators
Doc
Disco.Pretty
DocProperty
Disco.AST.Surface
Docs
Disco.AST.Surface
DocString
Disco.AST.Surface
DocThing
Disco.AST.Surface
dom
Disco.Subst
dot
Disco.Parser
doubleQuotes
Disco.Pretty.DSL
, Disco.Pretty
DPattern
Disco.AST.Desugared
DPInj
Disco.AST.Desugared
DPPair
Disco.AST.Desugared
DProperty
Disco.AST.Desugared
DPUnit
Disco.AST.Desugared
DPVar
Disco.AST.Desugared
DPWild
Disco.AST.Desugared
DTAbs
Disco.AST.Desugared
DTApp
Disco.AST.Desugared
DTBool
Disco.AST.Desugared
DTCase
Disco.AST.Desugared
DTChar
Disco.AST.Desugared
DTerm
Disco.AST.Desugared
DTNat
Disco.AST.Desugared
DTNil
Disco.AST.Desugared
DTPair
Disco.AST.Desugared
DTPrim
Disco.AST.Desugared
DTRat
Disco.AST.Desugared
DTTest
Disco.AST.Desugared
DTTyOp
Disco.AST.Desugared
DTUnit
Disco.AST.Desugared
DTVar
Disco.AST.Desugared
DTyDef
Disco.AST.Surface
DType
Disco.AST.Surface
DuplicateDecls
Disco.Typecheck.Util
DuplicateDefns
Disco.Typecheck.Util
DuplicateTyDefns
Disco.Typecheck.Util