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 |
| taddress | Michelson.Untyped.Type, Michelson.Untyped |
| TAG | Michelson.Macro |
| 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 |
| tbool | Michelson.Untyped.Type, Michelson.Untyped |
| TBytes | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tbytes | Michelson.Untyped.Type, Michelson.Untyped |
| 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 |
| TChainId | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| 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 |
| tdAmountL | Michelson.Runtime.TxData |
| tdEntrypoint | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test |
| tdEntrypointL | Michelson.Runtime.TxData |
| tdParameter | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test |
| tdParameterL | Michelson.Runtime.TxData |
| tdSenderAddress | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.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 |
| TestAssertError | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| testContractNameAtTop | Michelson.Doc.Test |
| testDocBasic | Michelson.Doc.Test, Michelson.Test |
| testDocNotEmpty | Michelson.Doc.Test |
| testNoAdjacentDescriptions | Michelson.Doc.Test |
| testNoGitInfo | Michelson.Doc.Test |
| testTreesWithContract | Michelson.Test.Import, Michelson.Test |
| testTreesWithTypedContract | Michelson.Test.Import, Michelson.Test |
| testTreesWithUntypedContract | Michelson.Test.Import, Michelson.Test |
| TEST_ASSERT | Michelson.Typed.Instr, Michelson.Typed |
| tExpectStorageConst | Michelson.Test.Integrational, Michelson.Test |
| Text | Util.TypeLits |
| TextException | |
| 1 (Type/Class) | Util.Exception |
| 2 (Data Constructor) | 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 |
| tint | Michelson.Untyped.Type, Michelson.Untyped |
| 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 |
| tkeyHash | 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 | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tmutez | Michelson.Untyped.Type, Michelson.Untyped |
| TNat | |
| 1 (Data Constructor) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.T, Michelson.Typed |
| tnat | Michelson.Untyped.Type, Michelson.Untyped |
| ToAnchor | Util.Markdown |
| toAnchor | Util.Markdown |
| ToExpression | Morley.Micheline |
| toExpression | 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 |
| tOriginate | Michelson.Test.Integrational, Michelson.Test |
| 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 | |
| 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 |
| 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 |
| tstring | Michelson.Untyped.Type, Michelson.Untyped |
| 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 |
| ttimestamp | Michelson.Untyped.Type, Michelson.Untyped |
| tTransfer | Michelson.Test.Integrational, Michelson.Test |
| 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, Michelson.Test.Integrational, Michelson.Test |
| 2 (Data Constructor) | Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test |
| txDataOption | Morley.CLI |
| 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.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 |
| typeCheckTopLevelType | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckValImpl | Michelson.TypeCheck.Value |
| typeCheckValue | Michelson.TypeCheck.Instr, Michelson.TypeCheck |
| typeCheckWithDb | Michelson.Runtime |
| TypeContext | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| typeDocDependencies | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed |
| typeDocDependencies' | Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, 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 |
| typeVerifyTopLevelType | 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 |