Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions to submit transactions via octez-client
and node RPC.
Synopsis
- runTransactions :: forall m env. (HasTezosRpc m, HasTezosClient m, WithClientLog env m) => ImplicitAddressWithAlias -> [TransactionData] -> m (Maybe (OperationHash, [OperationInfo Result]))
- lRunTransactions :: forall m env. (HasTezosRpc m, HasTezosClient m, WithClientLog env m) => ImplicitAddressWithAlias -> [LTransactionData] -> m (Maybe (OperationHash, [OperationInfo Result]))
- transfer :: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, ParameterScope t, L1AddressKind kind) => ImplicitAddressWithAlias -> KindedAddress kind -> Mutez -> EpName -> Value t -> Maybe Mutez -> m (OperationHash, [IntOpEvent])
- lTransfer :: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, NiceParameter t, L1AddressKind kind) => ImplicitAddressWithAlias -> KindedAddress kind -> Mutez -> EpName -> t -> Maybe Mutez -> m (OperationHash, [IntOpEvent])
- transferTicket :: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, ParameterScope t, Comparable t) => ImplicitAddressWithAlias -> KindedAddress kind -> ContractAddress -> Value t -> Natural -> EpName -> Maybe Mutez -> m (OperationHash, [IntOpEvent])
- data TD (t :: Type) = TD {}
- data LTransactionData where
- LTransactionData :: forall (t :: Type). NiceParameter t => TD t -> LTransactionData
- data TransactionData where
- TransactionData :: forall (t :: T). ParameterScope t => TD (Value t) -> TransactionData
- data TransferTicketData = forall t.(ParameterScope t, Comparable t) => TransferTicketData {
- ttdTicketContents :: Value t
- ttdTicketTicketer :: Address
- ttdTicketAmount :: Natural
- ttdDestination :: Address
- ttdEntrypoint :: EpName
- ttdMbFee :: Maybe Mutez
Documentation
runTransactions :: forall m env. (HasTezosRpc m, HasTezosClient m, WithClientLog env m) => ImplicitAddressWithAlias -> [TransactionData] -> m (Maybe (OperationHash, [OperationInfo Result])) Source #
Perform sequence of transactions to the contract. Returns operation hash
and a list of RPC responses, or Nothing
in case an empty list was provided.
lRunTransactions :: forall m env. (HasTezosRpc m, HasTezosClient m, WithClientLog env m) => ImplicitAddressWithAlias -> [LTransactionData] -> m (Maybe (OperationHash, [OperationInfo Result])) Source #
Lorentz version of runTransactions
Transfer
transfer :: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, ParameterScope t, L1AddressKind kind) => ImplicitAddressWithAlias -> KindedAddress kind -> Mutez -> EpName -> Value t -> Maybe Mutez -> m (OperationHash, [IntOpEvent]) Source #
lTransfer :: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, NiceParameter t, L1AddressKind kind) => ImplicitAddressWithAlias -> KindedAddress kind -> Mutez -> EpName -> t -> Maybe Mutez -> m (OperationHash, [IntOpEvent]) Source #
:: forall m t env kind. (HasTezosRpc m, HasTezosClient m, WithClientLog env m, ParameterScope t, Comparable t) | |
=> ImplicitAddressWithAlias | Sender |
-> KindedAddress kind | Destination |
-> ContractAddress | Ticketer |
-> Value t | Ticket value |
-> Natural | Ticket amount |
-> EpName | Destination entrypoint |
-> Maybe Mutez | Fee |
-> m (OperationHash, [IntOpEvent]) |
Helper for TransactionData
and LTransactionData
.
data LTransactionData where Source #
Lorentz version of TransactionData
.
LTransactionData :: forall (t :: Type). NiceParameter t => TD t -> LTransactionData |
data TransactionData where Source #
Data for a single transaction in a batch.
TransactionData :: forall (t :: T). ParameterScope t => TD (Value t) -> TransactionData |
Instances
Buildable TransactionData Source # | |
Defined in Morley.Client.Action.Common build :: TransactionData -> Builder # |
data TransferTicketData Source #
forall t.(ParameterScope t, Comparable t) => TransferTicketData | |
|