| D | Morley.Michelson.Macro |
| DAnchor | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| dbPathOption | Morley.CLI |
| DComment | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DConversionInfo | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DDescription | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| decodeBase58Check | Morley.Tezos.Crypto.Util, Morley.Tezos.Crypto |
| decodeBase58CheckWithPrefix | Morley.Tezos.Crypto.Util, Morley.Tezos.Crypto |
| decodeBytesLike | Morley.Util.Binary |
| decodeExpression | Morley.Micheline.Binary, Morley.Micheline |
| decodeKeyHash | Morley.Tezos.Crypto |
| decodeWithTag | Morley.Util.Binary |
| decodeWithTagM | Morley.Util.Binary |
| Decrement | Morley.Util.Peano |
| def | Morley.Util.Default |
| Default | Morley.Util.Default |
| defaultContract | Morley.Michelson.Typed.Contract, Morley.Michelson.Typed |
| defaultOptimizerConf | Morley.Michelson.Optimizer |
| defaultRules | Morley.Michelson.Optimizer.Internal.Rules, Morley.Michelson.Optimizer |
| defaultRulesAndPushPack | Morley.Michelson.Optimizer.Internal.Rules, Morley.Michelson.Optimizer |
| DefEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| deIsAtomic | Morley.Michelson.Doc |
| deItem | Morley.Michelson.Doc |
| DelayedContainsTCheck | Morley.Michelson.Typed.Scope.Internal.ForbidT |
| deMorganForbidT | Morley.Michelson.Typed.Scope.Internal.WithDeMorganScope, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| deriveFullType | Morley.Util.CustomGeneric |
| deriveGADTNFData | Morley.Util.TH |
| deriveRecFromTuple | Morley.Util.TypeTuple.TH |
| deriveRPC | Morley.AsRPC |
| DeriveRPCOptions | |
| 1 (Type/Class) | Morley.AsRPC |
| 2 (Data Constructor) | Morley.AsRPC |
| deriveRPCWithOptions | Morley.AsRPC |
| DeserializationError | Morley.Tezos.Crypto.BLS12381 |
| deSub | Morley.Michelson.Doc |
| deterministic | Morley.Tezos.Crypto.Util |
| detGenKeyAddress | Morley.Tezos.Address |
| detSecretKey | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| 4 (Function) | Morley.Tezos.Crypto.BLS |
| 5 (Function) | Morley.Tezos.Crypto |
| detSecretKey' | Morley.Tezos.Crypto |
| detSecretKeyDo | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| dfsFoldInstr | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsFoldMapValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsFoldMapValueM | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsMapValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsModifyInstr | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| DfsSettings | |
| 1 (Type/Class) | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsTraverseInstr | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dfsTraverseValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| DGeneralInfoSection | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DGitRevision | Morley.Michelson.Doc |
| DGitRevisionKnown | Morley.Michelson.Doc |
| DGitRevisionUnknown | Morley.Michelson.Doc |
| Dict | |
| 1 (Type/Class) | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| DIG | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| dig1AndDug1AreSwap | Morley.Michelson.Optimizer.Internal.Rules |
| digDug | Morley.Michelson.Optimizer.Internal.Rules |
| digNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| DIIP | Morley.Michelson.Macro |
| diipMac | Morley.Michelson.Parser.Macro |
| DIP | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| DipCode | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| dipDrop2swapDrop | Morley.Michelson.Optimizer.Internal.Rules |
| DIPN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| dipNExtensionLemma | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dipNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dipOp | Morley.Michelson.Parser.Instr |
| dipPairNPairIsPairNProof | Morley.Michelson.Optimizer.Internal.Proofs |
| dipSwapDrop | Morley.Michelson.Optimizer.Internal.Rules |
| divMich | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| divModMutez | Morley.Tezos.Core |
| divModMutezInt | Morley.Tezos.Core |
| DName | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DocBlock | Morley.Michelson.Doc |
| docBlockToMarkdown | Morley.Michelson.Doc |
| docDefinitionRef | Morley.Michelson.Doc |
| DocElem | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DocGroup | |
| 1 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| docGroupContent | Morley.Michelson.Doc |
| DocGrouping | Morley.Michelson.Doc |
| docInstr | Morley.Michelson.Typed.Doc, Morley.Michelson.Typed |
| DocItem | Morley.Michelson.Doc |
| docItemDependencies | Morley.Michelson.Doc |
| DocItemId | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DocItemInDefinitions | Morley.Michelson.Doc |
| DocItemInlined | Morley.Michelson.Doc |
| DocItemNoRef | Morley.Michelson.Doc |
| DocItemPlacement | Morley.Michelson.Doc |
| DocItemPlacementKind | Morley.Michelson.Doc |
| DocItemPos | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| docItemPos | Morley.Michelson.Doc |
| docItemPosition | Morley.Michelson.Doc |
| DocItemRef | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| docItemRef | Morley.Michelson.Doc |
| DocItemReferenced | Morley.Michelson.Doc |
| DocItemReferencedKind | Morley.Michelson.Doc |
| DocItemRefInlined | Morley.Michelson.Doc |
| docItemSectionDescription | Morley.Michelson.Doc |
| docItemSectionName | Morley.Michelson.Doc |
| docItemSectionNameStyle | Morley.Michelson.Doc |
| docItemSectionRef | Morley.Michelson.Doc |
| docItemsOrder | Morley.Michelson.Doc |
| docItemToBlock | Morley.Michelson.Doc |
| docItemToMarkdown | Morley.Michelson.Doc |
| docItemToToc | Morley.Michelson.Doc |
| DocSection | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DocSectionNameBig | Morley.Michelson.Doc |
| DocSectionNameSmall | Morley.Michelson.Doc |
| DocSectionNameStyle | Morley.Michelson.Doc |
| DOC_ITEM | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| DoesHaveNonStandardAnns | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| DoesHaveNonStandardAnnsSym0 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| DoesHaveStandardAnns | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| DoesHaveStandardAnnsSym0 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| DoesNotHaveAnns | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| DoesNotHaveAnnsSym0 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| doesntNeedParens | Morley.Michelson.Printer.Util |
| DoNotUseTextError | Morley.Michelson.Text |
| dquotes | Morley.Util.Text |
| droHasAnnotation | Morley.AsRPC |
| DROP | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| Drop | Morley.Util.Peano |
| drop | Morley.Util.SizedList |
| dropExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dropHeadThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dropLeadingNewline | Morley.Util.Interpolate.Internal |
| dropMeta | Morley.Michelson.Optimizer.Internal.Rules |
| dropMText | Morley.Michelson.Text |
| DROPN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| dropNDropNProof | Morley.Michelson.Optimizer.Internal.Proofs |
| dropNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dropPrefix | Morley.Util.Text |
| droRecursive | Morley.AsRPC |
| droRecursiveSkipTypes | Morley.AsRPC |
| droStrategy | Morley.AsRPC |
| dsCtorEffectsApp | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dsGoToValues | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dsInstrStep | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| dStorage | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| DStorageType | |
| 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 |
| dsValueStep | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| DToc | |
| 1 (Type/Class) | Morley.Michelson.Doc |
| 2 (Data Constructor) | Morley.Michelson.Doc |
| DType | |
| 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 |
| dTypeDep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| dTypeDepP | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| DUG | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| dugLengthThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dugNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dummyBigMapCounter | Morley.Michelson.Runtime.Dummy |
| dummyChainId | Morley.Tezos.Core |
| dummyContractEnv | Morley.Michelson.Runtime.Dummy |
| dummyContractState | Morley.Michelson.Runtime.Dummy |
| dummyGlobalCounter | Morley.Michelson.Runtime.Dummy |
| dummyLevel | Morley.Michelson.Runtime.Dummy |
| dummyMaxSteps | Morley.Michelson.Runtime.Dummy |
| dummyMinBlockTime | Morley.Michelson.Runtime.Dummy |
| dummyNow | Morley.Michelson.Runtime.Dummy |
| dummyOrigination | Morley.Michelson.Runtime.Dummy |
| dummySelf | Morley.Michelson.Runtime.Dummy |
| dummyVotingPowers | Morley.Michelson.Runtime.GState, Morley.Michelson.Runtime.Dummy |
| DUP | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| DupableScope | Morley.Michelson.Typed.Scope.Internal.Scopes, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| DupableScopeC | Morley.Michelson.Typed.Scope.Internal.Scopes |
| dupDugDrop | Morley.Michelson.Optimizer.Internal.Rules |
| DuplicatedViewName | Morley.Michelson.Internal.ViewsSet, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| DUPN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| dupNExtensionThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| dupOp | Morley.Michelson.Parser.Instr |
| dupSwap2dup | Morley.Michelson.Optimizer.Internal.Rules |
| DUUP | Morley.Michelson.Macro |
| duupMac | Morley.Michelson.Parser.Macro |
| DynamicSize | |
| 1 (Type/Class) | Morley.Micheline.Binary.Internal |
| 2 (Data Constructor) | Morley.Micheline.Binary.Internal |