| B58CheckWithPrefixError | Morley.Tezos.Crypto.Util, Morley.Tezos.Crypto |
| B58CheckWithPrefixWrongEncoding | Morley.Tezos.Crypto.Util, Morley.Tezos.Crypto |
| B58CheckWithPrefixWrongPrefix | Morley.Tezos.Crypto.Util, Morley.Tezos.Crypto |
| BadTypeForScope | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BadViewIllegalChars | Morley.Michelson.Internal.ViewName, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| BadViewNameError | Morley.Michelson.Internal.ViewName, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| BadViewTooLong | Morley.Michelson.Internal.ViewName, Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| BALANCE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| BigMap | |
| 1 (Type/Class) | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Haskell.Value |
| BigMapCounter | |
| 1 (Type/Class) | Morley.Michelson.Runtime.GState |
| 2 (Data Constructor) | Morley.Michelson.Runtime.GState |
| bigMapCounter | Morley.Michelson.Runtime.GState |
| BigMapFinder | Morley.Michelson.TypeCheck.TypeCheck, Morley.Michelson.TypeCheck |
| BigMapId | |
| 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 |
| Bimap | |
| 1 (Type/Class) | Morley.Util.Bimap |
| 2 (Data Constructor) | Morley.Util.Bimap |
| BLAKE2B | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| blake2b | Morley.Tezos.Crypto.Hash, Morley.Tezos.Crypto |
| blake2b160 | Morley.Tezos.Crypto.Hash, Morley.Tezos.Crypto |
| Bls12381Fr | Morley.Tezos.Crypto.BLS12381, Morley.Tezos.Crypto |
| Bls12381G1 | Morley.Tezos.Crypto.BLS12381, Morley.Tezos.Crypto |
| Bls12381G2 | Morley.Tezos.Crypto.BLS12381, Morley.Tezos.Crypto |
| Bls12381MulBadOrder | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| bmId | Morley.Michelson.Typed.Haskell.Value |
| bmMap | Morley.Michelson.Typed.Haskell.Value |
| BogusCipher | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| BogusOpening | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| BoundVars | |
| 1 (Type/Class) | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| braces | Morley.Michelson.Parser.Lexer |
| brackets | Morley.Michelson.Parser.Lexer |
| brackets' | Morley.Michelson.Parser.Lexer |
| Branch | Morley.Michelson.Typed.Haskell.Instr.Helpers, Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| branchShortCut | Morley.Michelson.Optimizer.Internal.Rules |
| BtHasBigMap | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtHasContract | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtHasNestedBigMap | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtHasSaplingState | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtHasTicket | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtIsOperation | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| BtNotComparable | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| buildADTRep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| buildByteString | Morley.Micheline.Binary.Internal |
| buildDoc | Morley.Michelson.Doc |
| buildDocDiff | Morley.Util.MismatchError |
| buildDocDiffList | Morley.Util.MismatchError |
| buildDocUnfinalized | Morley.Michelson.Doc |
| buildDynamic | Morley.Micheline.Binary.Internal |
| buildEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped |
| buildInteger | Morley.Micheline.Binary.Internal |
| buildMarkdownDoc | Morley.Michelson.Doc |
| buildMorleyLogs | Morley.Michelson.Interpret |
| buildNatural | Morley.Micheline.Binary.Internal |
| buildStack | Morley.Michelson.Typed.T, Morley.Michelson.Typed |
| buildText | Morley.Micheline.Binary.Internal |
| buildTypeWithinParens | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| buildVContract | Morley.Michelson.Typed.Value, Morley.Michelson.Typed |
| buildWord8 | Morley.Micheline.Binary.Internal |
| BYTES | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| bytesLiteral | Morley.Michelson.Parser.Value, Morley.Michelson.Parser |
| byTPredicateSymCases | Morley.Michelson.Typed.Scope.Internal.TH |