disco-0.1.5: Functional programming language for teaching discrete math.

Index - D

DBinding 
1 (Type/Class)Disco.AST.Desugared
2 (Data Constructor)Disco.AST.Desugared
DBranchDisco.AST.Desugared
DDefnDisco.AST.Surface
DebugDisco.Messages
debugDisco.Messages
debugFlagDisco.Interactive.CmdLine
debugModeDisco.Eval
debugPrettyDisco.Messages
DecimalDisco.AST.Core
DeclDisco.AST.Surface
decomposeConstraintDisco.Typecheck.Solve
decomposeQualDisco.Typecheck.Solve
defaultExtsDisco.Extensions
Defn 
1 (Type/Class)Disco.Module
2 (Data Constructor)Disco.Module
deleteDisco.Typecheck.Graph
deleteVMDisco.Typecheck.Solve
desugarBranchDisco.Desugar
desugarDefnDisco.Desugar
desugarGuardsDisco.Desugar
desugarPropertyDisco.Desugar
desugarTermDisco.Desugar
DGPatDisco.AST.Desugared
DGuardDisco.AST.Desugared
DiffDisco.Syntax.Operators
digitalExpansionDisco.Pretty
Dir 
1 (Data Constructor)Disco.Names
2 (Type/Class)Disco.Types.Rules
dirtypesDisco.Types.Rules
dirtypesBySortDisco.Typecheck.Solve
discoCommandsDisco.Interactive.Commands
DiscoConfigDisco.Eval
discoConfigDisco.Eval
DiscoEffectsDisco.Eval
DiscoErrorDisco.Error
discoInfoDisco.Interactive.CmdLine
discoMainDisco.Interactive.CmdLine
DiscoOpts 
1 (Type/Class)Disco.Interactive.CmdLine
2 (Data Constructor)Disco.Interactive.CmdLine
discoOptsDisco.Interactive.CmdLine
DiscoParseErrorDisco.Parser
dispatchDisco.Interactive.Commands
DivDisco.Syntax.Operators
DivByZeroDisco.Error
DividesDisco.Syntax.Operators
DocDisco.Pretty
DocPropertyDisco.AST.Surface
DocsDisco.AST.Surface
DocStringDisco.AST.Surface
DocThingDisco.AST.Surface
domDisco.Subst
dotDisco.Parser
doubleQuotesDisco.Pretty.DSL, Disco.Pretty
DPatternDisco.AST.Desugared
DPInjDisco.AST.Desugared
DPPairDisco.AST.Desugared
DPropertyDisco.AST.Desugared
DPUnitDisco.AST.Desugared
DPVarDisco.AST.Desugared
DPWildDisco.AST.Desugared
DTAbsDisco.AST.Desugared
DTAppDisco.AST.Desugared
DTBoolDisco.AST.Desugared
DTCaseDisco.AST.Desugared
DTCharDisco.AST.Desugared
DTermDisco.AST.Desugared
DTNatDisco.AST.Desugared
DTNilDisco.AST.Desugared
DTPairDisco.AST.Desugared
DTPrimDisco.AST.Desugared
DTRatDisco.AST.Desugared
DTTestDisco.AST.Desugared
DTTyOpDisco.AST.Desugared
DTUnitDisco.AST.Desugared
DTVarDisco.AST.Desugared
DTyDefDisco.AST.Surface
DTypeDisco.AST.Surface
DuplicateDeclsDisco.Typecheck.Util
DuplicateDefnsDisco.Typecheck.Util
DuplicateTyDefnsDisco.Typecheck.Util