A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W
Z
!
#
All

Index - S

saturateCall	Gibbon.L0.Syntax
Scalar	Gibbon.L3.Syntax, Gibbon.L4.Syntax
scalarToTy
1 (Function)	Gibbon.L3.Syntax
2 (Function)	Gibbon.L4.Syntax
scalar_bytes	Gibbon.L4.Syntax
ScopedBuffer
1 (Data Constructor)	Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
ScopedParBuffer
1 (Data Constructor)	Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
sdoc	Gibbon.Common
separateDefs	Gibbon.L1.GenSML
SerBool	Gibbon.L2.Interp
SerChar	Gibbon.L2.Interp
SerFloat	Gibbon.L2.Interp
SerializedVal	Gibbon.L2.Interp
SerInt	Gibbon.L2.Interp
SerPad	Gibbon.L2.Interp
SerPtr	Gibbon.L2.Interp
SerTag	Gibbon.L2.Interp
setEvenProg	Gibbon.L2.Examples
SExpr	Gibbon.Common, Gibbon.Compiler
shakeTree	Gibbon.Passes.ShakeTree
Simplifiable	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SimplifiableExt	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
simplifyL1	Gibbon.Passes.Simplifier
simplifyLocBinds	Gibbon.Passes.Simplifier
SingleDest	Gibbon.Passes.InferLocations
Size	Gibbon.L2.Interp
SizeEnv	Gibbon.L2.Interp
SizeOfPacked
1 (Data Constructor)	Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SizeOfScalar
1 (Data Constructor)	Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
sizeOfTy	Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SizeParam
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SizeParamF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
sizeToInt	Gibbon.L2.Interp
SkolemTv	Gibbon.Common
SMany	Gibbon.L2.Interp
snd3	Gibbon.Common
SOne	Gibbon.L2.Interp
sortDefs	Gibbon.L1.GenSML
SpawnE	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SpawnEF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
specLambdas	Gibbon.L0.Specialize2
srcFile	Gibbon.Common, Gibbon.Compiler
SSModality	Gibbon.Common
SSPop
1 (Data Constructor)	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
2 (Data Constructor)	Gibbon.L3.Syntax
3 (Data Constructor)	Gibbon.L4.Syntax
SSPush
1 (Data Constructor)	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
2 (Data Constructor)	Gibbon.L3.Syntax
3 (Data Constructor)	Gibbon.L4.Syntax
ss_ops	Gibbon.Passes.ThreadRegions
StartOfC	Gibbon.L2.Typecheck
StartOfPkdCursor
1 (Data Constructor)	Gibbon.L1.Syntax
2 (Data Constructor)	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
StartOfRegionLE	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
StartScalarsAllocation	Gibbon.L3.Syntax
StartTagAllocation	Gibbon.L3.Syntax
Store
1 (Type/Class)	Gibbon.L2.Interp
2 (Data Constructor)	Gibbon.L2.Interp
stree	Gibbon.L2.Examples
stripTyLocs	Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
strToInt	Gibbon.L2.Interp
SubP
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SubPF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SubPtr	Gibbon.L3.Syntax
Subst
1 (Type/Class)	Gibbon.L0.Typecheck
2 (Data Constructor)	Gibbon.L0.Typecheck
subst	Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
substE	Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
substEff	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
substEffs	Gibbon.L2.Syntax, Gibbon.NewL2.Syntax
substEndReg	Gibbon.Passes.ThreadRegions
substEndReg_locarg	Gibbon.Passes.ThreadRegions
Substitutable	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SubstitutableExt	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
substLoc
1 (Function)	Gibbon.L2.Syntax
2 (Function)	Gibbon.NewL2.Syntax
substLocs
1 (Function)	Gibbon.L2.Syntax
2 (Function)	Gibbon.NewL2.Syntax
substProg	Gibbon.L2.Examples
substTyVar	Gibbon.L0.Syntax
substTyVarDDef	Gibbon.L0.Typecheck
substTyVarExp	Gibbon.L0.Typecheck
substTyVarPrim	Gibbon.L0.Typecheck
sumSTreeProg	Gibbon.L2.Examples
sumTreeProg	Gibbon.L2.Examples
sumUpProg	Gibbon.L2.Examples
sumUpSetEvenProg	Gibbon.L2.Examples
Switch	Gibbon.L4.Syntax
SyM	Gibbon.Common
Symbol	Gibbon.Common
symbolTable	Gibbon.L4.Syntax
SymDictTy
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L0.Syntax
3 (Data Constructor)	Gibbon.L4.Syntax
SymDictTyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymHashContains
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymHashContainsF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymHashEmpty
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymHashEmptyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymHashInsert
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymHashInsertF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymHashLookup
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymHashLookupF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymHashTy
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L0.Syntax
3 (Data Constructor)	Gibbon.L4.Syntax
SymHashTyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymS	Gibbon.L3.Syntax, Gibbon.L4.Syntax
SymSetContains
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymSetContainsF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymSetEmpty
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymSetEmptyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymSetInsert
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymSetInsertF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymSetTy
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L0.Syntax
3 (Data Constructor)	Gibbon.L4.Syntax
SymSetTyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SymTable	Gibbon.L4.Syntax
SymTriv	Gibbon.L4.Syntax
SymTy
1 (Data Constructor)	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
2 (Data Constructor)	Gibbon.L4.Syntax
SymTy0	Gibbon.L0.Syntax
SymTyF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SyncE	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax
SyncEF	Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax