Index
| # | Lorentz.Base, Lorentz |
| $ | |
| 1 (Function) | Lorentz.Prelude, Lorentz |
| 2 (Type/Class) | Lorentz.Prelude, Lorentz |
| %> | Lorentz.Base, Lorentz |
| & | Lorentz.Base, Lorentz |
| -:& | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| .! | Util.Named |
| .? | Util.Named |
| /-> | Lorentz.ADT, Lorentz |
| //-> | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| :! | Lorentz.ADT, Lorentz |
| :& | Lorentz.ADT, Lorentz |
| :--: | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| :-> | Lorentz.Base, Lorentz |
| :/ | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| ::& | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| ::: | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| :::: | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| := | Lorentz.ADT, Lorentz |
| :? | Lorentz.ADT, Lorentz |
| <.!> | Util.Named |
| <.?> | Util.Named |
| <> | Lorentz.Prelude, Lorentz |
| >> | Lorentz.Rebinded, Lorentz |
| A | Michelson.Macro |
| ABS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Abs | Michelson.Typed.Arith, Michelson.Typed |
| abs | Lorentz.Instr, Lorentz |
| ADD | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Add | Michelson.Typed.Arith, Michelson.Typed |
| add | Lorentz.Instr, Lorentz |
| addImpl | Michelson.TypeCheck.Helpers |
| addMutez | Tezos.Core |
| AddOverflow | Michelson.Typed.Arith, Michelson.Typed |
| ADDRESS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Address | Tezos.Address, Lorentz.Value, Lorentz |
| address | Lorentz.Instr, Lorentz |
| AddressState | Michelson.Runtime.GState, Michelson.Runtime |
| AllowBigMap | Michelson.Typed.Scope, Michelson.Typed |
| AMOUNT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| amount | Lorentz.Instr, Lorentz |
| AND | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| And | Michelson.Typed.Arith, Michelson.Typed |
| and | Lorentz.Instr, Lorentz |
| ann | Michelson.Untyped.Annotation, Michelson.Untyped |
| AnnConvergeError | |
| 1 (Type/Class) | Michelson.Typed.Annotation, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Annotation, Michelson.Typed |
| AnnError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| Annotation | |
| 1 (Type/Class) | Michelson.Untyped.Annotation, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Annotation, Michelson.Untyped |
| AnyOutInstr | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| AppendCtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| AppendCtorFieldAxiom | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| appendCtorFieldAxiom | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| applySing | Michelson.Typed.Sing, Michelson.Typed |
| applyUpdate | Michelson.Runtime.GState |
| applyUpdates | Michelson.Runtime.GState |
| arg | Lorentz.ADT, Lorentz |
| ArithError | Michelson.Typed.Arith, Michelson.Typed |
| ArithErrorType | Michelson.Typed.Arith, Michelson.Typed |
| arithImpl | Michelson.TypeCheck.Helpers |
| ArithOp | Michelson.Typed.Arith, Michelson.Typed |
| ArithOpHs | Lorentz.Arith, Lorentz |
| ArithRes | Michelson.Typed.Arith, Michelson.Typed |
| ArithResHs | Lorentz.Arith, Lorentz |
| asBalance | Michelson.Runtime.GState |
| ASContract | Michelson.Runtime.GState, Michelson.Runtime |
| ASSERT | Michelson.Macro |
| assert | Lorentz.Macro, Lorentz |
| assertEq | Lorentz.Macro, Lorentz |
| assertEq0 | Lorentz.Macro, Lorentz |
| assertGe | Lorentz.Macro, Lorentz |
| assertGe0 | Lorentz.Macro, Lorentz |
| assertGt | Lorentz.Macro, Lorentz |
| assertGt0 | Lorentz.Macro, Lorentz |
| assertLe | Lorentz.Macro, Lorentz |
| assertLe0 | Lorentz.Macro, Lorentz |
| assertLeft | Lorentz.Macro, Lorentz |
| assertLt | Lorentz.Macro, Lorentz |
| assertLt0 | Lorentz.Macro, Lorentz |
| assertNeq | Lorentz.Macro, Lorentz |
| assertNeq0 | Lorentz.Macro, Lorentz |
| assertNone | Lorentz.Macro, Lorentz |
| assertRight | Lorentz.Macro, Lorentz |
| assertSome | Lorentz.Macro, Lorentz |
| assertUsing | Lorentz.Macro, Lorentz |
| ASSERTX | Michelson.Macro |
| ASSERT_CMP | Michelson.Macro |
| ASSERT_LEFT | Michelson.Macro |
| ASSERT_NONE | Michelson.Macro |
| ASSERT_RIGHT | Michelson.Macro |
| ASSERT_SOME | Michelson.Macro |
| ASSimple | Michelson.Runtime.GState, Michelson.Runtime |
| At | Util.Peano |
| B58CheckWithPrefixError | Tezos.Crypto |
| B58CheckWithPrefixWrongEncoding | Tezos.Crypto |
| B58CheckWithPrefixWrongPrefix | Tezos.Crypto |
| BALANCE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| balance | Lorentz.Instr, Lorentz |
| BigMap | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| bigMapAbsense | Michelson.Typed.Scope, Michelson.Typed |
| BigMapAbsent | Michelson.Typed.Scope, Michelson.Typed |
| bigMapConstrained | Michelson.Typed.Scope, Michelson.Typed |
| BigMapConstraint | Michelson.Typed.Scope, Michelson.Typed |
| BigMapPresence | Michelson.Typed.Scope, Michelson.Typed |
| BigMapPresent | Michelson.Typed.Scope, Michelson.Typed |
| BLAKE2B | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| blake2B | Lorentz.Instr, Lorentz |
| blake2b | Tezos.Crypto |
| blake2b160 | Tezos.Crypto |
| Bool | Lorentz.Value, Lorentz |
| Bounded | Lorentz.Prelude, Lorentz |
| BoundVars | |
| 1 (Type/Class) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| braces | Michelson.Parser.Lexer |
| brackets | Michelson.Parser.Lexer |
| brackets' | Michelson.Parser.Lexer |
| Branch | Michelson.Typed.Haskell.Instr.Helpers |
| buildRenderDoc | Michelson.Printer.Util |
| buildStack | Michelson.Typed.Print, Michelson.Typed |
| bytesLiteral | Michelson.Parser.Value, Michelson.Parser |
| ByteString | Lorentz.Value, Lorentz |
| caar | Lorentz.Macro, Lorentz |
| caBalance | Michelson.Typed.Value, Michelson.Typed |
| CAddress | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| caDelegate | Michelson.Typed.Value, Michelson.Typed |
| CADR | Michelson.Macro |
| cadr | Lorentz.Macro, Lorentz |
| CadrStruct | Michelson.Macro |
| caManager | Michelson.Typed.Value, Michelson.Typed |
| CanHaveBigMap | Lorentz.Constraints, Lorentz |
| CAR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| car | Lorentz.Instr, Lorentz |
| CASE | Michelson.Macro |
| CaseClause | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CaseClauseParam | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CaseClauses | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| caseT | Lorentz.ADT, Lorentz |
| case_ | Lorentz.ADT, Lorentz |
| caSpendable | Michelson.Typed.Value, Michelson.Typed |
| CAST | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cast | Lorentz.Instr, Lorentz |
| CBool | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CBytes | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| ccBalance | Michelson.Typed.Value, Michelson.Typed |
| ccContractCode | Michelson.Typed.Value, Michelson.Typed |
| ccDelegatable | Michelson.Typed.Value, Michelson.Typed |
| ccDelegate | Michelson.Typed.Value, Michelson.Typed |
| ccManager | Michelson.Typed.Value, Michelson.Typed |
| ccSpendable | Michelson.Typed.Value, Michelson.Typed |
| ccStorageVal | Michelson.Typed.Value, Michelson.Typed |
| cdar | Lorentz.Macro, Lorentz |
| cddr | Lorentz.Macro, Lorentz |
| CDR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cdr | Lorentz.Instr, Lorentz |
| ceAmount | Michelson.Interpret |
| ceBalance | Michelson.Interpret |
| ceContracts | Michelson.Interpret |
| ceMaxSteps | Michelson.Interpret |
| ceNow | Michelson.Interpret |
| ceSelf | Michelson.Interpret |
| ceSender | Michelson.Interpret |
| ceSource | Michelson.Interpret |
| checkBigMapConstraint | Michelson.Typed.Scope, Michelson.Typed |
| checkBigMapPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkEqHST | Michelson.TypeCheck.Helpers |
| checkEqT | Michelson.TypeCheck.Helpers |
| checkOpPresence | Michelson.Typed.Scope, Michelson.Typed |
| checkSignature | |
| 1 (Function) | Tezos.Crypto |
| 2 (Function) | Lorentz.Instr, Lorentz |
| CHECK_SIGNATURE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CInt | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CKeyHash | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| cloneX | Lorentz.Macro, Lorentz |
| CMP | Michelson.Macro |
| cmpOp | Michelson.Parser.Instr |
| CMutez | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CNat | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| code | Michelson.Untyped.Contract, Michelson.Untyped |
| codeEntry | Michelson.Parser |
| coerceUnwrap | Lorentz.Coercions, Lorentz |
| coerceWrap | Lorentz.Coercions, Lorentz |
| coerce_ | Lorentz.Coercions, Lorentz |
| Coercible_ | Lorentz.Coercions, Lorentz |
| comma | Michelson.Parser.Lexer |
| Comparable | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| comparable | Michelson.Parser.Type |
| COMPARE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Compare | Michelson.Typed.Arith, Michelson.Typed |
| compare | Lorentz.Instr, Lorentz |
| compareImpl | Michelson.TypeCheck.Helpers |
| compareTypes | Michelson.TypeCheck.Helpers, Michelson.TypeCheck |
| compileLorentz | Lorentz.Base, Lorentz |
| compileLorentzContract | Lorentz.Base, Lorentz |
| composeValidators | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| composeValidatorsList | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| compToType | Michelson.Untyped.Type, Michelson.Untyped |
| CONCAT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| concat | Lorentz.Instr, Lorentz |
| CONCAT' | Michelson.Typed.Instr, Michelson.Typed |
| concat' | Lorentz.Instr, Lorentz |
| concatImpl | Michelson.TypeCheck.Helpers |
| concatImpl' | Michelson.TypeCheck.Helpers |
| ConcatOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| ConcatOpHs | Lorentz.Polymorphic, Lorentz |
| Condition | Lorentz.Rebinded, Lorentz |
| CONS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| cons | Lorentz.Instr, Lorentz |
| construct | Lorentz.ADT, Lorentz |
| ConstructorFieldTypes | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| constructT | Lorentz.ADT, Lorentz |
| CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Contract | |
| 1 (Data Constructor) | Michelson.Untyped.Contract, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Untyped.Aliases, Michelson.Untyped |
| 3 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| 4 (Type/Class) | Lorentz.Base, Lorentz |
| contract | Lorentz.Instr, Lorentz |
| Contract' | Michelson.Untyped.Contract, Michelson.Untyped |
| ContractAddr | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| ContractAddress | Tezos.Address |
| ContractEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| ContractInp | Michelson.Typed.Value, Michelson.Typed |
| ContractInp1 | Michelson.Typed.Value, Michelson.Typed |
| ContractOut | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Type/Class) | Lorentz.Base, Lorentz |
| ContractOut1 | Michelson.Typed.Value, Michelson.Typed |
| contractProp | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| contractPropVal | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractPropValidator | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| contractRepeatedProp | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| contractRepeatedPropVal | Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractReturn | Michelson.Interpret, Michelson.Test.Unit, Michelson.Test, Lorentz.Test |
| ContractState | |
| 1 (Type/Class) | Michelson.Runtime.GState, Michelson.Runtime |
| 2 (Data Constructor) | Michelson.Runtime.GState, Michelson.Runtime |
| convAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| converge | Michelson.Typed.Annotation, Michelson.Typed |
| convergeAnns | Michelson.Typed.Annotation, Michelson.Typed |
| convergeHST | Michelson.TypeCheck.Helpers |
| convergeHSTEl | Michelson.TypeCheck.Helpers |
| convertContract | Michelson.Typed.Convert, Michelson.Typed |
| CreateAccount | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| createAccount | Lorentz.Instr, Lorentz |
| CreateContract | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| createContract | Lorentz.Instr, Lorentz |
| CREATE_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CREATE_CONTRACT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| CryptoParseCryptoError | Tezos.Crypto |
| CryptoParseError | Tezos.Crypto |
| CryptoParseWrongBase58Check | Tezos.Crypto |
| CryptoParseWrongTag | Tezos.Crypto |
| csBalance | Michelson.Runtime.GState, Michelson.Runtime |
| csContract | Michelson.Runtime.GState, Michelson.Runtime |
| csStorage | Michelson.Runtime.GState, Michelson.Runtime |
| CString | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CT | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CTimestamp | Michelson.Untyped.Type, Michelson.Typed.T, Michelson.Untyped, Michelson.Typed |
| CtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CtorHasOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CtorOnlyField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| CustomError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| CustomParserException | Michelson.Parser.Error, Michelson.Parser |
| CvAddress | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CValue | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvBool | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvBytes | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvInt | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvKeyHash | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvMutez | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvNat | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvString | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| CvTimestamp | Michelson.Typed.CValue, Michelson.Typed.Value, Michelson.Typed, Lorentz.Value, Lorentz |
| D | Michelson.Macro |
| decodeBase58Check | Tezos.Crypto |
| decodeBase58CheckWithPrefix | Tezos.Crypto |
| def | Util.Default, Lorentz.Value, Lorentz |
| Default | Util.Default, Lorentz.Value, Lorentz |
| deleteMap | Lorentz.Macro, Lorentz |
| deriveNsOption | Michelson.TypeCheck.Helpers |
| deriveNsOr | Michelson.TypeCheck.Helpers |
| deriveRecFromTuple | Util.TypeTuple.TH |
| deriveSpecialFNs | Michelson.TypeCheck.Helpers |
| deriveSpecialVN | Michelson.TypeCheck.Helpers |
| deriveVN | Michelson.TypeCheck.Helpers |
| detSecretKey | Tezos.Crypto |
| DIIP | Michelson.Macro |
| DIP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| dip | Lorentz.Instr, Lorentz |
| dipT | Lorentz.Referenced, Lorentz |
| dipX | Lorentz.Macro, Lorentz |
| disjoinVn | Michelson.Untyped.Annotation, Michelson.Untyped |
| divModMutez | Tezos.Core |
| divModMutezInt | Tezos.Core |
| DoNotUseTextError | Michelson.Text |
| DROP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| drop | Lorentz.Instr, Lorentz |
| dropMText | Michelson.Text |
| dropT | Lorentz.Referenced, Lorentz |
| dropX | Lorentz.Macro, Lorentz |
| dummyContractEnv | Michelson.Test.Dummy, Michelson.Test, Lorentz.Test |
| dummyMaxSteps | Michelson.Test.Dummy |
| dummyNow | Michelson.Test.Dummy |
| dummyOrigination | Michelson.Test.Dummy |
| DUP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| dup | Lorentz.Instr, Lorentz |
| dupT | Lorentz.Referenced, Lorentz |
| DUUP | Michelson.Macro |
| duupX | Lorentz.Macro, Lorentz |
| ecdName | Lorentz.Discover |
| ecdVar | Lorentz.Discover |
| eciContractDecl | Lorentz.Discover |
| eciModuleName | Lorentz.Discover |
| EDIV | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| ediv | Lorentz.Instr, Lorentz |
| edivImpl | Michelson.TypeCheck.Helpers |
| EDivOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| EDivOpHs | Lorentz.Polymorphic, Lorentz |
| EDivOpRes | Michelson.Typed.Polymorphic, Michelson.Typed |
| EDivOpResHs | Lorentz.Polymorphic, Lorentz |
| elevateX | Lorentz.Macro, Lorentz |
| Elt | |
| 1 (Type/Class) | Michelson.Untyped.Value, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Value, Michelson.Untyped |
| EModOpRes | Michelson.Typed.Polymorphic, Michelson.Typed |
| EModOpResHs | Lorentz.Polymorphic, Lorentz |
| emptyMap | Lorentz.Instr, Lorentz |
| emptySet | Lorentz.Instr, Lorentz |
| EMPTY_MAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| EMPTY_SET | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| encodeBase58Check | Tezos.Crypto |
| ensureDistinctAsc | Michelson.TypeCheck.Helpers |
| EQ | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Eq | Lorentz.Prelude, Lorentz |
| eq | Lorentz.Macro, Lorentz |
| Eq' | Michelson.Typed.Arith, Michelson.Typed |
| eq0 | Lorentz.Instr, Lorentz |
| eqHST | Michelson.TypeCheck.Helpers |
| eqHST1 | Michelson.TypeCheck.Helpers |
| eqParam1 | Michelson.EqParam |
| eqParam2 | Michelson.EqParam |
| eqParam3 | Michelson.EqParam |
| eqType | Michelson.TypeCheck.Helpers, Michelson.TypeCheck |
| evalConcat | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalConcat' | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalEDivOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalGet | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalMem | Michelson.Typed.Polymorphic, Michelson.Typed |
| EvalOp | Michelson.Interpret |
| evalOp | Michelson.Typed.Arith, Michelson.Typed |
| evalSize | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalSlice | Michelson.Typed.Polymorphic, Michelson.Typed |
| evalUnaryArithOp | Michelson.Typed.Arith, Michelson.Typed |
| evalUpd | Michelson.Typed.Polymorphic, Michelson.Typed |
| EXEC | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| exec | Lorentz.Instr, Lorentz |
| expand | Michelson.Macro |
| expandCadr | Michelson.Macro |
| expandContract | Michelson.Macro |
| ExpandedExtInstr | Michelson.Untyped.Aliases, Michelson.Untyped |
| ExpandedInstr | Michelson.Untyped.Instr, Michelson.Untyped |
| ExpandedInstrExtU | Michelson.Untyped.Instr, Michelson.Untyped |
| ExpandedOp | Michelson.Untyped.Instr, Michelson.Untyped |
| expandList | Michelson.Macro |
| expandMacro | Michelson.Macro |
| expandMapCadr | Michelson.Macro |
| expandPapair | Michelson.Macro |
| expandSetCadr | Michelson.Macro |
| expandUnpapair | Michelson.Macro |
| expandValue | Michelson.Macro |
| expectAnySuccess | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| expectBalance | Michelson.Test.Integrational, Michelson.Test |
| expectGasExhaustion | Michelson.Test.Integrational, Michelson.Test |
| ExpectingInterpreterToFail | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| expectMichelsonFailed | Michelson.Test.Integrational, Michelson.Test |
| expectStorageConst | Michelson.Test.Integrational, Michelson.Test |
| expectStorageUpdate | Michelson.Test.Integrational, Michelson.Test |
| expectStorageUpdateConst | Michelson.Test.Integrational, Michelson.Test |
| explicitType | Michelson.Parser.Type, Michelson.Parser |
| ExportedContractDecl | |
| 1 (Type/Class) | Lorentz.Discover |
| 2 (Data Constructor) | Lorentz.Discover |
| ExportedContractInfo | |
| 1 (Type/Class) | Lorentz.Discover |
| 2 (Data Constructor) | Lorentz.Discover |
| EXT | Michelson.Untyped.Instr, Michelson.Untyped |
| Ext | Michelson.Typed.Instr, Michelson.Typed |
| ExtError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| ExtInstr | Michelson.Typed.Instr, Michelson.Typed |
| extInstr | Michelson.Parser.Ext |
| ExtInstrAbstract | Michelson.Untyped.Ext, Michelson.Untyped |
| extractAllContracts | Michelson.Runtime.GState |
| ExtractCtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| ExtractionTypeMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| extractNotes | Michelson.Typed.Extract, Michelson.Typed |
| F | Michelson.Macro |
| FAIL | Michelson.Macro |
| failedProp | Michelson.Test.Util, Michelson.Test, Lorentz.Test |
| failingWhenPresent | Lorentz.Instr, Lorentz |
| failTagged | Lorentz.Instr, Lorentz |
| failText | Lorentz.Instr, Lorentz |
| failUnexpected | Lorentz.Instr, Lorentz |
| failUsing | Lorentz.Instr, Lorentz |
| FAILWITH | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| failWith | Lorentz.Instr, Lorentz |
| fail_ | Lorentz.Macro, Lorentz |
| False | Lorentz.Value, Lorentz |
| FieldAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| FieldConstructor | |
| 1 (Type/Class) | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| fieldCtor | Lorentz.ADT, Lorentz |
| fieldType | Michelson.Parser.Annotations |
| flattenExpandedOp | Michelson.Untyped.Instr, Michelson.Untyped |
| FN | Michelson.Untyped.Ext, Michelson.Untyped |
| ForbidBigMap | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenBigMap | Michelson.Typed.Scope, Michelson.Typed |
| forbiddenOp | Michelson.Typed.Scope, Michelson.Typed |
| ForbidOp | Michelson.Typed.Scope, Michelson.Typed |
| formatAddress | Tezos.Address |
| formatKeyHash | Tezos.Crypto |
| formatPublicKey | Tezos.Crypto |
| formatSecretKey | Tezos.Crypto |
| formatSignature | Tezos.Crypto |
| formatTimestamp | Tezos.Core |
| fromCVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| fromInteger | Lorentz.Rebinded, Lorentz |
| fromLabel | Lorentz.Rebinded, Lorentz |
| fromNamed | Lorentz.Coercions, Lorentz |
| fromSingCT | Michelson.Typed.Sing, Michelson.Typed |
| fromSingT | Michelson.Typed.Sing, Michelson.Typed |
| fromString | Lorentz.Prelude, Lorentz.Rebinded, Lorentz |
| fromUType | Michelson.Typed.Extract, Michelson.Typed |
| fromVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| GE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Ge | Michelson.Typed.Arith, Michelson.Typed |
| ge | Lorentz.Macro, Lorentz |
| ge0 | Lorentz.Instr, Lorentz |
| Generic | Lorentz.Prelude, Lorentz |
| genesisAddress | Michelson.Runtime.GState, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress1 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress2 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress3 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress4 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress5 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddress6 | Michelson.Runtime.GState, Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| genesisAddresses | Michelson.Runtime.GState, Lorentz.Test.Integrational, Lorentz.Test |
| genesisKeyHash | Michelson.Runtime.GState |
| genesisKeyHashes | Michelson.Runtime.GState |
| GET | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| get | Lorentz.Instr, Lorentz |
| GetCtorField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| getCurrentTime | Tezos.Core |
| getField | Lorentz.ADT, Lorentz |
| getFieldNamed | Lorentz.ADT, Lorentz |
| GetFieldType | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| getImpl | Michelson.TypeCheck.Helpers |
| GetOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| GetOpHs | Lorentz.Polymorphic, Lorentz |
| GetOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| GetOpKeyHs | Lorentz.Polymorphic, Lorentz |
| GetOpVal | Michelson.Typed.Polymorphic, Michelson.Typed |
| GetOpValHs | Lorentz.Polymorphic, Lorentz |
| GetStoreKey | Lorentz.Store, Lorentz |
| GetStoreValue | Lorentz.Store, Lorentz |
| GIsoValue | Michelson.Typed.Haskell.Value |
| GSAddAddress | Michelson.Runtime.GState |
| gsAddresses | Michelson.Runtime.GState |
| GSSetBalance | Michelson.Runtime.GState |
| GSSetStorageValue | Michelson.Runtime.GState |
| GState | |
| 1 (Type/Class) | Michelson.Runtime.GState |
| 2 (Data Constructor) | Michelson.Runtime.GState |
| GStateAddressExists | Michelson.Runtime.GState |
| GStateNotContract | Michelson.Runtime.GState |
| GStateUnknownAddress | Michelson.Runtime.GState |
| GStateUpdate | Michelson.Runtime.GState |
| GStateUpdateError | Michelson.Runtime.GState |
| GT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Gt | Michelson.Typed.Arith, Michelson.Typed |
| gt | Lorentz.Macro, Lorentz |
| gt0 | Lorentz.Instr, Lorentz |
| GValueType | Michelson.Typed.Haskell.Value |
| HasField | Lorentz.ADT, Lorentz |
| HasFieldOfType | Lorentz.ADT, Lorentz |
| HasFieldsOfType | Lorentz.ADT, Lorentz |
| hashKey | |
| 1 (Function) | Tezos.Crypto |
| 2 (Function) | Lorentz.Instr, Lorentz |
| HASH_KEY | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| haskellExportsParser | Lorentz.Discover |
| HasNoBigMap | Michelson.Typed.Scope, Michelson.Typed |
| HasNoOp | Michelson.Typed.Scope, Michelson.Typed |
| HasStore | Lorentz.Store, Lorentz |
| HasStoreForAllIn | Lorentz.Store, Lorentz |
| Holds | Lorentz.Rebinded, Lorentz |
| hSetTranslit | Util.IO |
| HST | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| hstToTs | Michelson.TypeCheck.Helpers |
| hsUnwrap | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| hsWrap | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| I | Lorentz.Base, Lorentz |
| ICEParse | Michelson.Test.Import |
| ICETypeCheck | Michelson.Test.Import |
| ICEUnexpectedParamType | Michelson.Test.Import |
| ICEUnexpectedStorageType | Michelson.Test.Import |
| icsCallStack | Michelson.ErrorPos |
| icsSrcPos | Michelson.ErrorPos |
| IEAlreadyOriginated | Michelson.Runtime |
| IEFailedToApplyUpdates | Michelson.Runtime |
| IEIllTypedContract | Michelson.Runtime |
| IEInterpreterFailed | Michelson.Runtime |
| IENotEnoughFunds | Michelson.Runtime |
| IEUnknownContract | Michelson.Runtime |
| IEUnknownManager | Michelson.Runtime |
| IEUnknownSender | Michelson.Runtime |
| IF | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| ifAnnUnified | Michelson.Untyped.Annotation, Michelson.Untyped |
| IFCMP | Michelson.Macro |
| ifCmpMac | Michelson.Parser.Macro |
| IfCmpXConstraints | Lorentz.Macro, Lorentz |
| ifCons | Lorentz.Instr, Lorentz |
| ifEq | Lorentz.Macro, Lorentz |
| ifEq0 | Lorentz.Macro, Lorentz |
| ifGe | Lorentz.Macro, Lorentz |
| ifGe0 | Lorentz.Macro, Lorentz |
| ifGt | Lorentz.Macro, Lorentz |
| ifGt0 | Lorentz.Macro, Lorentz |
| ifLe | Lorentz.Macro, Lorentz |
| ifLe0 | Lorentz.Macro, Lorentz |
| ifLeft | Lorentz.Instr, Lorentz |
| ifLt | Lorentz.Macro, Lorentz |
| ifLt0 | Lorentz.Macro, Lorentz |
| ifNeq | Lorentz.Macro, Lorentz |
| ifNeq0 | Lorentz.Macro, Lorentz |
| ifNone | Lorentz.Instr, Lorentz |
| ifRight | Lorentz.Macro, Lorentz |
| ifSome | Lorentz.Macro, Lorentz |
| ifThenElse | Lorentz.Rebinded, Lorentz |
| IFX | Michelson.Macro |
| if_ | Lorentz.Instr, Lorentz |
| IF_CONS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_NONE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_RIGHT | Michelson.Macro |
| IF_SOME | Michelson.Macro |
| IllTypedContract | Michelson.Interpret |
| IllTypedParam | Michelson.Interpret |
| IllTypedStorage | Michelson.Interpret |
| implicitAccount | Lorentz.Instr, Lorentz |
| IMPLICIT_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| importContract | Michelson.Test.Import |
| ImportContractError | Michelson.Test.Import |
| importUntypedContract | Michelson.Test.Import, Michelson.Test |
| IncorrectStorageUpdate | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| IncorrectUpdates | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| initGState | Michelson.Runtime.GState |
| inPattern | Michelson.Untyped.Ext, Michelson.Untyped |
| Instr | |
| 1 (Type/Class) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| InstrAbstract | Michelson.Untyped.Instr, Michelson.Untyped |
| InstrCallStack | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| instrCase | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrCaseC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrConstruct | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrConstructC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrExtU | Michelson.Untyped.Instr, Michelson.Untyped |
| instrGetField | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrGetFieldC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrSetField | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrSetFieldC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrToOps | Michelson.Typed.Convert, Michelson.Typed |
| InstrUnwrapC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrUnwrapUnsafe | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrWrap | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrWrapC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| INT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| int | Lorentz.Instr, Lorentz |
| Integer | Lorentz.Value, Lorentz |
| IntegrationalScenario | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalScenarioM | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestExpectation | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestProperty | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalValidator | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| InternalByteString | |
| 1 (Type/Class) | Michelson.Untyped.Value, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Value, Michelson.Untyped |
| interpret | Michelson.Interpret |
| InterpreterError | Michelson.Runtime |
| InterpreterError' | Michelson.Runtime |
| InterpreterOp | Michelson.Runtime |
| interpreterPure | Michelson.Runtime |
| InterpreterRes | |
| 1 (Type/Class) | Michelson.Runtime |
| 2 (Data Constructor) | Michelson.Runtime |
| InterpreterState | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| interpretRepeated | Michelson.Interpret |
| interpretUntyped | Michelson.Interpret |
| InterpretUntypedError | Michelson.Interpret |
| InterpretUntypedResult | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| intLiteral | Michelson.Parser.Value, Michelson.Parser |
| InvalidBalance | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| InvalidChar | Michelson.Parser.Error, Michelson.Parser |
| InvalidEscapeSequence | Michelson.Parser.Error, Michelson.Parser |
| InvalidStackReference | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| InvalidStorage | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| irInterpretResults | Michelson.Runtime |
| irUpdates | Michelson.Runtime |
| isAtomicType | Michelson.Untyped.Type, Michelson.Untyped |
| isBool | Michelson.Untyped.Type, Michelson.Untyped |
| isBytes | Michelson.Untyped.Type, Michelson.Untyped |
| IsComparable | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| isComparable | Michelson.Untyped.Type, Michelson.Untyped |
| IsCons | Lorentz.Rebinded, Lorentz |
| IsContract | Lorentz.Discover |
| IsElem | Util.Type |
| IsEq | Lorentz.Rebinded, Lorentz |
| IsError | Lorentz.Errors, Lorentz |
| IsGe | Lorentz.Rebinded, Lorentz |
| IsGt | Lorentz.Rebinded, Lorentz |
| isHaskellModule | Lorentz.Discover |
| isInt | Michelson.Untyped.Type, Michelson.Untyped |
| isInteger | Michelson.Untyped.Type, Michelson.Untyped |
| isKey | Michelson.Untyped.Type, Michelson.Untyped |
| isKeyHash | Michelson.Untyped.Type, Michelson.Untyped |
| IsLe | Lorentz.Rebinded, Lorentz |
| IsLeft | Lorentz.Rebinded, Lorentz |
| IsLongerThan | Util.Peano |
| IsLt | Lorentz.Rebinded, Lorentz |
| isMChar | Michelson.Text |
| isMorleyLogs | Michelson.Interpret |
| isMutez | Michelson.Untyped.Type, Michelson.Untyped |
| ISNAT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| isNat | |
| 1 (Function) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Function) | Lorentz.Instr, Lorentz |
| IsNeq | Lorentz.Rebinded, Lorentz |
| IsNil | Lorentz.Rebinded, Lorentz |
| IsNone | Lorentz.Rebinded, Lorentz |
| IsNotZero | Lorentz.Rebinded, Lorentz |
| IsoCValue | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| IsoMapOpRes | Lorentz.Polymorphic, Lorentz |
| IsoRecTuple | Util.TypeTuple.Class, Util.TypeTuple |
| IsoValue | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| isRemainingSteps | Michelson.Interpret |
| isRenderable | Michelson.Printer.Util, Michelson.Printer |
| IsRight | Lorentz.Rebinded, Lorentz |
| isSignature | Michelson.Untyped.Type, Michelson.Untyped |
| IsSome | Lorentz.Rebinded, Lorentz |
| isStar | Michelson.Typed.Annotation, Michelson.Typed |
| isString | Michelson.Untyped.Type, Michelson.Untyped |
| isTimestamp | Michelson.Untyped.Type, Michelson.Untyped |
| IsZero | Lorentz.Rebinded, Lorentz |
| ITER | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| iter | Lorentz.Instr, Lorentz |
| IterOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| iterOpDetachOne | Michelson.Typed.Polymorphic, Michelson.Typed |
| IterOpEl | Michelson.Typed.Polymorphic, Michelson.Typed |
| IterOpElHs | Lorentz.Polymorphic, Lorentz |
| IterOpHs | Lorentz.Polymorphic, Lorentz |
| iurNewState | Michelson.Interpret |
| iurNewStorage | Michelson.Interpret |
| iurOps | Michelson.Interpret |
| Just | Lorentz.Value, Lorentz |
| KeyAddress | Tezos.Address |
| KeyHash | |
| 1 (Type/Class) | Tezos.Crypto, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Tezos.Crypto |
| KnownCValue | Lorentz.Constraints, Lorentz |
| KnownPeano | Util.Peano |
| KnownValue | Lorentz.Constraints, Lorentz |
| L | Michelson.Typed.Haskell.Instr.Helpers |
| LAMBDA | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Lambda | Lorentz.Base, Lorentz |
| lambda | Lorentz.Instr, Lorentz |
| lCall | Lorentz.Test.Integrational, Lorentz.Test |
| LE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Le | Michelson.Typed.Arith, Michelson.Typed |
| le | Lorentz.Macro, Lorentz |
| le0 | Lorentz.Instr, Lorentz |
| LEFT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| left | Lorentz.Instr, Lorentz |
| leftToPrettyPanic | Michelson.Test.Util |
| leftToShowPanic | Michelson.Test.Util |
| Length | Util.Peano |
| lengthHST | Michelson.TypeCheck.Helpers |
| LengthMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| letBlock | Michelson.Parser.Let |
| LetCallStack | Michelson.ErrorPos |
| LetEnv | |
| 1 (Type/Class) | Michelson.Parser.Types |
| 2 (Data Constructor) | Michelson.Parser.Types |
| LetMacro | |
| 1 (Type/Class) | Michelson.Macro |
| 2 (Data Constructor) | Michelson.Macro |
| letMacros | Michelson.Parser.Types |
| LetName | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| LetType | |
| 1 (Type/Class) | Michelson.Let |
| 2 (Data Constructor) | Michelson.Let |
| letType | Michelson.Parser.Let, Michelson.Parser |
| letTypes | Michelson.Parser.Types |
| LetValue | |
| 1 (Type/Class) | Michelson.Let |
| 2 (Data Constructor) | Michelson.Let |
| letValues | Michelson.Parser.Types |
| lexeme | Michelson.Parser.Lexer |
| lExpectBalance | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectConsumerStorage | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectFailWith | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectMichelsonFailed | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectStorageConst | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectStorageUpdate | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectUserError | Lorentz.Test.Integrational, Lorentz.Test |
| lExpectViewConsumerStorage | Lorentz.Test.Integrational, Lorentz.Test |
| List | Lorentz.Value, Lorentz |
| LMac | Michelson.Macro |
| lmap | Lorentz.Instr, Lorentz |
| lmExpr | Michelson.Macro |
| lmName | Michelson.Macro |
| lmSig | Michelson.Macro |
| LongerThan | Util.Peano |
| LOOP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| loop | Lorentz.Instr, Lorentz |
| loopLeft | Lorentz.Instr, Lorentz |
| LOOP_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| LorentzFunctor | Lorentz.Instr, Lorentz |
| LorentzUserError | Lorentz.Errors, Lorentz |
| lOriginate | Lorentz.Test.Integrational, Lorentz.Test |
| lOriginateEmpty | Lorentz.Test.Integrational, Lorentz.Test |
| LSL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Lsl | Michelson.Typed.Arith, Michelson.Typed |
| lsl | Lorentz.Instr, Lorentz |
| LslOverflow | Michelson.Typed.Arith, Michelson.Typed |
| LSR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Lsr | Michelson.Typed.Arith, Michelson.Typed |
| lsr | Lorentz.Instr, Lorentz |
| LsrUnderflow | Michelson.Typed.Arith, Michelson.Typed |
| LT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Lt | Michelson.Typed.Arith, Michelson.Typed |
| lt | Lorentz.Macro, Lorentz |
| lt0 | Lorentz.Instr, Lorentz |
| ltName | Michelson.Let |
| lTransfer | Lorentz.Test.Integrational, Lorentz.Test |
| ltSig | Michelson.Let |
| lvName | Michelson.Let |
| lvSig | Michelson.Let |
| lvVal | Michelson.Let |
| Mac | Michelson.Macro |
| Macro | Michelson.Macro |
| macro | Michelson.Parser.Macro |
| MAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Map | Lorentz.Value, Lorentz |
| map | Lorentz.Instr, Lorentz |
| mapCadrMac | Michelson.Parser.Macro |
| mapCar | Lorentz.Macro, Lorentz |
| mapCdr | Lorentz.Macro, Lorentz |
| mapInsert | Lorentz.Macro, Lorentz |
| mapInsertNew | Lorentz.Macro, Lorentz |
| mapLeaves | Michelson.Macro |
| MapOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| mapOp | Michelson.Parser.Instr |
| mapOpFromList | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpHs | Lorentz.Polymorphic, Lorentz |
| MapOpInp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpInpHs | Lorentz.Polymorphic, Lorentz |
| MapOpRes | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpResHs | Lorentz.Polymorphic, Lorentz |
| mapOpToList | Michelson.Typed.Polymorphic, Michelson.Typed |
| mappend | Lorentz.Prelude, Lorentz |
| MAP_CADR | Michelson.Macro |
| maxBound | Lorentz.Prelude, Lorentz |
| maxTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| Maybe | Lorentz.Value, Lorentz |
| mconcat | Lorentz.Prelude, Lorentz |
| MEM | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| mem | Lorentz.Instr, Lorentz |
| memImpl | Michelson.TypeCheck.Helpers |
| MemOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MemOpHs | Lorentz.Polymorphic, Lorentz |
| MemOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| MemOpKeyHs | Lorentz.Polymorphic, Lorentz |
| mempty | Lorentz.Prelude, Lorentz |
| mformatAddress | Tezos.Address |
| mformatKeyHash | Tezos.Crypto |
| mformatPublicKey | Tezos.Crypto |
| mformatSignature | Tezos.Crypto |
| MichelsonArithError | Michelson.Interpret |
| MichelsonFailed | Michelson.Interpret |
| MichelsonFailedTestAssert | Michelson.Interpret |
| MichelsonFailedWith | Michelson.Interpret |
| MichelsonGasExhaustion | Michelson.Interpret |
| midTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| minBound | Lorentz.Prelude, Lorentz |
| minTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| mkContractAddress | Michelson.Untyped.Instr, Michelson.Untyped |
| mkContractAddressRaw | Tezos.Address |
| mkGenericTree | Util.Generic |
| mkGenericTreeVec | Util.Generic |
| mkKeyAddress | Tezos.Address |
| mkLetMac | Michelson.Parser.Let |
| mkLetVal | Michelson.Parser.Value |
| mkMText | Michelson.Text |
| mkMTextCut | Michelson.Text |
| mkMTextUnsafe | Michelson.Text |
| mkMutez | Tezos.Core |
| mkNotes | Michelson.Typed.Annotation, Michelson.Typed |
| mkParser | Michelson.Parser.Helpers |
| mkPos | Michelson.ErrorPos |
| mkPublicKey | Tezos.Crypto |
| mkSignature | Tezos.Crypto |
| mkStackRef | Michelson.Typed.Instr, Michelson.Typed |
| mkUType | Michelson.Typed.Extract, Michelson.Typed |
| mkVoid | Lorentz.Macro, Lorentz |
| modifyField | Lorentz.ADT, Lorentz |
| Monoid | Lorentz.Prelude, Lorentz |
| MorleyLogs | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| mSpace | Michelson.Parser.Lexer |
| mt | Michelson.Text, Lorentz.Value, Lorentz |
| MText | Michelson.Text, Lorentz.Value, Lorentz |
| MTextUnsafe | Michelson.Text |
| MUL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Mul | Michelson.Typed.Arith, Michelson.Typed |
| mul | Lorentz.Instr, Lorentz |
| mulImpl | Michelson.TypeCheck.Helpers |
| mulMutez | Tezos.Core |
| MulOverflow | Michelson.Typed.Arith, Michelson.Typed |
| Mutez | Tezos.Core, Lorentz.Value, Lorentz |
| MutezArithError | Michelson.Typed.Arith, Michelson.Typed |
| MyCompoundType | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| N | Michelson.Typed.Annotation, Michelson.Typed |
| NamedField | |
| 1 (Type/Class) | Lorentz.ADT, Lorentz |
| 2 (Data Constructor) | Lorentz.ADT, Lorentz |
| NamedInner | Util.Named |
| Natural | Lorentz.Value, Lorentz |
| NEG | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Neg | Michelson.Typed.Arith, Michelson.Typed |
| neg | Lorentz.Instr, Lorentz |
| NEQ | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Neq | Michelson.Typed.Arith, Michelson.Typed |
| neq | Lorentz.Macro, Lorentz |
| neq0 | Lorentz.Instr, Lorentz |
| Nested | Michelson.Typed.Instr, Michelson.Typed |
| NIL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| nil | Lorentz.Instr, Lorentz |
| noAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| NoBigMap | Lorentz.Constraints, Lorentz |
| noBoundVars | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| NoFields | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| noLetEnv | Michelson.Parser.Types |
| noMorleyLogs | Michelson.Interpret |
| NONE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| none | Lorentz.Instr, Lorentz |
| NoOperation | Lorentz.Constraints, Lorentz |
| Nop | Michelson.Typed.Instr, Michelson.Typed |
| nop | Lorentz.Instr, Lorentz |
| NOT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Not | Michelson.Typed.Arith, Michelson.Typed |
| not | Lorentz.Instr, Lorentz |
| noteF | Michelson.Parser.Annotations |
| noteFDef | Michelson.Parser.Annotations |
| Notes | Michelson.Typed.Annotation, Michelson.Typed |
| Notes' | Michelson.Typed.Annotation, Michelson.Typed |
| notesCase | Michelson.Typed.Annotation, Michelson.Typed |
| notesTV | Michelson.Parser.Annotations |
| notesTVF | Michelson.Parser.Annotations |
| notesTVF2 | Michelson.Parser.Annotations |
| notesVF | Michelson.Parser.Annotations |
| noteTDef | Michelson.Parser.Annotations |
| noteV | Michelson.Parser.Annotations |
| noteVDef | Michelson.Parser.Annotations |
| Nothing | Lorentz.Value, Lorentz |
| NOW | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| now | Lorentz.Instr, Lorentz |
| NStar | Michelson.Typed.Annotation, Michelson.Typed |
| NTBigMap | Michelson.Typed.Annotation, Michelson.Typed |
| NTc | Michelson.Typed.Annotation, Michelson.Typed |
| NTContract | Michelson.Typed.Annotation, Michelson.Typed |
| NTKey | Michelson.Typed.Annotation, Michelson.Typed |
| NTLambda | Michelson.Typed.Annotation, Michelson.Typed |
| NTList | Michelson.Typed.Annotation, Michelson.Typed |
| NTMap | Michelson.Typed.Annotation, Michelson.Typed |
| NTOperation | Michelson.Typed.Annotation, Michelson.Typed |
| NTOption | Michelson.Typed.Annotation, Michelson.Typed |
| NTOr | Michelson.Typed.Annotation, Michelson.Typed |
| NTPair | Michelson.Typed.Annotation, Michelson.Typed |
| NTSet | Michelson.Typed.Annotation, Michelson.Typed |
| NTSignature | Michelson.Typed.Annotation, Michelson.Typed |
| NTUnit | Michelson.Typed.Annotation, Michelson.Typed |
| OddNumberBytesException | Michelson.Parser.Error, Michelson.Parser |
| OneField | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| onLeft | Michelson.TypeCheck.Helpers |
| onTypeCheckInstrAnnErr | Michelson.TypeCheck.Helpers |
| onTypeCheckInstrErr | Michelson.TypeCheck.Helpers |
| onTypeCheckInstrTypeErr | Michelson.TypeCheck.Helpers |
| ooBalance | Michelson.Untyped.Instr, Michelson.Untyped |
| ooContract | Michelson.Untyped.Instr, Michelson.Untyped |
| ooDelegatable | Michelson.Untyped.Instr, Michelson.Untyped |
| ooDelegate | Michelson.Untyped.Instr, Michelson.Untyped |
| ooManager | Michelson.Untyped.Instr, Michelson.Untyped |
| ooSpendable | Michelson.Untyped.Instr, Michelson.Untyped |
| ooStorage | Michelson.Untyped.Instr, Michelson.Untyped |
| Op | |
| 1 (Type/Class) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| opAbsense | Michelson.Typed.Scope, Michelson.Typed |
| OpAbsent | Michelson.Typed.Scope, Michelson.Typed |
| OpCreateAccount | Michelson.Typed.Value, Michelson.Typed |
| OpCreateContract | Michelson.Typed.Value, Michelson.Typed |
| Operation | Michelson.Typed.Aliases, Michelson.Typed, Lorentz.Value, Lorentz |
| Operation' | Michelson.Typed.Value, Michelson.Typed |
| OpPresence | Michelson.Typed.Scope, Michelson.Typed |
| OpPresent | Michelson.Typed.Scope, Michelson.Typed |
| ops' | Michelson.Parser.Instr |
| OpSetDelegate | Michelson.Typed.Value, Michelson.Typed |
| OpTransferTokens | Michelson.Typed.Value, Michelson.Typed |
| OR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Or | Michelson.Typed.Arith, Michelson.Typed |
| or | Lorentz.Instr, Lorentz |
| orAnn | Michelson.Typed.Annotation, Michelson.Typed |
| Ord | Lorentz.Prelude, Lorentz |
| originate | Michelson.Test.Integrational, Michelson.Test |
| originateContract | Michelson.Runtime |
| OriginateOp | Michelson.Runtime |
| OriginationOperation | |
| 1 (Type/Class) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| ourIngredients | Util.Test.Ingredients |
| outPattern | Michelson.Untyped.Ext, Michelson.Untyped |
| P | Michelson.Macro |
| PACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| pack | Lorentz.Instr, Lorentz |
| packValue | Michelson.Interpret.Pack |
| packValue' | Michelson.Interpret.Pack |
| PAIR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| pair | Lorentz.Instr, Lorentz |
| pairMac | Michelson.Parser.Macro |
| pairOp | Michelson.Parser.Instr |
| PairStruct | Michelson.Macro |
| PAPAIR | Michelson.Macro |
| papair | Lorentz.Macro, Lorentz |
| para | Michelson.Untyped.Contract, Michelson.Untyped |
| Parameter | Michelson.Untyped.Contract, Michelson.Untyped |
| parens | Michelson.Parser.Lexer |
| parseAddress | Tezos.Address |
| parseContract | Michelson.Runtime |
| parseDef | Michelson.Parser.Helpers |
| ParsedInstr | Michelson.Macro |
| ParsedOp | Michelson.Macro |
| ParsedUExtInstr | Michelson.Macro |
| ParsedUTestAssert | Michelson.Macro |
| ParsedValue | Michelson.Macro |
| ParseErrorBundle | Michelson.Parser.Error, Michelson.Parser |
| parseExpandContract | Michelson.Runtime |
| parseKeyHash | Tezos.Crypto |
| parseNoEnv | Michelson.Parser |
| parsePublicKey | Tezos.Crypto |
| Parser | Michelson.Parser.Types, Michelson.Parser |
| ParserException | |
| 1 (Type/Class) | Michelson.Parser.Error, Michelson.Parser |
| 2 (Data Constructor) | Michelson.Parser.Error, Michelson.Parser |
| parseSecretKey | Tezos.Crypto |
| parseSignature | Tezos.Crypto |
| parseTimestamp | Tezos.Core |
| Path | Michelson.Typed.Haskell.Instr.Helpers |
| Peano | Util.Peano |
| peanoVal | Util.Peano |
| peanoVal' | Util.Peano |
| permute2Def | Util.Default, Michelson.Parser.Annotations |
| permute3Def | Util.Default, Michelson.Parser.Annotations |
| Pos | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| postfixLFields | Util.Lens |
| ppaiir | Lorentz.Macro, Lorentz |
| prepareContract | Michelson.Runtime |
| Prim | Michelson.Macro |
| PrimEx | Michelson.Untyped.Instr, Michelson.Untyped |
| primInstr | Michelson.Parser.Instr |
| Michelson.Typed.Instr, Michelson.Typed | |
| PrintComment | |
| 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 |
| printComment | |
| 1 (Function) | Michelson.Parser.Ext, Michelson.Parser |
| 2 (Function) | Lorentz.Ext, Lorentz |
| printDoc | Michelson.Printer.Util, Michelson.Printer |
| printLorentzContract | Lorentz.Base, Lorentz |
| printTypedContract | Michelson.Printer |
| printUntypedContract | Michelson.Printer |
| program | Michelson.Parser |
| ProhibitedLetType | Michelson.Parser.Error, Michelson.Parser |
| PublicKey | |
| 1 (Type/Class) | Tezos.Crypto, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Tezos.Crypto |
| pure | Lorentz.Rebinded, Lorentz |
| PUSH | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| push | Lorentz.Instr, Lorentz |
| qcIsLeft | Michelson.Test.Util, Michelson.Test, Lorentz.Test |
| qcIsRight | Michelson.Test.Util, Michelson.Test, Lorentz.Test |
| qqMText | Michelson.Text |
| quantifiedVars | Michelson.Untyped.Ext, Michelson.Untyped |
| R | Michelson.Typed.Haskell.Instr.Helpers |
| readAndParseContract | Michelson.Runtime |
| readContract | Michelson.Test.Import |
| readFileUtf8 | Util.IO |
| readGState | Michelson.Runtime.GState |
| Rec | Lorentz.ADT, Lorentz |
| RecFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| recFromTuple | Util.TypeTuple.Class, Util.TypeTuple |
| RemainingSteps | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| RENAME | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| RenderAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| renderAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| RenderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderDoc | Michelson.Printer.Util, Michelson.Printer |
| renderOps | Michelson.Printer.Util |
| renderOpsList | Michelson.Printer.Util |
| requiredLongerThan | Util.Peano |
| RequireLongerThan | Util.Peano |
| return | Lorentz.Rebinded, Lorentz |
| RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| right | Lorentz.Instr, Lorentz |
| RNil | Lorentz.ADT, Lorentz |
| RSplit | Michelson.Typed.Haskell.Instr.Helpers |
| rsplit | Michelson.Typed.Haskell.Instr.Helpers |
| rsub | Lorentz.Instr, Lorentz |
| runContract | Michelson.Runtime |
| runGen | Util.Test.Arbitrary |
| runInstr | Michelson.Interpret |
| runInstrNoGas | Michelson.Interpret |
| RuntimeFailure | Michelson.Interpret |
| runTypeCheck | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runTypeCheckTest | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| runUnpack | Michelson.Interpret |
| S | Michelson.Typed.Haskell.Instr.Helpers |
| SCAddress | Michelson.Typed.Sing, Michelson.Typed |
| SCBool | Michelson.Typed.Sing, Michelson.Typed |
| SCBytes | Michelson.Typed.Sing, Michelson.Typed |
| SCInt | Michelson.Typed.Sing, Michelson.Typed |
| SCKeyHash | Michelson.Typed.Sing, Michelson.Typed |
| SCMutez | Michelson.Typed.Sing, Michelson.Typed |
| SCNat | Michelson.Typed.Sing, Michelson.Typed |
| sconcat | Lorentz.Prelude, Lorentz |
| SCString | Michelson.Typed.Sing, Michelson.Typed |
| SCTimestamp | Michelson.Typed.Sing, Michelson.Typed |
| sdMbKeyHash | Michelson.Typed.Value, Michelson.Typed |
| SecretKey | Tezos.Crypto |
| SELF | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| self | Lorentz.Instr, Lorentz |
| semicolon | Michelson.Parser.Lexer |
| Semigroup | Lorentz.Prelude, Lorentz |
| SENDER | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sender | Lorentz.Instr, Lorentz |
| sepBy2 | Michelson.Parser.Helpers |
| sepEndBy1 | Michelson.Parser.Helpers |
| Seq | |
| 1 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Macro |
| SeqEx | Michelson.Untyped.Instr, Michelson.Untyped |
| Set | Lorentz.Value, Lorentz |
| setCar | Lorentz.Macro, Lorentz |
| setCdr | Lorentz.Macro, Lorentz |
| SetDelegate | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| setDelegate | Lorentz.Instr, Lorentz |
| setDelete | Lorentz.Macro, Lorentz |
| setField | Lorentz.ADT, Lorentz |
| setInsert | Lorentz.Macro, Lorentz |
| setInsertNew | Lorentz.Macro, Lorentz |
| setMaxSteps | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| setNow | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| SET_CADR | Michelson.Macro |
| SET_DELEGATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sFields | Lorentz.Store, Lorentz |
| SHA256 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha256 | |
| 1 (Function) | Tezos.Crypto |
| 2 (Function) | Lorentz.Instr, Lorentz |
| SHA512 | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| sha512 | |
| 1 (Function) | Tezos.Crypto |
| 2 (Function) | Lorentz.Instr, Lorentz |
| ShiftArithError | Michelson.Typed.Arith, Michelson.Typed |
| sign | Tezos.Crypto |
| Signature | |
| 1 (Type/Class) | Tezos.Crypto, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Tezos.Crypto |
| Sing | Michelson.Typed.Sing, Util.Peano, Michelson.Typed |
| SIZE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| size | Lorentz.Instr, Lorentz |
| sizeImpl | Michelson.TypeCheck.Helpers |
| SizeOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| SizeOpHs | Lorentz.Polymorphic, Lorentz |
| SLambda | Michelson.Typed.Sing, Michelson.Typed |
| SLICE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| slice | Lorentz.Instr, Lorentz |
| sliceImpl | Michelson.TypeCheck.Helpers |
| SliceOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| SliceOpHs | Lorentz.Polymorphic, Lorentz |
| sMap | Lorentz.Store, Lorentz |
| SNil | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SOME | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| some | Lorentz.Instr, Lorentz |
| SomeContract | |
| 1 (Type/Class) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SomeCValue | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| 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 |
| SomeItStack | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| someNE | Util.Alternative |
| SomeValue | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| SOURCE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| source | Lorentz.Instr, Lorentz |
| spaces | Michelson.Printer.Util |
| specWithContract | Michelson.Test.Import, Michelson.Test, Lorentz.Test |
| specWithContractL | Michelson.Test.Import, Michelson.Test |
| specWithTypedContract | Michelson.Test.Import, Michelson.Test, Lorentz.Test |
| specWithUntypedContract | Michelson.Test.Import, Michelson.Test, Lorentz.Test |
| 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 |
| stackRef | Lorentz.Ext, Lorentz |
| StackSize | |
| 1 (Type/Class) | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| STACKTYPE | Michelson.Untyped.Ext, Michelson.Untyped |
| stackType | |
| 1 (Function) | Michelson.Parser.Ext |
| 2 (Function) | Lorentz.Ext, Lorentz |
| StackTypePattern | Michelson.Untyped.Ext, Michelson.Untyped |
| stackTypePatternToList | Michelson.Untyped.Ext, Michelson.Untyped |
| STBigMap | Michelson.Typed.Sing, Michelson.Typed |
| STc | Michelson.Typed.Sing, Michelson.Typed |
| STContract | Michelson.Typed.Sing, Michelson.Typed |
| stepsToQuota | Lorentz.Instr, Lorentz |
| STEPS_TO_QUOTA | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| stimes | Lorentz.Prelude, Lorentz |
| StkCons | Michelson.Untyped.Ext, Michelson.Untyped |
| StkEmpty | Michelson.Untyped.Ext, Michelson.Untyped |
| STKey | 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 |
| STOperation | Michelson.Typed.Sing, Michelson.Typed |
| STOption | Michelson.Typed.Sing, Michelson.Typed |
| STOr | Michelson.Typed.Sing, Michelson.Typed |
| stor | Michelson.Untyped.Contract, Michelson.Untyped |
| Storage | Michelson.Untyped.Contract, Michelson.Untyped |
| storageDelete | Lorentz.Store, Lorentz |
| storageGet | Lorentz.Store, Lorentz |
| storageInsert | Lorentz.Store, Lorentz |
| storageInsertNew | Lorentz.Store, Lorentz |
| storageMem | Lorentz.Store, Lorentz |
| storagePack | Lorentz.Store, Lorentz |
| StorageSkeleton | |
| 1 (Type/Class) | Lorentz.Store, Lorentz |
| 2 (Data Constructor) | Lorentz.Store, Lorentz |
| storageUnpack | Lorentz.Store, Lorentz |
| Store | |
| 1 (Type/Class) | Lorentz.Store, Lorentz |
| 2 (Data Constructor) | Lorentz.Store, Lorentz |
| storeDelete | Lorentz.Store, Lorentz |
| StoreDeleteC | Lorentz.Store, Lorentz |
| storeGet | Lorentz.Store, Lorentz |
| StoreGetC | Lorentz.Store, Lorentz |
| storeInsert | Lorentz.Store, Lorentz |
| StoreInsertC | Lorentz.Store, Lorentz |
| storeInsertNew | Lorentz.Store, Lorentz |
| storeLookup | Lorentz.Store, Lorentz |
| storeMem | Lorentz.Store, Lorentz |
| StoreMemC | Lorentz.Store, Lorentz |
| storePiece | Lorentz.Store, Lorentz |
| StorePieceC | Lorentz.Store, Lorentz |
| STPair | Michelson.Typed.Sing, Michelson.Typed |
| string' | Michelson.Parser.Lexer |
| 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 |
| STUnit | Michelson.Typed.Sing, Michelson.Typed |
| SUB | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Sub | Michelson.Typed.Arith, Michelson.Typed |
| sub | Lorentz.Instr, Lorentz |
| subImpl | Michelson.TypeCheck.Helpers |
| subMutez | Tezos.Core |
| SubUnderflow | Michelson.Typed.Arith, Michelson.Typed |
| succeededProp | Michelson.Test.Util, Michelson.Test, Lorentz.Test |
| SuccessValidator | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| SWAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| swap | Lorentz.Instr, Lorentz |
| symbol | Michelson.Parser.Lexer |
| symbol' | Michelson.Parser.Lexer |
| SZ | Util.Peano |
| T | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.T, Michelson.Typed |
| Taddress | Michelson.Untyped.Type, Michelson.Untyped |
| taddress | Michelson.Untyped.Type, Michelson.Untyped |
| TAG | Michelson.Macro |
| takeMText | Michelson.Text |
| tassComment | Michelson.Untyped.Ext, Michelson.Untyped |
| tassInstrs | Michelson.Untyped.Ext, Michelson.Untyped |
| tassName | Michelson.Untyped.Ext, Michelson.Untyped |
| TBigMap | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| Tbool | Michelson.Untyped.Type, Michelson.Untyped |
| tbool | Michelson.Untyped.Type, Michelson.Untyped |
| Tbytes | Michelson.Untyped.Type, Michelson.Untyped |
| tbytes | Michelson.Untyped.Type, Michelson.Untyped |
| Tc | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TCContractError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| tcContractParam | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcContractParamL | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcContracts | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcContractsL | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TCError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TCExtError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TcExtFrames | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| tcExtFrames | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcExtFramesL | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TCFailedOnInstr | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TCFailedOnValue | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TcInstrHandler | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TContract | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TcOriginatedContracts | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TcResult | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TCTypeError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TCUnreachableCode | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| tdAmount | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| tdAmountL | Michelson.Runtime.TxData |
| tdParameter | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| tdParameterL | Michelson.Runtime.TxData |
| tdSenderAddress | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| tdSenderAddressL | Michelson.Runtime.TxData |
| TestAssert | |
| 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 |
| testAssert | Lorentz.Ext, Lorentz |
| TestAssertError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TEST_ASSERT | Michelson.Typed.Instr, Michelson.Typed |
| Text | Lorentz.Prelude, Lorentz |
| Timestamp | |
| 1 (Type/Class) | Tezos.Core, Lorentz.Value, Lorentz |
| 2 (Data Constructor) | Tezos.Core |
| timestampFromSeconds | Tezos.Core |
| timestampFromUTCTime | Tezos.Core |
| timestampPlusSeconds | Tezos.Core |
| timestampToSeconds | Tezos.Core |
| Tint | Michelson.Untyped.Type, Michelson.Untyped |
| tint | Michelson.Untyped.Type, Michelson.Untyped |
| TKey | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tkeyHash | Michelson.Untyped.Type, Michelson.Untyped |
| Tkey_hash | Michelson.Untyped.Type, Michelson.Untyped |
| TLambda | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TList | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TMap | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| Tmutez | Michelson.Untyped.Type, Michelson.Untyped |
| tmutez | Michelson.Untyped.Type, Michelson.Untyped |
| Tnat | Michelson.Untyped.Type, Michelson.Untyped |
| tnat | Michelson.Untyped.Type, Michelson.Untyped |
| ToCT | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| toCVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| toField | Lorentz.ADT, Lorentz |
| toFieldNamed | Lorentz.ADT, Lorentz |
| toMutez | Tezos.Core, Lorentz.Value, Lorentz |
| toNamed | Lorentz.Coercions, Lorentz |
| ToPeano | Util.Peano |
| TOperation | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TOption | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| toPublic | Tezos.Crypto |
| TOr | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| ToT | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| ToT' | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| ToTs | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| ToTs' | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| toUntypedContract | Lorentz.Discover |
| toUType | Michelson.Typed.Extract, Michelson.Typed |
| toVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| TPair | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TParameterConvergeError | Michelson.Typed.Extract, Michelson.Typed |
| transfer | |
| 1 (Function) | Michelson.Runtime |
| 2 (Function) | Michelson.Test.Integrational, Michelson.Test |
| TransferOp | Michelson.Runtime |
| TransferTokens | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| transferTokens | Lorentz.Instr, Lorentz |
| TRANSFER_TOKENS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| True | Lorentz.Value, Lorentz |
| TSet | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TSignature | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TStorageConvergeError | Michelson.Typed.Extract, Michelson.Typed |
| Tstring | Michelson.Untyped.Type, Michelson.Untyped |
| tstring | Michelson.Untyped.Type, Michelson.Untyped |
| ttAmount | Michelson.Typed.Value, Michelson.Typed |
| ttContract | Michelson.Typed.Value, Michelson.Typed |
| ttContractParameter | Michelson.Typed.Value, Michelson.Typed |
| Ttimestamp | Michelson.Untyped.Type, Michelson.Untyped |
| ttimestamp | Michelson.Untyped.Type, Michelson.Untyped |
| TUnit | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TxData | |
| 1 (Type/Class) | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| 2 (Data Constructor) | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| TyCon | Michelson.Untyped.Ext, Michelson.Untyped |
| Type | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| TypeAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| TypeCheck | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckContract | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckCValue | Michelson.TypeCheck.Value, Michelson.TypeCheck |
| TypeCheckEnv | |
| 1 (Type/Class) | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| 2 (Data Constructor) | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckExt | Michelson.TypeCheck.Ext, Michelson.TypeCheck |
| typeCheckImpl | Michelson.TypeCheck.Helpers |
| TypeCheckInstr | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckInstrErr | Michelson.TypeCheck.Helpers |
| typeCheckList | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckValImpl | Michelson.TypeCheck.Value |
| typeCheckValue | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckWithDb | Michelson.Runtime |
| TypeConvergeError | |
| 1 (Type/Class) | Michelson.Typed.Extract, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Extract, Michelson.Typed |
| TypeEqError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TypeMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TypeParameter | Michelson.Untyped.Type, Michelson.Untyped |
| TypeStorage | Michelson.Untyped.Type, Michelson.Untyped |
| typeToComp | Michelson.Untyped.Type, Michelson.Untyped |
| typeVerifyValue | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| type_ | Michelson.Parser.Type, Michelson.Parser |
| TyVar | Michelson.Untyped.Ext, Michelson.Untyped |
| TyVarMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| ueContracts | Michelson.Interpret.Unpack |
| unaryArithImpl | Michelson.TypeCheck.Helpers |
| UnaryArithOp | Michelson.Typed.Arith, Michelson.Typed |
| UnaryArithOpHs | Lorentz.Arith, Lorentz |
| UnaryArithRes | Michelson.Typed.Arith, Michelson.Typed |
| UnaryArithResHs | Lorentz.Arith, Lorentz |
| unBigMap | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| unContractAddress | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| undefined | Lorentz.Prelude, Lorentz |
| UnexpectedInterpreterError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| UnexpectedParamType | Michelson.Interpret |
| UnexpectedStorageType | Michelson.Interpret |
| UnexpectedTypeCheckError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| unI | Lorentz.Base, Lorentz |
| unifyAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| unInternalByteString | Michelson.Untyped.Value, Michelson.Untyped |
| UNIT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| unit | Lorentz.Instr, Lorentz |
| unKeyHash | Tezos.Crypto |
| UnknownType | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| UnknownTypeException | Michelson.Parser.Error, Michelson.Parser |
| unLorentzUserError | Lorentz.Errors, Lorentz |
| unMorleyLogs | Michelson.Interpret |
| unMText | Michelson.Text |
| unMutez | Tezos.Core |
| unOp | Michelson.Untyped.Instr, Michelson.Untyped |
| UNPACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| unpack | Lorentz.Instr, Lorentz |
| UnpackEnv | |
| 1 (Type/Class) | Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Michelson.Interpret.Unpack |
| UnpackError | |
| 1 (Type/Class) | Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Michelson.Interpret.Unpack |
| unpackValue | Michelson.Interpret.Unpack |
| unpackValue' | Michelson.Interpret.Unpack |
| UNPAIR | Michelson.Macro |
| unpair | Lorentz.Macro, Lorentz |
| unPrintComment | Michelson.Typed.Instr, Michelson.Typed |
| unPublicKey | Tezos.Crypto |
| unsafeAddMutez | Tezos.Core |
| unsafeMkMutez | Tezos.Core |
| unsafeParseAddress | Tezos.Address |
| unsafeSubMutez | Tezos.Core |
| unSignature | Tezos.Crypto |
| unStore | Lorentz.Store, Lorentz |
| UnsupportedTypes | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| unTimestamp | Tezos.Core |
| untypeValue | Michelson.Typed.Convert, Michelson.Typed |
| unUnpackError | Michelson.Interpret.Unpack |
| unUPrintComment | Michelson.Untyped.Ext, Michelson.Untyped |
| unVoidResult | Lorentz.Macro, Lorentz |
| Unwrapped | Lorentz.Coercions, Lorentz |
| UPDATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| update | Lorentz.Instr, Lorentz |
| updateNew | Lorentz.Instr, Lorentz |
| updImpl | Michelson.TypeCheck.Helpers |
| UpdOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpHs | Lorentz.Polymorphic, Lorentz |
| UpdOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpKeyHs | Lorentz.Polymorphic, Lorentz |
| UpdOpParams | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpParamsHs | Lorentz.Polymorphic, Lorentz |
| UPRINT | Michelson.Untyped.Ext, Michelson.Untyped |
| UserFailInstr | Lorentz.Errors, Lorentz |
| userFailWith | Lorentz.Errors, Lorentz |
| UTEST_ASSERT | Michelson.Untyped.Ext, Michelson.Untyped |
| validate | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| ValidationError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| Value | |
| 1 (Type/Class) | Michelson.Untyped.Aliases, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.Aliases, Michelson.Typed, Lorentz.Value, Lorentz |
| value | Michelson.Parser |
| Value' | |
| 1 (Type/Class) | Michelson.Untyped.Value, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| value' | Michelson.Parser.Value |
| ValueBytes | Michelson.Untyped.Value, Michelson.Untyped |
| ValueFalse | Michelson.Untyped.Value, Michelson.Untyped |
| ValueInt | Michelson.Untyped.Value, Michelson.Untyped |
| ValueLambda | Michelson.Untyped.Value, Michelson.Untyped |
| ValueLeft | Michelson.Untyped.Value, Michelson.Untyped |
| ValueMap | Michelson.Untyped.Value, Michelson.Untyped |
| ValueNil | Michelson.Untyped.Value, Michelson.Untyped |
| ValueNone | Michelson.Untyped.Value, Michelson.Untyped |
| ValuePair | Michelson.Untyped.Value, Michelson.Untyped |
| ValueRight | Michelson.Untyped.Value, Michelson.Untyped |
| ValueSeq | Michelson.Untyped.Value, Michelson.Untyped |
| ValueSome | Michelson.Untyped.Value, Michelson.Untyped |
| ValueString | Michelson.Untyped.Value, Michelson.Untyped |
| ValueTrue | Michelson.Untyped.Value, Michelson.Untyped |
| ValueUnit | Michelson.Untyped.Value, Michelson.Untyped |
| Var | |
| 1 (Type/Class) | Michelson.Untyped.Ext, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Ext, Michelson.Untyped |
| VarAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| VarError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| VarID | Michelson.Untyped.Ext, Michelson.Untyped |
| varID | Michelson.Parser.Lexer |
| varSet | Michelson.Untyped.Ext, Michelson.Untyped |
| VBigMap | Michelson.Typed.Value, Michelson.Typed |
| VC | Michelson.Typed.Value, Michelson.Typed |
| VContract | Michelson.Typed.Value, Michelson.Typed |
| VIEW | Michelson.Macro |
| View | |
| 1 (Type/Class) | Lorentz.Macro, Lorentz |
| 2 (Data Constructor) | Lorentz.Macro, Lorentz |
| viewCallbackTo | Lorentz.Macro, Lorentz |
| viewParam | Lorentz.Macro, Lorentz |
| view_ | Lorentz.Macro, Lorentz |
| VKey | Michelson.Typed.Value, Michelson.Typed |
| VLam | Michelson.Typed.Value, Michelson.Typed |
| VList | Michelson.Typed.Value, Michelson.Typed |
| VMap | Michelson.Typed.Value, Michelson.Typed |
| VOID | Michelson.Macro |
| voidParam | Lorentz.Macro, Lorentz |
| voidResProxy | Lorentz.Macro, Lorentz |
| VoidResult | |
| 1 (Type/Class) | Lorentz.Macro, Lorentz |
| 2 (Data Constructor) | Lorentz.Macro, Lorentz |
| Void_ | |
| 1 (Type/Class) | Lorentz.Macro, Lorentz |
| 2 (Data Constructor) | Lorentz.Macro, Lorentz |
| void_ | Lorentz.Macro, Lorentz |
| VOp | Michelson.Typed.Value, Michelson.Typed |
| VOption | Michelson.Typed.Value, Michelson.Typed |
| VOr | Michelson.Typed.Value, Michelson.Typed |
| VPair | Michelson.Typed.Value, Michelson.Typed |
| VSet | Michelson.Typed.Value, Michelson.Typed |
| VSignature | Michelson.Typed.Value, Michelson.Typed |
| VUnit | Michelson.Typed.Value, Michelson.Typed |
| WithAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| withEncoding | Util.IO |
| withSender | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| withSomeSingCT | Michelson.Typed.Sing, Michelson.Typed |
| withSomeSingT | Michelson.Typed.Sing, Michelson.Typed |
| WithSrcEx | Michelson.Untyped.Instr, Michelson.Untyped |
| wrapInParens | Michelson.Printer.Util |
| Wrapped | Lorentz.Coercions, Lorentz |
| wrap_ | Lorentz.ADT, Lorentz |
| writeFileUtf8 | Util.IO |
| writeGState | Michelson.Runtime.GState |
| writeMText | Michelson.Text |
| XOR | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Xor | Michelson.Typed.Arith, Michelson.Typed |
| xor | Lorentz.Instr, Lorentz |
| _irGState | Michelson.Runtime |
| _irInterpretResults | Michelson.Runtime |
| _irOperations | Michelson.Runtime |
| _irRemainingSteps | Michelson.Runtime |
| _irSourceAddress | Michelson.Runtime |
| _irUpdates | Michelson.Runtime |
| _Wrapped' | Lorentz.Coercions, Lorentz |
| |-> | Lorentz.Store, Lorentz |