ddc-core-0.4.1.1: Disciplined Disciple Compiler core language and type checker.

Index - S

SCharDDC.Core.Pretty
sCompDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
semiDDC.Core.Pretty
semiBracesDDC.Core.Pretty
SEmptyDDC.Core.Pretty
sepDDC.Core.Pretty
setPrimFunDDC.Type.Env
SimpleDocDDC.Core.Pretty
singleton 
1 (Function)DDC.Type.Sum
2 (Function)DDC.Type.Env
SLineDDC.Core.Pretty
slurpBindTreeDDC.Type.Collect
SoConDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
SoConCompDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
SoConPropDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
softbreakDDC.Core.Pretty
softlineDDC.Core.Pretty
SortDDC.Type.Exp, DDC.Core.Exp.Simple, DDC.Core.Exp.Annot, DDC.Core.Exp
sortOfKindDDC.Type.Check
spaceDDC.Core.Pretty
specBindsOfLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
splitXLets 
1 (Function)DDC.Core.Compounds.Simple
2 (Function)DDC.Core.Compounds.Annot, DDC.Core.Compounds
SpreadTDDC.Type.Transform.SpreadT
spreadTDDC.Type.Transform.SpreadT
SpreadXDDC.Core.Transform.SpreadX
spreadXDDC.Core.Transform.SpreadX
sPropDDC.Type.Compounds, DDC.Core.Compounds.Simple, DDC.Core.Compounds.Annot, DDC.Core.Compounds
squoteDDC.Core.Pretty
squotesDDC.Core.Pretty
stackAllDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackAnonsDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackBindsDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
stackNamedDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
STextDDC.Core.Pretty
stringDDC.Core.Pretty
Sub 
1 (Type/Class)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
2 (Data Constructor)DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subBoundDDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subConflict0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subConflict1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subShadow0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subStack0DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
subStack1DDC.Type.Transform.Rename, DDC.Core.Transform.Rename
substBoundDDC.Type.Transform.Rename, DDC.Core.Transform.Rename, DDC.Type.Transform.SubstituteT
substituteBoundTDDC.Type.Transform.SubstituteT
substituteBoundTXDDC.Core.Transform.SubstituteTX
SubstituteTDDC.Type.Transform.SubstituteT
substituteTDDC.Type.Transform.SubstituteT
substituteTsDDC.Type.Transform.SubstituteT
SubstituteTXDDC.Core.Transform.SubstituteTX
substituteTXDDC.Core.Transform.SubstituteTX
substituteTXsDDC.Core.Transform.SubstituteTX
substituteWithTDDC.Type.Transform.SubstituteT
substituteWithTXDDC.Core.Transform.SubstituteTX
substituteWithWXDDC.Core.Transform.SubstituteWX
substituteWithXXDDC.Core.Transform.SubstituteXX
SubstituteWXDDC.Core.Transform.SubstituteWX
substituteWXDDC.Core.Transform.SubstituteWX
substituteWXsDDC.Core.Transform.SubstituteWX
substituteXArgDDC.Core.Transform.SubstituteXX
substituteXArgsDDC.Core.Transform.SubstituteXX
SubstituteXXDDC.Core.Transform.SubstituteXX
substituteXXDDC.Core.Transform.SubstituteXX
substituteXXsDDC.Core.Transform.SubstituteXX
subsumesTDDC.Type.Subsumes
SuperEnvDDC.Type.Env
Support 
1 (Type/Class)DDC.Core.Collect
2 (Data Constructor)DDC.Core.Collect
supportDDC.Core.Collect
supportDaVarDDC.Core.Collect
supportSpVarDDC.Core.Collect
supportSpVarXArgDDC.Core.Collect
supportTyConDDC.Core.Collect
supportTyConXArgDDC.Core.Collect
supportWiVarDDC.Core.Collect
SupportXDDC.Core.Collect
SynthDDC.Core.Check, DDC.Core.Load