Index - S
| S | |
| 1 (Data Constructor) | Morley.Util.Peano |
| 2 (Data Constructor) | Morley.Michelson.Typed.Haskell.Instr.Helpers, Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| sampleTypedValue | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| SCP | Morley.Michelson.Untyped.Contract, Morley.Michelson.Untyped |
| sdCounter | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| sdMbKeyHash | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| sdoContract | Morley.Michelson.Typed.Operation |
| sdoCounter | Morley.Michelson.Typed.Operation |
| sdoDelegate | Morley.Michelson.Typed.Operation |
| secondAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| SecretKey | |
| 1 (Type/Class) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Type/Class) | Morley.Tezos.Crypto.P256 |
| 3 (Type/Class) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Type/Class) | Morley.Tezos.Crypto |
| SecretKeyEd25519 | Morley.Tezos.Crypto |
| secretKeyOption | Morley.CLI |
| SecretKeyP256 | Morley.Tezos.Crypto |
| SecretKeySecp256k1 | Morley.Tezos.Crypto |
| secretKeyToBytes_ | Morley.Tezos.Crypto.Util |
| SELF | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| SELF_ADDRESS | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| semicolon | Morley.Michelson.Parser.Lexer |
| SemiTypedInstr | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| SENDER | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| seNotes | Morley.Michelson.Interpret |
| sepBy1 | Morley.Michelson.Parser.Helpers |
| sepBy2 | Morley.Michelson.Parser.Helpers |
| sepcName | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| sepcPrimitive | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| sepEndBy1 | Morley.Michelson.Parser.Helpers |
| Seq | |
| 1 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Macro |
| SeqEx | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| seqToOps | Morley.Michelson.TypeCheck.TypeCheckedSeq |
| SET | Morley.Michelson.Macro |
| SetDelegate | |
| 1 (Type/Class) | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| SetDelegateOp | Morley.Michelson.Runtime |
| SetDelegateOperation | |
| 1 (Type/Class) | Morley.Michelson.Typed.Operation |
| 2 (Data Constructor) | Morley.Michelson.Typed.Operation |
| SET_CADR | Morley.Michelson.Macro |
| SET_DELEGATE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| seValue | Morley.Michelson.Interpret |
| seVarAnn | Morley.Michelson.Interpret |
| sfnInPattern | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| sfnOutPattern | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| sfnQuantifiedVars | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| SHA256 | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| sha256 | Morley.Tezos.Crypto.Hash, Morley.Tezos.Crypto |
| SHA3 | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| sha3 | Morley.Tezos.Crypto.Hash, Morley.Tezos.Crypto |
| SHA512 | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| sha512 | Morley.Tezos.Crypto.Hash, Morley.Tezos.Crypto |
| ShiftArithError | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| ShiftArithErrorType | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| ShowType | Morley.Util.TypeLits |
| sign | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto |
| Signature | |
| 1 (Type/Class) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Data Constructor) | Morley.Tezos.Crypto.Secp256k1 |
| 3 (Type/Class) | Morley.Tezos.Crypto.P256 |
| 4 (Data Constructor) | Morley.Tezos.Crypto.P256 |
| 5 (Type/Class) | Morley.Tezos.Crypto.Ed25519 |
| 6 (Data Constructor) | Morley.Tezos.Crypto.Ed25519 |
| 7 (Type/Class) | Morley.Tezos.Crypto |
| SignatureEd25519 | Morley.Tezos.Crypto |
| SignatureGeneric | Morley.Tezos.Crypto |
| signatureLengthBytes | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto |
| signatureLengthBytes_ | Morley.Tezos.Crypto.Util |
| SignatureP256 | Morley.Tezos.Crypto |
| SignatureSecp256k1 | Morley.Tezos.Crypto |
| signatureToBytes | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto |
| signatureToBytes_ | Morley.Tezos.Crypto.Util |
| sing | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| SingI | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| SingI1 | Morley.Util.Sing |
| singleAnnSet | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| singleGroupAnnSet | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| SingNat | Morley.Util.Peano |
| singPeanoVal | Morley.Util.PeanoNatural |
| SingT | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| SIZE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| sizeImpl | Morley.Michelson.TypeCheck.Helpers |
| SizeOp | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| SLICE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| sliceImpl | Morley.Michelson.TypeCheck.Helpers |
| SliceOp | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| smallTransferOpSize | Morley.Michelson.Untyped.OpSize, Morley.Michelson.Untyped, Morley.Michelson.Typed.OpSize, Morley.Michelson.Typed |
| SNil | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| SOME | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| some' | Morley.Michelson.Parser.Helpers |
| Some1 | |
| 1 (Type/Class) | Morley.Util.Type |
| 2 (Data Constructor) | Morley.Util.Type |
| SomeAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| SomeArg | Morley.Util.Named |
| SomeConstant | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeConstrainedValue | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeContract | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeContractAndStorage | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeDocDefinitionItem | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| SomeDocItem | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| SomeEntrypointCall | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| SomeEntrypointCallT | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| SomeEpc | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| SomeHST | |
| 1 (Type/Class) | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| SomeInstr | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| SomeInstrOut | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| someInstrToOp | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| SomeIsoValue | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeItStack | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| SomeMeta | |
| 1 (Type/Class) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| SomeParamType | |
| 1 (Type/Class) | Morley.Michelson.TypeCheck.TypeCheck, Morley.Michelson.TypeCheck |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.TypeCheck, Morley.Michelson.TypeCheck |
| SomeStorage | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeTypeWithDoc | |
| 1 (Type/Class) | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| SomeValue | |
| 1 (Type/Class) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Existential, Morley.Michelson.Typed |
| SomeView | |
| 1 (Data Constructor) | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| 2 (Type/Class) | Morley.Michelson.Typed.Aliases, Morley.Michelson.Typed |
| SomeView' | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| someViewName | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| SomeViewsSet | |
| 1 (Data Constructor) | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| 2 (Type/Class) | Morley.Michelson.Typed.Aliases, Morley.Michelson.Typed |
| SomeViewsSet' | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| someViewToOp | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| SOURCE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| spaces | Morley.Michelson.Printer.Util |
| SPC | Morley.Michelson.Untyped.Contract, Morley.Michelson.Untyped |
| specialFieldAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| specialVarAnns | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| splitPushableStorage | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| SPLIT_TICKET | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| srcCol | Morley.Michelson.ErrorPos |
| srcLine | Morley.Michelson.ErrorPos |
| SrcPos | |
| 1 (Type/Class) | Morley.Michelson.ErrorPos |
| 2 (Data Constructor) | Morley.Michelson.ErrorPos |
| srcPos | Morley.Michelson.ErrorPos |
| SS | Morley.Util.Peano |
| StackEqError | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| StackFn | |
| 1 (Type/Class) | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| StackRef | |
| 1 (Type/Class) | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| 3 (Type/Class) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 4 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| StackSize | |
| 1 (Type/Class) | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| STACKTYPE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| stackType | Morley.Michelson.Parser.Ext |
| StackTypeComment | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| StackTypePattern | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| stackTypePatternToList | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| STAddress | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| starNotes | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| starNotesStkEl | Morley.Michelson.Interpret |
| starParamNotes | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| stateInterpreterState | Morley.Michelson.Interpret |
| StatementEnds | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| StatementStarts | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| STBigMap | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STBls12381Fr | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STBls12381G1 | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STBls12381G2 | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STBool | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STBytes | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STChainId | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STChest | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STChestKey | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STContract | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STInt | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| StkCons | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| StkEl | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| StkEmpty | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| STKey | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STKeyHash | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| StkRest | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| StkRestMismatch | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| STLambda | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STList | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STMap | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STMutez | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STNat | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STNever | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STOperation | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STOption | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STOr | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| Storage | Morley.Michelson.Untyped.Contract, Morley.Michelson.Untyped |
| StorageScope | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| STPair | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| string' | Morley.Michelson.Parser.Lexer |
| StringEncode | |
| 1 (Type/Class) | Morley.Micheline.Json, Morley.Micheline |
| 2 (Data Constructor) | Morley.Micheline.Json, Morley.Micheline |
| stringLiteral | Morley.Michelson.Parser.Value, Morley.Michelson.Parser |
| StringLiteralException | Morley.Michelson.Parser.Error, Morley.Michelson.Parser |
| StringLiteralParserException | Morley.Michelson.Parser.Error, Morley.Michelson.Parser |
| STSet | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STSignature | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STString | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STTicket | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STTimestamp | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| STUnit | Morley.Michelson.Typed.Sing, Morley.Michelson.Typed |
| SUB | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Sub | |
| 1 (Data Constructor) | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| 2 (Type/Class) | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| SubDoc | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| subDocToMarkdown | Morley.Michelson.Doc |
| subImpl | Morley.Michelson.TypeCheck.Helpers |
| subMutez | Morley.Tezos.Core |
| SubUnderflow | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| Succ | Morley.Util.PeanoNatural |
| surround | Morley.Util.Text |
| SWAP | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Symbol | Morley.Util.TypeLits |
| symbol | Morley.Michelson.Parser.Lexer |
| symbol' | Morley.Michelson.Parser.Lexer |
| symbolToMText | Morley.Michelson.Text |
| symbolVal | Morley.Util.TypeLits |
| symbolValT | Morley.Util.TypeLits |
| symbolValT' | Morley.Util.TypeLits |
| SZ | Morley.Util.Peano |