Morley.Client.Action.Common

Module with functions that used in both transaction sending and contract origination.

Documentation

data OperationConstants

Datatype that contains various values required for chain operations.

Constructors

OperationConstants

Fields

• ocLastBlockHash :: BlockHash

  Block in which operations is going to be injected

• ocBlockConstants :: BlockConstants

  Information about block: chain_id and protocol

• ocFeeConstants :: FeeConstants

  Information about fees

• ocCounter :: TezosInt64

  Sender counter

data TD (t :: Type)

Helper for TransactionData and LTransactionData.

Constructors

TD

Fields

• tdReceiver :: L1Address
• tdAmount :: Mutez
• tdEpName :: EpName
• tdParam :: t
• tdMbFee :: Maybe Mutez

data TransactionData where

Data for a single transaction in a batch.

Constructors

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

Instances

Buildable TransactionData

Defined in Morley.Client.Action.Common

Methods

build :: TransactionData -> Doc

buildList :: [TransactionData] -> Doc

data OriginationData

Data for a single origination in a batch

Constructors

forall cp st.(ParameterScope cp, StorageScope st) => OriginationData

Fields

• odAliasBehavior :: AliasBehavior
• odName :: ContractAlias
• odBalance :: Mutez
• odContract :: Contract cp st
• odStorage :: Value st
• odDelegate :: Maybe KeyHash
• odMbFee :: Maybe Mutez

data TransferTicketData

Constructors

forall t.(ParameterScope t, Comparable t) => TransferTicketData

Fields

• ttdTicketContents :: Value t
• ttdTicketTicketer :: Address
• ttdTicketAmount :: Natural
• ttdDestination :: Address
• ttdEntrypoint :: EpName
• ttdMbFee :: Maybe Mutez

data RevealData

Constructors

RevealData

Fields

• rdPublicKey :: PublicKey
• rdMbFee :: Maybe Mutez

data DelegationData

Constructors

DelegationData

Fields

• ddDelegate :: Maybe KeyHash
• ddMbFee :: Maybe Mutez

data ClientInput

Standard operation input in morley-client interface.

Instances

OperationInfoDescriptor ClientInput

Defined in Morley.Client.Action.Common

Associated Types

type TransferInfo ClientInput

type TransferTicketInfo ClientInput

type OriginationInfo ClientInput

type RevealInfo ClientInput

type DelegationInfo ClientInput

type DelegationInfo ClientInput

Defined in Morley.Client.Action.Common

type DelegationInfo ClientInput = DelegationData

type OriginationInfo ClientInput

Defined in Morley.Client.Action.Common

type OriginationInfo ClientInput = OriginationData

type RevealInfo ClientInput

Defined in Morley.Client.Action.Common

type RevealInfo ClientInput = RevealData

type TransferInfo ClientInput

Defined in Morley.Client.Action.Common

type TransferInfo ClientInput = TransactionData

type TransferTicketInfo ClientInput

Defined in Morley.Client.Action.Common

type TransferTicketInfo ClientInput = TransferTicketData

addOperationPrefix :: ByteString -> ByteString

buildTxDataWithAlias :: Maybe SomeAlias -> TransactionData -> Doc

Builds TransactionData with additional info about receiver's alias, if present.

buildTxTicketDataWithAlias :: Maybe SomeAlias -> TransferTicketData -> Doc

Builds TransactionData with additional info about receiver's alias, if present.

getAppliedResults :: HasTezosRpc m => Either RunOperation PreApplyOperation -> m (NonEmpty AppliedResult, [OperationResp WithSource])

Perform runOperation or preApplyOperations and combine the results.

If an error occurs, this function tries to turn errors returned by RPC into ClientRpcError. If it can't do the conversion, UnexpectedErrors will be thrown.

computeFee :: FeeConstants -> Int -> TezosInt64 -> Mutez

Compute fee for operation.

computeStorageLimit :: [AppliedResult] -> ProtocolParameters -> TezosInt64

Compute storage limit based on the results of the operations application and given ProtocolParameters.

convergingFee :: forall op extra m. Monad m => (Mutez -> m op) -> (op -> m (Mutez, extra)) -> m (Mutez, op, extra)

convergingFee mkOperation countFee tries to find the most minimal fee F and the respective operation Op so that mkOperation F = Op and countFee Op <= F.

preProcessOperation :: HasTezosRpc m => ImplicitAddress -> m OperationConstants

Preprocess chain operation in order to get required constants.

stubSignature :: Signature

prepareOpForInjection :: ByteString -> Signature -> ByteString

updateCommonData :: TezosInt64 -> TezosInt64 -> TezosMutez -> CommonOperationData -> CommonOperationData

Update common operation data based on preliminary run which estimates storage and gas limits and fee.

Reference implementation adds 100 gas and 20 bytes to the limits for safety.

toParametersInternals :: ParameterScope t => EpName -> Value t -> ParametersInternal

mkOriginationScript :: Contract cp st -> Value st -> OriginationScript

handleOperationResult :: MonadThrow m => RunOperationResult -> Int -> m (NonEmpty AppliedResult, [OperationResp WithSource])

Handle a result of an operation: throw errors if there was an error, return a nonempty list of applied results if there weren't.

runErrorsToClientError :: [RunError] -> Maybe ClientRpcError

When an error happens, we will get a list of RunError in response. This list often contains more than one item. We tested which errors are returned in certain scenarios and added handling of such scenarios here. We don't rely on any specific order of errors and on the number of errors. For example, in case of bad parameter this number can be different.