Index - T
| 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 |