A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
#
$
%
&
+
.
/
<
=
>
?
|
-
~
_
All

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
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	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
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, Lorentz.Test.Integrational, Lorentz.Test
tdAmountL	Michelson.Runtime.TxData
tdEntrypoint	Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
tdEntrypointL	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
testContractNameAtTop	Michelson.Doc.Test, Lorentz.Test.Doc
testDeclaresParameter	Lorentz.Test.Doc
testDocBasic	Michelson.Doc.Test, Lorentz.Test.Doc, Michelson.Test
testDocNotEmpty	Michelson.Doc.Test, Lorentz.Test.Doc
testEachEntrypointIsDescribed	Lorentz.Test.Doc
testLorentzDoc	Lorentz.Test.Doc, Lorentz.Test
testNoAdjacentDescriptions	Michelson.Doc.Test, Lorentz.Test.Doc
TestScenario	Lorentz.TestScenario
testTreesWithContract	Michelson.Test.Import, Michelson.Test
testTreesWithContractL	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	Lorentz.Test.Integrational
Text
1 (Data Constructor)	Util.TypeLits
2 (Type/Class)	Lorentz.Prelude, Lorentz
Timestamp
1 (Type/Class)	Tezos.Core, Lorentz.Value, Lorentz
2 (Data Constructor)	Tezos.Core
timestampFromSeconds	Tezos.Core, Lorentz.Value, Lorentz
timestampFromUTCTime	Tezos.Core, Lorentz.Value, Lorentz
timestampPlusSeconds	Tezos.Core
timestampQuote	Tezos.Core, Lorentz.Value, Lorentz
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
ToAdd	Lorentz.UStore.Migration.Diff
ToAddress	Lorentz.Value, Lorentz
toAddress	Lorentz.Value, Lorentz
ToContractRef	Lorentz.Value, Lorentz
toContractRef	Lorentz.Value, Lorentz
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
ToDel	Lorentz.UStore.Migration.Diff
toExtVal	Lorentz.Extensible
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
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	Lorentz.Test.Integrational
ToT	Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz
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, Lorentz.Value, Lorentz
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
transferTokens	Lorentz.Instr, Lorentz
TRANSFER_TOKENS
1 (Data Constructor)	Michelson.Untyped.Instr, Michelson.Untyped
2 (Data Constructor)	Michelson.Typed.Instr, Michelson.Typed
transformBytes	Michelson.Preprocess
transformBytesLorentz	Lorentz.Base, Lorentz
transformStrings	Michelson.Preprocess
transformStringsLorentz	Lorentz.Base, Lorentz
True	Lorentz.Value, Lorentz
TrustEpName
1 (Type/Class)	Lorentz.EntryPoints.Core, Lorentz.EntryPoints, Lorentz
2 (Data Constructor)	Lorentz.EntryPoints.Core, Lorentz.EntryPoints, 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
Tstring	Michelson.Untyped.Type, Michelson.Untyped
tstring	Michelson.Untyped.Type, Michelson.Untyped
ttAmount	Michelson.Typed.Value, Michelson.Typed
ttContract	Michelson.Typed.Value, Michelson.Typed
Ttimestamp	Michelson.Untyped.Type, Michelson.Untyped
ttimestamp	Michelson.Untyped.Type, Michelson.Untyped
tTransfer	Lorentz.Test.Integrational
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, Lorentz.Test.Integrational, Lorentz.Test
2 (Data Constructor)	Michelson.Runtime.TxData, Michelson.Runtime, Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test
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
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
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
typeDocDependencies	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
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, Lorentz.Doc, Lorentz
typeDocMdDescription	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
typeDocMdDescriptionReferToError	Lorentz.Errors, Lorentz
typeDocMdReference	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
TypeDocMichelsonRep	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocMichelsonRep	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
typeDocName	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
TypeEqError	Michelson.TypeCheck.Error, Michelson.TypeCheck
TypeError	Util.TypeLits
TypeErrorUnless	Util.TypeLits
TypeHasDoc	Michelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Doc, Lorentz
TypeMismatch	Michelson.TypeCheck.Error, Michelson.TypeCheck
typeToComp	Michelson.Untyped.Type, Michelson.Untyped
typeVerifyTopLevelType	Michelson.TypeCheck.Instr, Michelson.TypeCheck
typeVerifyValue	Michelson.TypeCheck.Instr, Michelson.TypeCheck
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