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 |