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 |
| 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 |
| scsContract | Michelson.Runtime.GState |
| scsStorage | Michelson.Runtime.GState |
| 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 |
| semicolon | Michelson.Parser.Lexer |
| SENDER | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sepBy2 | Michelson.Parser.Helpers |
| sepcCallRootUnsafe | Michelson.Typed.EntryPoints, Michelson.Typed |
| sepcName | Michelson.Typed.EntryPoints, Michelson.Typed |
| sepcPrimitive | 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 |
| setChainId | Michelson.Test.Integrational, Michelson.Test |
| SetDelegate | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| setMaxSteps | Michelson.Test.Integrational, Michelson.Test |
| setNow | Michelson.Test.Integrational, Michelson.Test |
| SET_CADR | Michelson.Macro |
| SET_DELEGATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha256 | Tezos.Crypto.Hash, Tezos.Crypto |
| SHA512 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha512 | Tezos.Crypto.Hash, Tezos.Crypto |
| ShiftArithError | Michelson.Typed.Arith, Michelson.Typed |
| ShowType | Util.TypeLits |
| 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 |
| 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 |
| sing | Michelson.Typed.Scope, Michelson.Typed |
| SingI | Michelson.Typed.Scope, Michelson.Typed |
| SIZE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sizeImpl | Michelson.TypeCheck.Helpers |
| SizeOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| SLambda | Michelson.Typed.Sing, Michelson.Typed |
| SLICE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sliceImpl | Michelson.TypeCheck.Helpers |
| SliceOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| smallTransferOpSize | Michelson.OpSize |
| SNil | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SOME | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| 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 |
| SomeContractAndStorage | |
| 1 (Type/Class) | Michelson.Runtime.GState |
| 2 (Data Constructor) | Michelson.Runtime.GState |
| SomeCValue | 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 |
| SomeEntryPointCall | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| 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 |
| 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 |
| spaces | Michelson.Printer.Util |
| specialFieldAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| specialVarAnns | Michelson.Untyped.Annotation, Michelson.Untyped |
| specWithContract | Michelson.Test.Import, Michelson.Test |
| specWithTypedContract | Michelson.Test.Import, Michelson.Test |
| specWithUntypedContract | Michelson.Test.Import, Michelson.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 |
| StackSize | |
| 1 (Type/Class) | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| STACKTYPE | Michelson.Untyped.Ext, Michelson.Untyped |
| stackType | Michelson.Parser.Ext |
| 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 |
| STEPS_TO_QUOTA | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| 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 |
| StoragePredicateMismatch | Michelson.Test.Integrational |
| StorageScope | Michelson.Typed.Scope, Michelson.Typed |
| 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 | |
| 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 |
| subDocToMarkdown | Michelson.Doc |
| subImpl | Michelson.TypeCheck.Helpers |
| subMutez | Tezos.Core |
| SubUnderflow | Michelson.Typed.Arith, Michelson.Typed |
| succeededProp | Michelson.Test.Util, Michelson.Test |
| SuccessValidator | Michelson.Test.Integrational, Michelson.Test |
| SWAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Symbol | Util.TypeLits |
| symbol | Michelson.Parser.Lexer |
| symbol' | Michelson.Parser.Lexer |
| symbolToMText | Michelson.Text |
| symbolValT | Util.TypeLits |
| symbolValT' | Util.TypeLits |
| SZ | Util.Peano |