morley-1.12.0: Developer tools for the Michelson Language

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
TAGMichelson.Macro
TaggedDecoder 
1 (Type/Class)Util.Binary
2 (Data Constructor)Util.Binary
TakeUtil.Peano
takeMTextMichelson.Text
tassCommentMichelson.Untyped.Ext, Michelson.Untyped
tassInstrsMichelson.Untyped.Ext, Michelson.Untyped
tassNameMichelson.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
TCContractErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
tcEitherMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TCErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
TCExtErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
TcExtFramesMichelson.TypeCheck.Types, Michelson.TypeCheck
tcExtFramesMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
tcExtFramesLMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TCFailedOnInstrMichelson.TypeCheck.Error, Michelson.TypeCheck
TCFailedOnValueMichelson.TypeCheck.Error, Michelson.TypeCheck
tcFailedOnValueMichelson.TypeCheck.Value
TChainId 
1 (Data Constructor)Michelson.Untyped.Type, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.T, Michelson.Typed
TCIncompletelyTypedMichelson.TypeCheck.Error, Michelson.TypeCheck
TcInstrHandlerMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
tcModeMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
tcModeLMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TContract 
1 (Data Constructor)Michelson.Untyped.Type, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.T, Michelson.Typed
TcOriginatedContractsMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TcResultMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
tcsEitherMichelson.TypeCheck.TypeCheckedSeq
TCTypeErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
TCUnreachableCodeMichelson.TypeCheck.Error, Michelson.TypeCheck
tcVerboseMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
tdAmountMichelson.Runtime.TxData, Michelson.Runtime
tdAmountLMichelson.Runtime.TxData
tdDecoderUtil.Binary
tdEntrypointMichelson.Runtime.TxData, Michelson.Runtime
tdEntrypointLMichelson.Runtime.TxData
tdParameterMichelson.Runtime.TxData, Michelson.Runtime
tdParameterLMichelson.Runtime.TxData
tdSenderAddressMichelson.Runtime.TxData, Michelson.Runtime
tdSenderAddressLMichelson.Runtime.TxData
tdTagUtil.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
TestAssertErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
TEST_ASSERTMichelson.Typed.Instr, Michelson.Typed
TextUtil.TypeLits
TezosBigNumMorley.Micheline.Json, Morley.Micheline
TezosInt64Morley.Micheline.Json, Morley.Micheline
TezosMutez 
1 (Type/Class)Morley.Micheline.Json, Morley.Micheline
2 (Data Constructor)Morley.Micheline.Json, Morley.Micheline
throwingTCErrorMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
throwingTCError'Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
throwLeftUtil.Exception
Timestamp 
1 (Type/Class)Tezos.Core
2 (Data Constructor)Tezos.Core
timestampFromSecondsTezos.Core
timestampFromUTCTimeTezos.Core
timestampPlusSecondsTezos.Core
timestampQuoteTezos.Core
timestampToSecondsTezos.Core
timestampToUTCTimeTezos.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
ToAnchorUtil.Markdown
toAnchorUtil.Markdown
ToExpressionMorley.Micheline.Class, Morley.Micheline
toExpressionMorley.Micheline.Class, Morley.Micheline
toMutezTezos.Core
ToPeanoUtil.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
toptionMichelson.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
torMichelson.Untyped.Type, Michelson.Untyped
ToTMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed.Haskell, Michelson.Typed, Michelson.Typed
ToT'Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
toTaggedValMichelson.Typed.Haskell.LooseSum, Michelson.Typed.Haskell, Michelson.Typed
ToTsMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
ToTs'Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
totsAppendLemmaMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
totsKnownLemmaMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
toUTypeMichelson.Typed.T, Michelson.Typed.Extract, Michelson.Typed
toValMichelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed
toValStackMichelson.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
tpairMichelson.Untyped.Type, Michelson.Untyped
transferMichelson.Runtime
TransferOpMichelson.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
transformBytesMichelson.Preprocess
transformStringsMichelson.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
ttAmountMichelson.Typed.Value, Michelson.Typed
ttContractMichelson.Typed.Value, Michelson.Typed
TTimestamp 
1 (Data Constructor)Michelson.Untyped.Type, Michelson.Untyped
2 (Data Constructor)Michelson.Typed.T, Michelson.Typed
ttTransferArgumentMichelson.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
txDataOptionMorley.CLI
TxParamMichelson.Runtime.TxData, Michelson.Runtime
TxTypedParamMichelson.Runtime.TxData, Michelson.Runtime
TxUntypedParamMichelson.Runtime.TxData, Michelson.Runtime
tyboolMichelson.Untyped.Type, Michelson.Untyped
TyConMichelson.Untyped.Ext, Michelson.Untyped
TyEqSingUtil.Fcf
tyImplicitAccountParam 
1 (Function)Michelson.Untyped.Type, Michelson.Untyped
2 (Function)Michelson.Typed.Entrypoints, Michelson.Typed
tyintMichelson.Untyped.Type, Michelson.Untyped
tynatMichelson.Untyped.Type, Michelson.Untyped
tyorMichelson.Untyped.Type, Michelson.Untyped
typairMichelson.Untyped.Type, Michelson.Untyped
Type 
1 (Type/Class)Michelson.Untyped.Type, Michelson.Untyped
2 (Data Constructor)Michelson.Untyped.Type, Michelson.Untyped
TypeAnnMichelson.Untyped.Annotation, Michelson.Untyped
TypeCheckMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TypeCheckContractMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckContractMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeCheckContractAndStorageMichelson.TypeCheck.Instr, Michelson.TypeCheck
TypeCheckedInstrMichelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq
TypeCheckedOpMichelson.TypeCheck.TypeCheckedOp, Michelson.TypeCheck.TypeCheckedSeq
TypeCheckedSeqMichelson.TypeCheck.TypeCheckedSeq
TypeCheckEnv 
1 (Type/Class)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckExtMichelson.TypeCheck.Ext, Michelson.TypeCheck
typeCheckImplMichelson.TypeCheck.Helpers
typeCheckImplStrippedMichelson.TypeCheck.Helpers
TypeCheckInstrMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckInstrMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeCheckInstrErrMichelson.TypeCheck.Helpers
typeCheckInstrErr'Michelson.TypeCheck.Helpers
TypeCheckInstrNoExceptMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckListMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeCheckListNoExceptMichelson.TypeCheck.Instr, Michelson.TypeCheck
TypeCheckModeMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TypeCheckNoExceptMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TypeCheckOptions 
1 (Type/Class)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
2 (Data Constructor)Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck
TypeCheckPackMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckParameterMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeCheckStorageMichelson.TypeCheck.Instr, Michelson.TypeCheck
TypeCheckTestMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckValImplMichelson.TypeCheck.Value
TypeCheckValueMichelson.TypeCheck.TypeCheck, Michelson.TypeCheck
typeCheckValueMichelson.TypeCheck.Instr, Michelson.TypeCheck
TypeContextMichelson.TypeCheck.Error, Michelson.TypeCheck
typeDocDependenciesMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
TypeDocFieldDescriptionsMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed.Haskell, Michelson.Typed, Michelson.Typed
TypeDocHaskellRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocHaskellRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocMdDescriptionMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocMdReferenceMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
TypeDocMichelsonRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocMichelsonRepMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
typeDocNameMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
TypeEqErrorMichelson.TypeCheck.Error, Michelson.TypeCheck
TypeErrorUtil.TypeLits
TypeErrorUnlessUtil.TypeLits
TypeHasDocMichelson.Typed.Haskell.Doc, Michelson.Typed.Haskell, Michelson.Typed
TypeMismatchMichelson.TypeCheck.Error, Michelson.TypeCheck
TypeTagMichelson.Untyped.Annotation, Michelson.Untyped
typeVerifyParameterMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeVerifyStorageMichelson.TypeCheck.Instr, Michelson.TypeCheck
typeWithParenMichelson.Parser.Type
type_Michelson.Parser.Type, Michelson.Parser
TypicalFailWithMichelson.FailPattern
typicalFailWithTagMichelson.FailPattern
tyunitMichelson.Untyped.Type, Michelson.Untyped
TyVarMichelson.Untyped.Ext, Michelson.Untyped
TyVarMismatchMichelson.TypeCheck.Error, Michelson.TypeCheck