morley-1.7.0: Developer tools for the Michelson Language

Index - S

S 
1 (Data Constructor)Util.Peano
2 (Data Constructor)Michelson.Typed.Haskell.Instr.Helpers, Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed
sampleValueFromUntypeMichelson.Typed.Convert, Michelson.Typed
SCPMichelson.Untyped.Contract, Michelson.Untyped
sdMbKeyHashMichelson.Typed.Value, Michelson.Typed
SecretKey 
1 (Type/Class)Tezos.Crypto.Secp256k1
2 (Type/Class)Tezos.Crypto.P256
3 (Type/Class)Tezos.Crypto.Ed25519
4 (Type/Class)Tezos.Crypto
SecretKeyEd25519Tezos.Crypto
secretKeyOptionMorley.CLI
SecretKeyP256Tezos.Crypto
SecretKeySecp256k1Tezos.Crypto
secretKeyToBytes_Tezos.Crypto.Util
SELF 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
semicolonMichelson.Parser.Lexer
SENDER 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sepBy2Michelson.Parser.Helpers
sepcCallRootUnsafeMichelson.Typed.Entrypoints, Michelson.Typed
sepcNameMichelson.Typed.Entrypoints, Michelson.Typed
sepcPrimitiveMichelson.Typed.Entrypoints, Michelson.Typed
sepEndBy1Michelson.Parser.Helpers
Seq 
1 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
2 (Data Constructor)Michelson.Macro
SeqExMichelson.Untyped.Instr, Michelson.Untyped
SETMichelson.Macro
SetDelegate 
1 (Type/Class)Michelson.Typed.Value, Michelson.Typed
2 (Data Constructor)Michelson.Typed.Value, Michelson.Typed
SET_CADRMichelson.Macro
SET_DELEGATE 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sfnInPatternMichelson.Untyped.Ext, Michelson.Untyped
sfnOutPatternMichelson.Untyped.Ext, Michelson.Untyped
sfnQuantifiedVarsMichelson.Untyped.Ext, Michelson.Untyped
SHA256 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sha256Tezos.Crypto.Hash, Tezos.Crypto
SHA512 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sha512Tezos.Crypto.Hash, Tezos.Crypto
ShiftArithErrorMichelson.Typed.Arith, Michelson.Typed
ShiftArithErrorTypeMichelson.Typed.Arith, Michelson.Typed
ShowTypeUtil.TypeLits
sign 
1 (Function)Tezos.Crypto.Secp256k1
2 (Function)Tezos.Crypto.P256
3 (Function)Tezos.Crypto.Ed25519
Signature 
1 (Type/Class)Tezos.Crypto.Secp256k1
2 (Data Constructor)Tezos.Crypto.Secp256k1
3 (Type/Class)Tezos.Crypto.P256
4 (Data Constructor)Tezos.Crypto.P256
5 (Type/Class)Tezos.Crypto.Ed25519
6 (Data Constructor)Tezos.Crypto.Ed25519
7 (Type/Class)Tezos.Crypto
SignatureEd25519Tezos.Crypto
SignatureGenericTezos.Crypto
signatureLengthBytes 
1 (Function)Tezos.Crypto.Secp256k1
2 (Function)Tezos.Crypto.P256
3 (Function)Tezos.Crypto.Ed25519
4 (Function)Tezos.Crypto
signatureLengthBytes_Tezos.Crypto.Util
SignatureP256Tezos.Crypto
SignatureSecp256k1Tezos.Crypto
signatureToBytes 
1 (Function)Tezos.Crypto.Secp256k1
2 (Function)Tezos.Crypto.P256
3 (Function)Tezos.Crypto.Ed25519
4 (Function)Tezos.Crypto
signatureToBytes_Tezos.Crypto.Util
singMichelson.Typed.Scope, Michelson.Typed
SingIMichelson.Typed.Scope, Michelson.Typed
singleAnnSetMichelson.Untyped.Annotation, Michelson.Untyped
singleGroupAnnSetMichelson.Untyped.Annotation, Michelson.Untyped
SingNatUtil.Peano
SingTMichelson.Typed.Sing, Michelson.Typed
SIZE 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sizeImplMichelson.TypeCheck.Helpers
SizeOpMichelson.Typed.Polymorphic, Michelson.Typed
SLICE 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
sliceImplMichelson.TypeCheck.Helpers
SliceOpMichelson.Typed.Polymorphic, Michelson.Typed
smallTransferOpSizeMichelson.OpSize
SNilMichelson.TypeCheck.Types, Michelson.TypeCheck
SOME 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
Some1 
1 (Type/Class)Util.Type
2 (Data Constructor)Util.Type
SomeAnnMichelson.Untyped.Annotation, Michelson.Untyped
SomeConstrainedValue 
1 (Data Constructor)Michelson.Typed.Value, Michelson.Typed
2 (Type/Class)Michelson.Typed.Aliases, Michelson.Typed
SomeConstrainedValue'Michelson.Typed.Value, Michelson.Typed
SomeContract 
1 (Type/Class)Michelson.TypeCheck.Types, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeContractAndStorage 
1 (Type/Class)Michelson.TypeCheck.Types, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeDocDefinitionItem 
1 (Type/Class)Michelson.Doc
2 (Data Constructor)Michelson.Doc
SomeDocItem 
1 (Type/Class)Michelson.Doc
2 (Data Constructor)Michelson.Doc
SomeEntrypointCallMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
SomeEntrypointCallTMichelson.Typed.Entrypoints, Michelson.Typed
SomeEpcMichelson.Typed.Entrypoints, Michelson.Typed
SomeHST 
1 (Type/Class)Michelson.TypeCheck.Types, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.Types, Michelson.TypeCheck
SomeInstrMichelson.TypeCheck.Types, Michelson.TypeCheck
SomeInstrOutMichelson.TypeCheck.Types, Michelson.TypeCheck
SomeIsoValue 
1 (Type/Class)Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
2 (Data Constructor)Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
SomeItStack 
1 (Type/Class)Michelson.Interpret
2 (Data Constructor)Michelson.Interpret
someNEUtil.Alternative
SomeParamType 
1 (Type/Class)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
SomeTypeWithDoc 
1 (Type/Class)Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
2 (Data Constructor)Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
SomeValue 
1 (Data Constructor)Michelson.Typed.Value, Michelson.Typed
2 (Type/Class)Michelson.Typed.Aliases, Michelson.Typed
SomeValue'Michelson.Typed.Value, Michelson.Typed
SOURCE 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
spacesMichelson.Printer.Util
SPCMichelson.Untyped.Contract, Michelson.Untyped
specialFieldAnnMichelson.Untyped.Annotation, Michelson.Untyped
specialVarAnnsMichelson.Untyped.Annotation, Michelson.Untyped
SrcPos 
1 (Type/Class)Michelson.ErrorPos
2 (Data Constructor)Michelson.ErrorPos
srcPosMichelson.ErrorPos
SSUtil.Peano
StackEqErrorMichelson.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
StackSize 
1 (Type/Class)Michelson.TypeCheck.Error, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.Error, Michelson.TypeCheck
STACKTYPEMichelson.Untyped.Ext, Michelson.Untyped
stackTypeMichelson.Parser.Ext
StackTypePatternMichelson.Untyped.Ext, Michelson.Untyped
stackTypePatternToListMichelson.Untyped.Ext, Michelson.Untyped
STAddressMichelson.Typed.Sing, Michelson.Typed
starNotesMichelson.Typed.Annotation, Michelson.Typed
starParamNotesMichelson.Typed.Entrypoints, Michelson.Typed
StatementEndsMichelson.Typed.Instr, Michelson.Typed
StatementStartsMichelson.Typed.Instr, Michelson.Typed
STBigMapMichelson.Typed.Sing, Michelson.Typed
STBoolMichelson.Typed.Sing, Michelson.Typed
STBytesMichelson.Typed.Sing, Michelson.Typed
STChainIdMichelson.Typed.Sing, Michelson.Typed
STContractMichelson.Typed.Sing, Michelson.Typed
STIntMichelson.Typed.Sing, Michelson.Typed
StkConsMichelson.Untyped.Ext, Michelson.Untyped
StkEmptyMichelson.Untyped.Ext, Michelson.Untyped
STKeyMichelson.Typed.Sing, Michelson.Typed
STKeyHashMichelson.Typed.Sing, Michelson.Typed
StkRestMichelson.Untyped.Ext, Michelson.Untyped
StkRestMismatchMichelson.TypeCheck.Error, Michelson.TypeCheck
STLambdaMichelson.Typed.Sing, Michelson.Typed
STListMichelson.Typed.Sing, Michelson.Typed
STMapMichelson.Typed.Sing, Michelson.Typed
STMutezMichelson.Typed.Sing, Michelson.Typed
STNatMichelson.Typed.Sing, Michelson.Typed
STOperationMichelson.Typed.Sing, Michelson.Typed
STOptionMichelson.Typed.Sing, Michelson.Typed
STOrMichelson.Typed.Sing, Michelson.Typed
StorageMichelson.Untyped.Contract, Michelson.Untyped
StorageScopeMichelson.Typed.Scope, Michelson.Typed
STPairMichelson.Typed.Sing, Michelson.Typed
string'Michelson.Parser.Lexer
StringEncode 
1 (Type/Class)Morley.Micheline.Json, Morley.Micheline
2 (Data Constructor)Morley.Micheline.Json, Morley.Micheline
stringLiteralMichelson.Parser.Value, Michelson.Parser
StringLiteralExceptionMichelson.Parser.Error, Michelson.Parser
StringLiteralParserExceptionMichelson.Parser.Error, Michelson.Parser
STSetMichelson.Typed.Sing, Michelson.Typed
STSignatureMichelson.Typed.Sing, Michelson.Typed
STStringMichelson.Typed.Sing, Michelson.Typed
STTimestampMichelson.Typed.Sing, Michelson.Typed
STUnitMichelson.Typed.Sing, Michelson.Typed
SUB 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
Sub 
1 (Data Constructor)Michelson.Typed.Scope, Michelson.Typed
2 (Type/Class)Michelson.Typed.Arith, Michelson.Typed
SubDoc 
1 (Type/Class)Michelson.Doc
2 (Data Constructor)Michelson.Doc
subDocToMarkdownMichelson.Doc
subImplMichelson.TypeCheck.Helpers
subMutezTezos.Core
SubUnderflowMichelson.Typed.Arith, Michelson.Typed
surroundUtil.Text
SWAP 
1 (Data Constructor)Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.Instr, Michelson.Typed
SymbolUtil.TypeLits
symbolMichelson.Parser.Lexer
symbol'Michelson.Parser.Lexer
symbolToMTextMichelson.Text
symbolValUtil.TypeLits
symbolValTUtil.TypeLits
symbolValT'Util.TypeLits
SZUtil.Peano