Index - T
| T | |
| 1 (Type/Class) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.T, Michelson.Typed |
| TAddress | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TAG | Michelson.Macro |
| TaggedDecoder | |
| 1 (Type/Class) | Util.Binary |
| 2 (Data Constructor) | Util.Binary |
| Take | Util.Peano |
| 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 | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TBytes | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TCContractError | Michelson.TypeCheck.Error, 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 |
| tcFailedOnValue | Michelson.TypeCheck.Value |
| TChainId | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TcInstrHandler | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcMode | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| tcModeL | 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 |
| tdAmountL | Michelson.Runtime.TxData |
| tdDecoder | Util.Binary |
| tdEntrypoint | Michelson.Runtime.TxData, Michelson.Runtime |
| tdEntrypointL | Michelson.Runtime.TxData |
| tdParameter | Michelson.Runtime.TxData, Michelson.Runtime |
| tdParameterL | Michelson.Runtime.TxData |
| tdSenderAddress | Michelson.Runtime.TxData, Michelson.Runtime |
| tdSenderAddressL | Michelson.Runtime.TxData |
| tdTag | Util.Binary |
| 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 |
| TestAssertError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TEST_ASSERT | Michelson.Typed.Instr, Michelson.Typed |
| Text | Util.TypeLits |
| TextException | |
| 1 (Type/Class) | Util.Exception |
| 2 (Data Constructor) | Util.Exception |
| TezosBigNum | Morley.Micheline.Json, Morley.Micheline |
| TezosInt64 | Morley.Micheline.Json, Morley.Micheline |
| throwLeft | Util.Exception |
| Timestamp | |
| 1 (Type/Class) | Tezos.Core |
| 2 (Data Constructor) | Tezos.Core |
| timestampFromSeconds | Tezos.Core |
| timestampFromUTCTime | Tezos.Core |
| timestampPlusSeconds | Tezos.Core |
| timestampQuote | Tezos.Core |
| timestampToSeconds | Tezos.Core |
| TInt | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TKey | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TKeyHash | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| 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 | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| TNat | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| ToAnchor | Util.Markdown |
| toAnchor | Util.Markdown |
| ToExpression | Morley.Micheline.Class, Morley.Micheline |
| toExpression | Morley.Micheline.Class, Morley.Micheline |
| toMutez | Tezos.Core |
| 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 |
| toption | Michelson.Untyped.Type, Michelson.Untyped |
| toPublic | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| TOr | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tor | Michelson.Untyped.Type, Michelson.Untyped |
| ToT | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed.Haskell, Michelson.Typed, Michelson.Typed |
| ToT' | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| toTaggedVal | Michelson.Typed.Haskell.LooseSum, 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 |
| totsAppendLemma | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| totsKnownLemma | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| toUType | Michelson.Typed.T, Michelson.Typed.Extract, Michelson.Typed |
| toVal | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| toValStack | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| TPair | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tpair | Michelson.Untyped.Type, Michelson.Untyped |
| transfer | Michelson.Runtime |
| TransferOp | Michelson.Runtime |
| TransferTokens | |
| 1 (Type/Class) | Michelson.Typed.Value, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.Value, Michelson.Typed |
| TRANSFER_TOKENS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| transformBytes | Michelson.Preprocess |
| transformStrings | Michelson.Preprocess |
| 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 |
| TString | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| ttAmount | Michelson.Typed.Value, Michelson.Typed |
| ttContract | Michelson.Typed.Value, Michelson.Typed |
| TTimestamp | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| ttTransferArgument | Michelson.Typed.Value, Michelson.Typed |
| 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 |
| 2 (Data Constructor) | Michelson.Runtime.TxData, Michelson.Runtime |
| txDataOption | Morley.CLI |
| TxParam | Michelson.Runtime.TxData, Michelson.Runtime |
| TxTypedParam | Michelson.Runtime.TxData, Michelson.Runtime |
| TxUntypedParam | Michelson.Runtime.TxData, Michelson.Runtime |
| tybool | Michelson.Untyped.Type, Michelson.Untyped |
| TyCon | Michelson.Untyped.Ext, Michelson.Untyped |
| TyEqSing | Util.Fcf |
| tyImplicitAccountParam | |
| 1 (Function) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Function) | Michelson.Typed.Entrypoints, Michelson.Typed |
| tyint | Michelson.Untyped.Type, Michelson.Untyped |
| tynat | Michelson.Untyped.Type, Michelson.Untyped |
| tyor | Michelson.Untyped.Type, Michelson.Untyped |
| typair | Michelson.Untyped.Type, 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.TypeCheck, Michelson.TypeCheck |
| typeCheckContract | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckContractAndStorage | Michelson.TypeCheck.Instr, 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 |
| typeCheckInstrErr' | Michelson.TypeCheck.Helpers |
| typeCheckList | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| TypeCheckMode | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| TypeCheckPack | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckParameter | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckStorage | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| TypeCheckTest | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckValImpl | Michelson.TypeCheck.Value |
| TypeCheckValue | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| typeCheckValue | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| TypeContext | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| typeDocDependencies | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| TypeDocFieldDescriptions | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed.Haskell, Michelson.Typed, Michelson.Typed |
| TypeDocHaskellRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocHaskellRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocMdDescription | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocMdReference | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| TypeDocMichelsonRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocMichelsonRep | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocName | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| TypeEqError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TypeError | Util.TypeLits |
| TypeErrorUnless | Util.TypeLits |
| TypeHasDoc | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| TypeMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| TypeTag | Michelson.Untyped.Annotation, Michelson.Untyped |
| typeVerifyParameter | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeVerifyStorage | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeWithParen | Michelson.Parser.Type |
| type_ | Michelson.Parser.Type, Michelson.Parser |
| TypicalFailWith | Michelson.FailPattern |
| typicalFailWithTag | Michelson.FailPattern |
| tyunit | Michelson.Untyped.Type, Michelson.Untyped |
| TyVar | Michelson.Untyped.Ext, Michelson.Untyped |
| TyVarMismatch | Michelson.TypeCheck.Error, Michelson.TypeCheck |