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 - P
P
Disco.Types
PA
1 (Type/Class)
Disco.Pretty.Prec
, Disco.Pretty
2 (Data Constructor)
Disco.Pretty.Prec
, Disco.Pretty
PAdd
Disco.AST.Surface
PAdd_
Disco.AST.Generic
pairv
Disco.Value
Panic
Disco.Error
panic
Disco.Error
parens
1 (Function)
Disco.Pretty.DSL
, Disco.Pretty
2 (Function)
Disco.Parser
parseAtom
Disco.Parser
parseAtomicPattern
Disco.Parser
parseAtomicType
Disco.Parser
parseBranch
Disco.Parser
parseCase
Disco.Parser
parseContainer
Disco.Parser
parseContainerComp
Disco.Parser
parseDecl
Disco.Parser
parseDiscoModule
Disco.Eval
parseEllipsis
Disco.Parser
ParseErr
Disco.Error
parseExpr
Disco.Parser
parseExtName
Disco.Parser
parseGuard
Disco.Parser
parseGuards
Disco.Parser
parseImport
Disco.Parser
parseLet
Disco.Parser
parseLine
Disco.Interactive.Commands
parseModule
Disco.Parser
parseModuleName
Disco.Parser
parsePattern
Disco.Parser
parsePolyTy
Disco.Parser
parseQual
Disco.Parser
Parser
Disco.Parser
parseTerm
Disco.Parser
parseTerm'
Disco.Parser
parseTopLevel
Disco.Parser
parseType
Disco.Parser
parseTypeOp
Disco.Parser
partitionDecls
Disco.AST.Surface
PAscr
Disco.AST.Surface
PAscr_
Disco.AST.Generic
Pattern
Disco.AST.Surface
PatternType
Disco.Typecheck.Util
Pattern_
Disco.AST.Generic
PBool
Disco.AST.Surface
PBool_
Disco.AST.Generic
PChar
Disco.AST.Surface
PChar_
Disco.AST.Generic
PCons
Disco.AST.Surface
PCons_
Disco.AST.Generic
PFrac
Disco.AST.Surface
PFrac_
Disco.AST.Generic
pickSortBaseTy
Disco.Types.Rules
PInj
Disco.AST.Surface
PInj_
Disco.AST.Generic
pipe
Disco.Parser
PList
Disco.AST.Surface
PList_
Disco.AST.Generic
PMul
Disco.AST.Surface
PMul_
Disco.AST.Generic
PNat
Disco.AST.Surface
PNat_
Disco.AST.Generic
PNeg
Disco.AST.Surface
PNeg_
Disco.AST.Generic
PolyType
Disco.Types
Post
Disco.Syntax.Operators
Pre
Disco.Syntax.Operators
pre
Disco.Typecheck.Graph
Prec
Disco.Pretty.Prec
, Disco.Pretty
Pretty
Disco.Pretty
pretty
Disco.Pretty
pretty'
Disco.Pretty
prettyDecimal
Disco.Pretty
prettyStr
Disco.Pretty
prettyTestFailure
Disco.Value
prettyTestResult
Disco.Value
prettyTyDecl
Disco.AST.Surface
prettyValue
Disco.Value
prettyValue'
Disco.Value
Prim
Disco.Syntax.Prims
PrimAbs
Disco.Syntax.Prims
PrimB2C
Disco.Syntax.Prims
PrimBag
Disco.Syntax.Prims
PrimBOp
Disco.Syntax.Prims
PrimC2B
Disco.Syntax.Prims
PrimCeil
Disco.Syntax.Prims
PrimConnect
Disco.Syntax.Prims
PrimCrash
Disco.Syntax.Prims
primDoc
Disco.Doc
PrimEach
Disco.Syntax.Prims
PrimEmptyGraph
Disco.Syntax.Prims
primExposed
Disco.Syntax.Prims
PrimExtendSeq
Disco.Syntax.Prims
PrimFactor
Disco.Syntax.Prims
PrimFilter
Disco.Syntax.Prims
PrimFloor
Disco.Syntax.Prims
PrimFrac
Disco.Syntax.Prims
PrimHolds
Disco.Syntax.Prims
PrimInfo
1 (Type/Class)
Disco.Syntax.Prims
2 (Data Constructor)
Disco.Syntax.Prims
PrimInsert
Disco.Syntax.Prims
PrimIsPrime
Disco.Syntax.Prims
Primitives
Disco.Extensions
PrimJoin
Disco.Syntax.Prims
PrimLeft
Disco.Syntax.Prims
PrimList
Disco.Syntax.Prims
PrimLookup
Disco.Syntax.Prims
PrimLookupSeq
Disco.Syntax.Prims
primMap
Disco.Syntax.Prims
PrimMapToSet
Disco.Syntax.Prims
PrimMerge
Disco.Syntax.Prims
PrimOverlay
Disco.Syntax.Prims
PrimPower
Disco.Syntax.Prims
PrimReduce
Disco.Syntax.Prims
primReference
Disco.Doc
PrimRight
Disco.Syntax.Prims
PrimSet
Disco.Syntax.Prims
PrimSetToMap
Disco.Syntax.Prims
PrimSqrt
Disco.Syntax.Prims
PrimSummary
Disco.Syntax.Prims
primSyntax
Disco.Syntax.Prims
primTable
Disco.Syntax.Prims
PrimUC2B
Disco.Syntax.Prims
PrimUntil
Disco.Syntax.Prims
PrimUOp
Disco.Syntax.Prims
PrimVertex
Disco.Syntax.Prims
printMsg
Disco.Messages
Property
Disco.AST.Surface
Property_
Disco.AST.Generic
PString
Disco.AST.Surface
PString_
Disco.AST.Generic
PSub
Disco.AST.Surface
PSub_
Disco.AST.Generic
PTup
Disco.AST.Surface
PTup_
Disco.AST.Generic
punctuate
Disco.Pretty.DSL
, Disco.Pretty
PUnit
Disco.AST.Surface
PUnit_
Disco.AST.Generic
Put
Disco.Effects.State
put
Disco.Effects.State
PVar
Disco.AST.Surface
PVar_
Disco.AST.Generic
PWild
Disco.AST.Surface
PWild_
Disco.AST.Generic