A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
:
#
$
%
&
.
/
<
>
|
-
_
All

Index - S

S	Michelson.Typed.Haskell.Instr.Helpers
SCAddress	Michelson.Typed.Sing, Michelson.Typed
SCBool	Michelson.Typed.Sing, Michelson.Typed
SCBytes	Michelson.Typed.Sing, Michelson.Typed
SCInt	Michelson.Typed.Sing, Michelson.Typed
SCKeyHash	Michelson.Typed.Sing, Michelson.Typed
SCMutez	Michelson.Typed.Sing, Michelson.Typed
SCNat	Michelson.Typed.Sing, Michelson.Typed
sconcat	Lorentz.Prelude, Lorentz
SCString	Michelson.Typed.Sing, Michelson.Typed
SCTimestamp	Michelson.Typed.Sing, Michelson.Typed
sdMbKeyHash	Michelson.Typed.Value, Michelson.Typed
SecretKey	Tezos.Crypto
SELF
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
self	Lorentz.Instr, Lorentz
semicolon	Michelson.Parser.Lexer
Semigroup	Lorentz.Prelude, Lorentz
SENDER
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
sender	Lorentz.Instr, Lorentz
sepBy2	Michelson.Parser.Helpers
sepEndBy1	Michelson.Parser.Helpers
Seq
1 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
2 (Data Constructor)	Michelson.Macro
SeqEx	Michelson.Untyped.Instr, Michelson.Untyped
Set	Lorentz.Value, Lorentz
setCar	Lorentz.Macro, Lorentz
setCdr	Lorentz.Macro, Lorentz
SetDelegate
1 (Type/Class)	Michelson.Typed.Value, Michelson.Typed
2 (Data Constructor)	Michelson.Typed.Value, Michelson.Typed
setDelegate	Lorentz.Instr, Lorentz
setDelete	Lorentz.Macro, Lorentz
setField	Lorentz.ADT, Lorentz
setInsert	Lorentz.Macro, Lorentz
setInsertNew	Lorentz.Macro, Lorentz
setMaxSteps	Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
setNow	Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
SET_CADR	Michelson.Macro
SET_DELEGATE
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
sFields	Lorentz.Store, Lorentz
SHA256
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
sha256
1 (Function)	Tezos.Crypto
2 (Function)	Lorentz.Instr, Lorentz
SHA512
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
sha512
1 (Function)	Tezos.Crypto
2 (Function)	Lorentz.Instr, Lorentz
ShiftArithError	Michelson.Typed.Arith, Michelson.Typed
sign	Tezos.Crypto
Signature
1 (Type/Class)	Tezos.Crypto, Lorentz.Value, Lorentz
2 (Data Constructor)	Tezos.Crypto
Sing	Michelson.Typed.Sing, Util.Peano, Michelson.Typed
SIZE
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
size	Lorentz.Instr, Lorentz
sizeImpl	Michelson.TypeCheck.Helpers
SizeOp	Michelson.Typed.Polymorphic, Michelson.Typed
SizeOpHs	Lorentz.Polymorphic, Lorentz
SLambda	Michelson.Typed.Sing, Michelson.Typed
SLICE
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
slice	Lorentz.Instr, Lorentz
sliceImpl	Michelson.TypeCheck.Helpers
SliceOp	Michelson.Typed.Polymorphic, Michelson.Typed
SliceOpHs	Lorentz.Polymorphic, Lorentz
sMap	Lorentz.Store, Lorentz
SNil	Michelson.TypeCheck.Types, Michelson.TypeCheck
SOME
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
some	Lorentz.Instr, Lorentz
SomeContract
1 (Type/Class)	Michelson.TypeCheck.Types, Michelson.TypeCheck
2 (Data Constructor)	Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeCValue	Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeHST
1 (Type/Class)	Michelson.TypeCheck.Types, Michelson.TypeCheck
2 (Data Constructor)	Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeInstr	Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeInstrOut	Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeItStack
1 (Type/Class)	Michelson.Interpret
2 (Data Constructor)	Michelson.Interpret
someNE	Util.Alternative
SomeValue	Michelson.TypeCheck.Types, Michelson.TypeCheck
SOURCE
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
source	Lorentz.Instr, Lorentz
spaces	Michelson.Printer.Util
specWithContract	Michelson.Test.Import, Michelson.Test, Lorentz.Test
specWithContractL	Michelson.Test.Import, Michelson.Test
specWithTypedContract	Michelson.Test.Import, Michelson.Test, Lorentz.Test
specWithUntypedContract	Michelson.Test.Import, Michelson.Test, Lorentz.Test
SrcPos
1 (Type/Class)	Michelson.ErrorPos
2 (Data Constructor)	Michelson.ErrorPos
srcPos	Michelson.ErrorPos
SS	Util.Peano
StackEqError	Michelson.TypeCheck.Error, Michelson.TypeCheck
StackFn
1 (Type/Class)	Michelson.Untyped.Ext, Michelson.Untyped
2 (Data Constructor)	Michelson.Untyped.Ext, Michelson.Untyped
StackRef
1 (Type/Class)	Michelson.Untyped.Ext, Michelson.Untyped
2 (Data Constructor)	Michelson.Untyped.Ext, Michelson.Untyped
3 (Type/Class)	Michelson.Typed.Instr, Michelson.Typed
4 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
stackRef	Lorentz.Ext, Lorentz
StackSize
1 (Type/Class)	Michelson.TypeCheck.Error, Michelson.TypeCheck
2 (Data Constructor)	Michelson.TypeCheck.Error, Michelson.TypeCheck
STACKTYPE	Michelson.Untyped.Ext, Michelson.Untyped
stackType
1 (Function)	Michelson.Parser.Ext
2 (Function)	Lorentz.Ext, Lorentz
StackTypePattern	Michelson.Untyped.Ext, Michelson.Untyped
stackTypePatternToList	Michelson.Untyped.Ext, Michelson.Untyped
STBigMap	Michelson.Typed.Sing, Michelson.Typed
STc	Michelson.Typed.Sing, Michelson.Typed
STContract	Michelson.Typed.Sing, Michelson.Typed
stepsToQuota	Lorentz.Instr, Lorentz
STEPS_TO_QUOTA
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
stimes	Lorentz.Prelude, Lorentz
StkCons	Michelson.Untyped.Ext, Michelson.Untyped
StkEmpty	Michelson.Untyped.Ext, Michelson.Untyped
STKey	Michelson.Typed.Sing, Michelson.Typed
StkRest	Michelson.Untyped.Ext, Michelson.Untyped
StkRestMismatch	Michelson.TypeCheck.Error, Michelson.TypeCheck
STLambda	Michelson.Typed.Sing, Michelson.Typed
STList	Michelson.Typed.Sing, Michelson.Typed
STMap	Michelson.Typed.Sing, Michelson.Typed
STOperation	Michelson.Typed.Sing, Michelson.Typed
STOption	Michelson.Typed.Sing, Michelson.Typed
STOr	Michelson.Typed.Sing, Michelson.Typed
stor	Michelson.Untyped.Contract, Michelson.Untyped
Storage	Michelson.Untyped.Contract, Michelson.Untyped
storageDelete	Lorentz.Store, Lorentz
storageGet	Lorentz.Store, Lorentz
storageInsert	Lorentz.Store, Lorentz
storageInsertNew	Lorentz.Store, Lorentz
storageMem	Lorentz.Store, Lorentz
storagePack	Lorentz.Store, Lorentz
StorageSkeleton
1 (Type/Class)	Lorentz.Store, Lorentz
2 (Data Constructor)	Lorentz.Store, Lorentz
storageUnpack	Lorentz.Store, Lorentz
Store
1 (Type/Class)	Lorentz.Store, Lorentz
2 (Data Constructor)	Lorentz.Store, Lorentz
storeDelete	Lorentz.Store, Lorentz
StoreDeleteC	Lorentz.Store, Lorentz
storeGet	Lorentz.Store, Lorentz
StoreGetC	Lorentz.Store, Lorentz
storeInsert	Lorentz.Store, Lorentz
StoreInsertC	Lorentz.Store, Lorentz
storeInsertNew	Lorentz.Store, Lorentz
storeLookup	Lorentz.Store, Lorentz
storeMem	Lorentz.Store, Lorentz
StoreMemC	Lorentz.Store, Lorentz
storePiece	Lorentz.Store, Lorentz
StorePieceC	Lorentz.Store, Lorentz
STPair	Michelson.Typed.Sing, Michelson.Typed
string'	Michelson.Parser.Lexer
stringLiteral	Michelson.Parser.Value, Michelson.Parser
StringLiteralException	Michelson.Parser.Error, Michelson.Parser
StringLiteralParserException	Michelson.Parser.Error, Michelson.Parser
STSet	Michelson.Typed.Sing, Michelson.Typed
STSignature	Michelson.Typed.Sing, Michelson.Typed
STUnit	Michelson.Typed.Sing, Michelson.Typed
SUB
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
Sub	Michelson.Typed.Arith, Michelson.Typed
sub	Lorentz.Instr, Lorentz
subImpl	Michelson.TypeCheck.Helpers
subMutez	Tezos.Core
SubUnderflow	Michelson.Typed.Arith, Michelson.Typed
succeededProp	Michelson.Test.Util, Michelson.Test, Lorentz.Test
SuccessValidator	Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
SWAP
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
swap	Lorentz.Instr, Lorentz
symbol	Michelson.Parser.Lexer
symbol'	Michelson.Parser.Lexer
SZ	Util.Peano