T | |
1 (Type/Class) | Michelson.Untyped, Morley.Types |
2 (Type/Class) | Michelson.Typed |
Taddress | Michelson.Untyped |
taddress | Michelson.Untyped |
tassComment | Morley.Types |
tassInstrs | Morley.Types |
tassName | Morley.Types |
TBigMap | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
Tbool | Michelson.Untyped |
tbool | Michelson.Untyped |
Tbytes | Michelson.Untyped |
tbytes | Michelson.Untyped |
Tc | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
tcContractParam | Michelson.TypeCheck |
TCError | Michelson.TypeCheck |
TcExtFrames | Michelson.TypeCheck |
tcExtFrames | Michelson.TypeCheck |
TcExtHandler | Michelson.TypeCheck |
tcExtHandler | Michelson.TypeCheck |
TCFailedOnInstr | Michelson.TypeCheck |
TCFailedOnValue | Michelson.TypeCheck |
TcInstrHandler | Michelson.TypeCheck |
TContract | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TCOtherError | Michelson.TypeCheck |
TcResult | Michelson.TypeCheck |
tdAmount | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
tdParameter | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
tdSenderAddress | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
TestAssert | |
1 (Type/Class) | Morley.Types |
2 (Data Constructor) | Morley.Types |
TEST_ASSERT | Morley.Types |
Timestamp | |
1 (Type/Class) | Tezos.Core |
2 (Data Constructor) | Tezos.Core |
timestampFromSeconds | Tezos.Core |
timestampFromUTCTime | Tezos.Core |
timestampPlusSeconds | Tezos.Core |
timestampToSeconds | Tezos.Core |
Tint | Michelson.Untyped |
tint | Michelson.Untyped |
TKey | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
tkeyHash | Michelson.Untyped |
Tkey_hash | Michelson.Untyped |
TLambda | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TList | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TMap | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
Tmutez | Michelson.Untyped |
tmutez | Michelson.Untyped |
Tnat | Michelson.Untyped |
tnat | Michelson.Untyped |
ToCT | Michelson.Untyped, Michelson.Typed |
ToCVal | Michelson.Typed |
toCVal | Michelson.Typed |
TOperation | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TOption | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
toPublic | Tezos.Crypto |
TOr | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
ToT | Michelson.Typed |
toUType | Michelson.Typed |
ToVal | Michelson.Typed.Value, Michelson.Typed |
toVal | Michelson.Typed.Value, Michelson.Typed |
TPair | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
transfer | |
1 (Function) | Morley.Runtime |
2 (Function) | Morley.Test.Integrational, Morley.Test |
TransferOp | Morley.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, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TSet | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TSignature | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
Tstring | Michelson.Untyped |
tstring | Michelson.Untyped |
ttAmount | Michelson.Typed.Value, Michelson.Typed |
ttContract | Michelson.Typed.Value, Michelson.Typed |
ttContractParameter | Michelson.Typed.Value, Michelson.Typed |
Ttimestamp | Michelson.Untyped |
ttimestamp | Michelson.Untyped |
TUnit | |
1 (Data Constructor) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Typed |
TxData | |
1 (Type/Class) | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
2 (Data Constructor) | Morley.Runtime.TxData, Morley.Runtime, Morley.Test.Integrational, Morley.Test |
TyCon | Morley.Types |
Type | |
1 (Type/Class) | Michelson.Untyped, Morley.Types |
2 (Data Constructor) | Michelson.Untyped, Morley.Types |
TypeAnn | Michelson.Untyped, Morley.Types |
typeCheckContract | Michelson.TypeCheck |
typeCheckCVal | Michelson.TypeCheck |
TypeCheckEnv | |
1 (Type/Class) | Michelson.TypeCheck |
2 (Data Constructor) | Michelson.TypeCheck |
typeCheckHandler | Morley.Ext |
typeCheckList | Michelson.TypeCheck |
typeCheckMorleyContract | Morley.Ext |
TypeCheckT | Michelson.TypeCheck |
typeCheckVal | Michelson.TypeCheck |
typeToComp | Michelson.Untyped |
type_ | Morley.Parser |
TyVar | Morley.Types |