Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Client.Action.Transaction

Contents

Transfer

Description

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, [WithSource EventOperation])
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, [WithSource EventOperation])
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, [WithSource EventOperation])
data TD (t :: Type) = TD {
- tdReceiver :: L1Address
- tdAmount :: Mutez
- tdEpName :: EpName
- tdParam :: t
- tdMbFee :: Maybe Mutez
}
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, [WithSource EventOperation]) 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, [WithSource EventOperation]) Source #

transferTicket Source #

Arguments

:: 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, [WithSource EventOperation])

data TD (t :: Type) Source #

Helper for TransactionData and LTransactionData.

Constructors

TD
Fields tdReceiver :: L1Address tdAmount :: Mutez tdEpName :: EpName tdParam :: t tdMbFee :: Maybe Mutez

data LTransactionData where Source #

Lorentz version of TransactionData.

Constructors

LTransactionData :: forall (t :: Type). NiceParameter t => TD t -> LTransactionData

data TransactionData where Source #

Data for a single transaction in a batch.

Constructors

TransactionData :: forall (t :: T). ParameterScope t => TD (Value t) -> TransactionData

Instances

Instances details

Buildable TransactionData Source #
Instance details Defined in Morley.Client.Action.Common Methods build :: TransactionData -> Doc buildList :: [TransactionData] -> Doc

data TransferTicketData Source #

Constructors

forall t.(ParameterScope t, Comparable t) => TransferTicketData
Fields ttdTicketContents :: Value t ttdTicketTicketer :: Address ttdTicketAmount :: Natural ttdDestination :: Address ttdEntrypoint :: EpName ttdMbFee :: Maybe Mutez