ddc-core-0.2.0.2: Disciple Core language and type checker. (Index - S)

ddc-core-0.2.0.2: 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