| 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 |
| 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 | |
| 1 (Type/Class) | Tezos.Crypto.Secp256k1 |
| 2 (Type/Class) | Tezos.Crypto.P256 |
| 3 (Type/Class) | Tezos.Crypto.Ed25519 |
| 4 (Type/Class) | 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 |
| sepcName | Michelson.Typed.EntryPoints, Michelson.Typed |
| 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 | Michelson.Macro |
| Set | Lorentz.Value, Lorentz |
| setCar | Lorentz.Macro, Lorentz |
| setCdr | Lorentz.Macro, Lorentz |
| setChainId | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| 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 |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha256 | |
| 1 (Function) | Tezos.Crypto.Hash, 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.Hash, Tezos.Crypto |
| 2 (Function) | Lorentz.Instr, Lorentz |
| ShiftArithError | Michelson.Typed.Arith, Michelson.Typed |
| ShowDiff | Lorentz.UStore.Migration.Diff |
| showTestScenario | Lorentz.TestScenario |
| ShowType | Util.TypeLits |
| ShowUStoreField | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| sign | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (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, Lorentz.Value, Lorentz |
| SignatureEd25519 | Tezos.Crypto |
| SignatureGeneric | Tezos.Crypto |
| signatureLengthBytes | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| SignatureP256 | Tezos.Crypto |
| SignatureSecp256k1 | Tezos.Crypto |
| signatureToBytes | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | 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 |
| SlBatchInfo | |
| 1 (Type/Class) | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| 2 (Data Constructor) | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| SlBatchType | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| slbiActions | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| slbiType | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| SlbtCustom | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| SlbtData | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| SlbtLambda | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| SlbtUnknown | Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration |
| 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 |
| smallTransferOpSize | Michelson.OpSize |
| sMap | Lorentz.Store |
| 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 |
| SomeAnn | Michelson.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 |
| 3 (Type/Class) | Lorentz.Base, Lorentz |
| 4 (Data Constructor) | Lorentz.Base, Lorentz |
| SomeCValue | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SomeDocDefinitionItem | |
| 1 (Type/Class) | Michelson.Doc, Lorentz.Doc, Lorentz |
| 2 (Data Constructor) | Michelson.Doc, Lorentz.Doc, Lorentz |
| SomeDocItem | |
| 1 (Type/Class) | Michelson.Doc, Lorentz.Doc, Lorentz |
| 2 (Data Constructor) | Michelson.Doc, Lorentz.Doc, Lorentz |
| someDocItemToBlock | Michelson.Doc |
| SomeEntryPointCall | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| SomeEntryPointCallT | Michelson.Typed.EntryPoints, Michelson.Typed |
| SomeEpc | Michelson.Typed.EntryPoints, Michelson.Typed |
| 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 |
| 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 |
| someNE | Util.Alternative |
| SomeNotedValue | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SomeTypeWithDoc | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz |
| SomeUTemplate | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| SomeValue | |
| 1 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Type/Class) | Michelson.Typed.Aliases, Michelson.Typed |
| SomeValue' | Michelson.Typed.Value, Michelson.Typed |
| sopDelete | Lorentz.StoreClass, Lorentz |
| sopGet | Lorentz.StoreClass, Lorentz |
| sopInsert | Lorentz.StoreClass, Lorentz |
| sopMem | Lorentz.StoreClass, Lorentz |
| sopSetField | Lorentz.StoreClass, Lorentz |
| sopToField | Lorentz.StoreClass, Lorentz |
| sopUpdate | Lorentz.StoreClass, Lorentz |
| 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 |
| starNotes | Michelson.Typed.Annotation, Michelson.Typed |
| STBigMap | Michelson.Typed.Sing, Michelson.Typed |
| STc | Michelson.Typed.Sing, Michelson.Typed |
| STChainId | Michelson.Typed.Sing, Michelson.Typed |
| STContract | Michelson.Typed.Sing, Michelson.Typed |
| stDelete | Lorentz.StoreClass, Lorentz |
| stepsToQuota | Lorentz.Instr, Lorentz |
| STEPS_TO_QUOTA | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| stGet | Lorentz.StoreClass, Lorentz |
| stGetField | Lorentz.StoreClass, Lorentz |
| stimes | Lorentz.Prelude, Lorentz |
| stInsert | Lorentz.StoreClass, Lorentz |
| stInsertNew | Lorentz.StoreClass, 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 |
| stMem | Lorentz.StoreClass, Lorentz |
| 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 | |
| 1 (Type/Class) | Michelson.Untyped.Contract, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.TypeCheck.Types, Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| StorageContains | Lorentz.StoreClass, Lorentz |
| storageDelete | Lorentz.Store |
| storageGet | Lorentz.Store |
| storageInsert | Lorentz.Store |
| storageInsertNew | Lorentz.Store |
| storageMem | Lorentz.Store |
| StorageOrParameter | Michelson.TypeCheck.Types, Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| storagePack | Lorentz.Store |
| StorageScope | Michelson.Typed.Scope, Michelson.Typed |
| StorageSkeleton | |
| 1 (Type/Class) | Lorentz.Store |
| 2 (Data Constructor) | Lorentz.Store |
| storageUnpack | Lorentz.Store |
| Store | |
| 1 (Type/Class) | Lorentz.Store |
| 2 (Data Constructor) | Lorentz.Store |
| storeDelete | Lorentz.Store |
| StoreDeleteC | Lorentz.Store |
| StoreFieldOps | |
| 1 (Type/Class) | Lorentz.StoreClass, Lorentz |
| 2 (Data Constructor) | Lorentz.StoreClass, Lorentz |
| storeFieldOps | Lorentz.StoreClass, Lorentz |
| storeFieldOpsADT | Lorentz.StoreClass, Lorentz |
| storeFieldOpsDeeper | Lorentz.StoreClass, Lorentz |
| storeFieldOpsReferTo | Lorentz.StoreClass, Lorentz |
| storeGet | Lorentz.Store |
| StoreGetC | Lorentz.Store |
| StoreHasField | Lorentz.StoreClass, Lorentz |
| StoreHasSubmap | Lorentz.StoreClass, Lorentz |
| storeInsert | Lorentz.Store |
| StoreInsertC | Lorentz.Store |
| storeInsertNew | Lorentz.Store |
| storeKeyValueList | Lorentz.Store |
| storeLookup | Lorentz.Store |
| storeMem | Lorentz.Store |
| StoreMemC | Lorentz.Store |
| storePiece | Lorentz.Store |
| StorePieceC | Lorentz.Store |
| StoreSubmapOps | |
| 1 (Type/Class) | Lorentz.StoreClass, Lorentz |
| 2 (Data Constructor) | Lorentz.StoreClass, Lorentz |
| storeSubmapOps | Lorentz.StoreClass, Lorentz |
| storeSubmapOpsDeeper | Lorentz.StoreClass, Lorentz |
| storeSubmapOpsReferTo | Lorentz.StoreClass, Lorentz |
| storeUpdate | Lorentz.Store |
| StoreUpdateC | Lorentz.Store |
| 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 |
| stSetField | Lorentz.StoreClass, Lorentz |
| STSignature | Michelson.Typed.Sing, Michelson.Typed |
| stToField | Lorentz.StoreClass, Lorentz |
| STUnit | Michelson.Typed.Sing, Michelson.Typed |
| stUpdate | Lorentz.StoreClass, Lorentz |
| 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 |
| sub | Lorentz.Instr, Lorentz |
| SubDoc | |
| 1 (Type/Class) | Michelson.Doc, Lorentz.Doc, Lorentz |
| 2 (Data Constructor) | Michelson.Doc, Lorentz.Doc, Lorentz |
| subDocToMarkdown | Michelson.Doc, Lorentz.Doc, 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 | Util.TypeLits |
| symbol | Michelson.Parser.Lexer |
| symbol' | Michelson.Parser.Lexer |
| symbolToMText | Michelson.Text |
| symbolValT | Util.TypeLits |
| symbolValT' | Util.TypeLits |
| SZ | Util.Peano |