Michelson.Runtime.TxData

TxData type and associated functionality.

Documentation

data TxData

Data associated with a particular transaction.

Constructors

TxData

Fields

• tdSenderAddress :: Address
• tdParameter :: TxParam
• tdEntrypoint :: EpName
• tdAmount :: Mutez

Instances

Show TxData

Defined in Michelson.Runtime.TxData

Methods

showsPrec :: Int -> TxData -> ShowS

show :: TxData -> String

showList :: [TxData] -> ShowS

data TxParam where

A parameter associated with a particular transaction.

Constructors

TxTypedParam :: forall t. ParameterScope t => Value t -> TxParam

TxUntypedParam :: Value -> TxParam

Instances

Show TxParam

Defined in Michelson.Runtime.TxData

Methods

showsPrec :: Int -> TxParam -> ShowS

show :: TxParam -> String

showList :: [TxParam] -> ShowS

tdSenderAddressL :: Lens' TxData Address

tdParameterL :: Lens' TxData TxParam

tdEntrypointL :: Lens' TxData EpName

tdAmountL :: Lens' TxData Mutez