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 |
| sampleValueFromUntype | Michelson.Typed.Convert, Michelson.Typed |
| SCP | Michelson.Untyped.Contract, Michelson.Untyped |
| 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 |
| SecretKeyEd25519 | Tezos.Crypto |
| secretKeyOption | Morley.CLI |
| SecretKeyP256 | Tezos.Crypto |
| SecretKeySecp256k1 | Tezos.Crypto |
| secretKeyToBytes_ | Tezos.Crypto.Util |
| SELF | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| semicolon | Michelson.Parser.Lexer |
| SemiTypedInstr | Michelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq |
| SENDER | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| seNotes | Michelson.Interpret |
| 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 |
| seqToOps | Michelson.TypeCheck.TypeCheckedSeq |
| SET | Michelson.Macro |
| SetDelegate | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| SET_CADR | Michelson.Macro |
| SET_DELEGATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| seValue | Michelson.Interpret |
| seVarAnn | Michelson.Interpret |
| sfnInPattern | Michelson.Untyped.Ext, Michelson.Untyped |
| sfnOutPattern | Michelson.Untyped.Ext, Michelson.Untyped |
| sfnQuantifiedVars | Michelson.Untyped.Ext, Michelson.Untyped |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha256 | Tezos.Crypto.Hash, Tezos.Crypto |
| SHA3 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha3 | 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 |
| ShiftArithErrorType | Michelson.Typed.Arith, Michelson.Typed |
| ShowType | Util.TypeLits |
| sign | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| 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 |
| signatureLengthBytes_ | Tezos.Crypto.Util |
| 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 |
| signatureToBytes_ | Tezos.Crypto.Util |
| sing | Michelson.Typed.Scope, Michelson.Typed |
| SingI | Michelson.Typed.Scope, Michelson.Typed |
| singleAnnSet | Michelson.Untyped.Annotation, Michelson.Untyped |
| singleGroupAnnSet | Michelson.Untyped.Annotation, Michelson.Untyped |
| SingNat | Util.Peano |
| SingT | Michelson.Typed.Sing, 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 |
| 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.Untyped.OpSize, Michelson.Untyped, Michelson.Typed.OpSize, Michelson.Typed |
| SNil | Michelson.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 |
| 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.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 |
| 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 |
| someInstrToOp | Michelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq |
| 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 |
| 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 |
| spaces | Michelson.Printer.Util |
| SPC | Michelson.Untyped.Contract, Michelson.Untyped |
| specialFieldAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| specialVarAnns | Michelson.Untyped.Annotation, Michelson.Untyped |
| srcCol | Michelson.ErrorPos |
| srcLine | Michelson.ErrorPos |
| 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 |
| StackTypeComment | Michelson.Typed.Instr, Michelson.Typed |
| StackTypePattern | Michelson.Untyped.Ext, Michelson.Untyped |
| stackTypePatternToList | Michelson.Untyped.Ext, Michelson.Untyped |
| STAddress | Michelson.Typed.Sing, Michelson.Typed |
| starNotes | Michelson.Typed.Annotation, Michelson.Typed |
| starParamNotes | Michelson.Typed.Entrypoints, Michelson.Typed |
| stateInterpreterState | Michelson.Interpret |
| StatementEnds | Michelson.Typed.Instr, Michelson.Typed |
| StatementStarts | Michelson.Typed.Instr, Michelson.Typed |
| STBigMap | Michelson.Typed.Sing, Michelson.Typed |
| STBool | Michelson.Typed.Sing, Michelson.Typed |
| STBytes | Michelson.Typed.Sing, Michelson.Typed |
| STChainId | Michelson.Typed.Sing, Michelson.Typed |
| STContract | Michelson.Typed.Sing, Michelson.Typed |
| STInt | Michelson.Typed.Sing, Michelson.Typed |
| StkCons | Michelson.Untyped.Ext, Michelson.Untyped |
| StkEl | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| StkEmpty | Michelson.Untyped.Ext, Michelson.Untyped |
| STKey | Michelson.Typed.Sing, Michelson.Typed |
| STKeyHash | 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 |
| STMutez | Michelson.Typed.Sing, Michelson.Typed |
| STNat | Michelson.Typed.Sing, Michelson.Typed |
| STOperation | Michelson.Typed.Sing, Michelson.Typed |
| STOption | Michelson.Typed.Sing, Michelson.Typed |
| STOr | Michelson.Typed.Sing, Michelson.Typed |
| Storage | Michelson.Untyped.Contract, Michelson.Untyped |
| StorageScope | Michelson.Typed.Scope, Michelson.Typed |
| STPair | Michelson.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 |
| 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 |
| STString | Michelson.Typed.Sing, Michelson.Typed |
| STTimestamp | 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 |
| surround | Util.Text |
| 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 |
| symbolVal | Util.TypeLits |
| symbolValT | Util.TypeLits |
| symbolValT' | Util.TypeLits |
| SZ | Util.Peano |