Contents
Index
ddc-core-0.2.1.1: Disciple Core language and type checker.
A
B
C
D
E
F
G
H
I
K
L
M
N
P
R
S
T
U
V
W
X
$
<
All
Index - S
SChar
DDC.Core.Pretty
sComp
DDC.Type.Compounds
semi
DDC.Core.Pretty
semiBraces
DDC.Core.Pretty
SEmpty
DDC.Core.Pretty
sep
DDC.Core.Pretty
setPrimFun
DDC.Type.Env
SimpleDoc
DDC.Core.Pretty
singleton
DDC.Type.Sum
SLine
DDC.Core.Pretty
SoCon
DDC.Type.Exp
, DDC.Core.Exp
SoConComp
DDC.Type.Exp
, DDC.Core.Exp
SoConProp
DDC.Type.Exp
, DDC.Core.Exp
softbreak
DDC.Core.Pretty
softline
DDC.Core.Pretty
Sort
DDC.Type.Exp
, DDC.Core.Exp
space
DDC.Core.Pretty
specBindsOfLets
DDC.Core.Compounds
SpreadT
DDC.Type.Transform.SpreadT
spreadT
DDC.Type.Transform.SpreadT
SpreadX
DDC.Core.Transform.SpreadX
spreadX
DDC.Core.Transform.SpreadX
sProp
DDC.Type.Compounds
squote
DDC.Core.Pretty
squotes
DDC.Core.Pretty
stackAll
DDC.Type.Rewrite
,
DDC.Type.Transform.SubstituteT
stackAnons
DDC.Type.Rewrite
,
DDC.Type.Transform.SubstituteT
stackBinds
DDC.Type.Rewrite
,
DDC.Type.Transform.SubstituteT
stackNamed
DDC.Type.Rewrite
,
DDC.Type.Transform.SubstituteT
SText
DDC.Core.Pretty
string
DDC.Core.Pretty
Sub
1 (Type/Class)
DDC.Type.Rewrite
2 (Data Constructor)
DDC.Type.Rewrite
subBound
DDC.Type.Rewrite
subConflict0
DDC.Type.Rewrite
subConflict1
DDC.Type.Rewrite
subShadow0
DDC.Type.Rewrite
subStack0
DDC.Type.Rewrite
subStack1
DDC.Type.Rewrite
substBound
DDC.Type.Rewrite
,
DDC.Type.Transform.SubstituteT
substituteBoundT
DDC.Type.Transform.SubstituteT
substituteBoundTX
DDC.Core.Transform.SubstituteTX
SubstituteT
DDC.Type.Transform.SubstituteT
substituteT
DDC.Type.Transform.SubstituteT
substituteTs
DDC.Type.Transform.SubstituteT
SubstituteTX
DDC.Core.Transform.SubstituteTX
substituteTX
DDC.Core.Transform.SubstituteTX
substituteTXs
DDC.Core.Transform.SubstituteTX
substituteWithT
DDC.Type.Transform.SubstituteT
substituteWithTX
DDC.Core.Transform.SubstituteTX
substituteWithWX
DDC.Core.Transform.SubstituteWX
substituteWithXX
DDC.Core.Transform.SubstituteXX
SubstituteWX
DDC.Core.Transform.SubstituteWX
substituteWX
DDC.Core.Transform.SubstituteWX
substituteWXs
DDC.Core.Transform.SubstituteWX
substituteXArg
DDC.Core.Transform.SubstituteXX
substituteXArgs
DDC.Core.Transform.SubstituteXX
SubstituteXX
DDC.Core.Transform.SubstituteXX
substituteXX
DDC.Core.Transform.SubstituteXX
substituteXXs
DDC.Core.Transform.SubstituteXX
subsumesT
DDC.Type.Subsumes