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 -> Builder

data OriginationData

Data for a single origination in a batch

Constructors

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

Fields

• odReplaceExisting :: Bool
• odName :: ContractAlias
• odBalance :: Mutez
• odContract :: Contract cp st
• odStorage :: Value st
• odMbFee :: Maybe Mutez

data RevealData

Constructors

RevealData

Fields

• rdPublicKey :: PublicKey
• rdMbFee :: 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 OriginationInfo ClientInput

type RevealInfo ClientInput

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

addOperationPrefix :: ByteString -> ByteString

buildTxDataWithAlias :: Maybe Text -> TransactionData -> Builder

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

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

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

revealKeyUnlessRevealed :: (WithClientLog env m, HasTezosRpc m, HasTezosClient m) => ImplicitAddress -> Maybe ScrubbedBytes -> m ()

Reveal key for implicit address if necessary.

Throws an error if given address is a contract address.

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

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