Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Skeleton

Description

This module provides the description of a transaction skeleton. We have our own representation of a transaction for many reasons. Here are some of them:

our transaction skeletons are typed (datums, validators, outputs...)
each transaction skeleton comes with its own set of generation options
our transaction skeleton is by default anchored in the latest Cardano era
each field in our transaction skeleton comes with a set of helpers and
smart constructor to ease the transaction creation
we can have default or automated behavior for the parts of the transactions that are less relevant to testing, such as collaterals or fees

Synopsis

module Cooked.Skeleton.Withdrawal
module Cooked.Skeleton.Value
module Cooked.Skeleton.Redeemer
module Cooked.Skeleton.Proposal
module Cooked.Skeleton.Payable
module Cooked.Skeleton.Output
module Cooked.Skeleton.Option
module Cooked.Skeleton.Mint
module Cooked.Skeleton.Label
module Cooked.Skeleton.Datum
data TxSkel where
- TxSkel :: {..} -> TxSkel
txSkelLabelL :: Lens' TxSkel (Set TxLabel)
txSkelOptsL :: Lens' TxSkel TxOpts
txSkelMintsL :: Lens' TxSkel TxSkelMints
txSkelValidityRangeL :: Lens' TxSkel SlotRange
txSkelProposalsL :: Lens' TxSkel [TxSkelProposal]
txSkelSignersL :: Lens' TxSkel [Wallet]
txSkelInsL :: Lens' TxSkel (Map TxOutRef TxSkelRedeemer)
txSkelInsReferenceL :: Lens' TxSkel (Set TxOutRef)
txSkelOutsL :: Lens' TxSkel [TxSkelOut]
txSkelWithdrawalsL :: Lens' TxSkel TxSkelWithdrawals
txSkelTemplate :: TxSkel
txSkelDataInOutputs :: TxSkel -> [(DatumHash, TxSkelOutDatum)]
txSkelKnownTxOutRefs :: TxSkel -> [TxOutRef]
txSkelWithdrawnValue :: TxSkel -> Value
txSkelWithdrawalsScripts :: TxSkel -> [Versioned Script]
txSkelValueInOutputs :: TxSkel -> Value
txSkelReferenceTxOutRefs :: TxSkel -> [TxOutRef]

Documentation

module Cooked.Skeleton.Withdrawal

module Cooked.Skeleton.Value

module Cooked.Skeleton.Redeemer

module Cooked.Skeleton.Proposal

module Cooked.Skeleton.Payable

module Cooked.Skeleton.Output

module Cooked.Skeleton.Option

module Cooked.Skeleton.Mint

module Cooked.Skeleton.Label

module Cooked.Skeleton.Datum

data TxSkel where Source #

A transaction skeleton. This is cooked-validators's variant of transaction bodies, eventually translated to Cardano TxBody.

Constructors

TxSkel

Fields

:: { txSkelLabel :: Set TxLabel
Labels do not influence the transaction generation at all; they are pretty-printed whenever cooked-validators prints a transaction, and can therefore make the output more informative (and greppable).
, txSkelOpts :: TxOpts
Some options that control transaction generation.
, txSkelMints :: TxSkelMints
Any value minted or burned by the transaction. You'll probably want to use txSkelMintsFromList to construct this.
, txSkelSigners :: [Wallet]
The wallets signing the transaction. This list must contain at least one element. By default, the first signer will pay for fees and balancing. You can change that with txOptBalancingPolicy.
, txSkelValidityRange :: SlotRange
, txSkelIns :: Map TxOutRef TxSkelRedeemer
To each TxOutRef the transaction should consume, add a redeemer specifying how to spend it. You must make sure that
- On TxOutRefs referencing UTxOs belonging to public keys, use the emptyTxSkelRedeemer smart constructor.
- On TxOutRefs referencing UTxOs belonging to scripts, use the someTxSkelRedeemer smart constructor.
, txSkelInsReference :: Set TxOutRef
All outputs directly referenced by the transaction. Note that additional reference inputs can be found within the various redeemers of this skeleton. Function txSkelReferenceTxOutRefs collects them all.
, txSkelOuts :: [TxSkelOut]
The outputs of the transaction. These will occur in exactly this order on the transaction.
, txSkelProposals :: [TxSkelProposal]
Possible proposals issued in this transaction to be voted on and possible enacted later on.
, txSkelWithdrawals :: TxSkelWithdrawals
Withdrawals performed by the transaction
} -> TxSkel

Instances

Instances details

Show TxSkel Source #
Instance details Defined in Cooked.Skeleton Methods showsPrec :: Int -> TxSkel -> ShowS # show :: TxSkel -> String # showList :: [TxSkel] -> ShowS #
Eq TxSkel Source #
Instance details Defined in Cooked.Skeleton Methods (==) :: TxSkel -> TxSkel -> Bool # (/=) :: TxSkel -> TxSkel -> Bool #
MonadBlockChainWithoutValidation m => MonadTweak (Tweak m) Source #
Instance details Defined in Cooked.Tweak.Common Methods getTxSkel :: Tweak m TxSkel Source # putTxSkel :: TxSkel -> Tweak m () Source #

txSkelLabelL :: Lens' TxSkel (Set TxLabel) Source #

A lens to set of get labels from a TxSkel

txSkelOptsL :: Lens' TxSkel TxOpts Source #

A lens to set of get options from a TxSkel

txSkelMintsL :: Lens' TxSkel TxSkelMints Source #

A lens to set of get the minted value of a TxSkel

txSkelValidityRangeL :: Lens' TxSkel SlotRange Source #

A lens to set of get the validity range of a TxSkel

txSkelProposalsL :: Lens' TxSkel [TxSkelProposal] Source #

A lens to set of get proposals from a TxSkel

txSkelSignersL :: Lens' TxSkel [Wallet] Source #

A lens to set of get signers from a TxSkel

txSkelInsL :: Lens' TxSkel (Map TxOutRef TxSkelRedeemer) Source #

A lens to set of get inputs from a TxSkel

txSkelInsReferenceL :: Lens' TxSkel (Set TxOutRef) Source #

A lens to set of get reference inputs from a TxSkel

txSkelOutsL :: Lens' TxSkel [TxSkelOut] Source #

A lens to set of get outputs from a TxSkel

txSkelWithdrawalsL :: Lens' TxSkel TxSkelWithdrawals Source #

A lens to set of get withdrawals from a TxSkel

txSkelTemplate :: TxSkel Source #

A convenience template of an empty transaction skeleton.

txSkelDataInOutputs :: TxSkel -> [(DatumHash, TxSkelOutDatum)] Source #

Returns all data on transaction outputs. This can contain duplicates, which is intended.

txSkelKnownTxOutRefs :: TxSkel -> [TxOutRef] Source #

All TxOutRefs known by a given transaction skeleton. This includes TxOutRef`s used as inputs of the skeleton and TxOutRefs used as reference inputs of the skeleton. This does not include additional possible TxOutRefs used for balancing and additional TxOutRefs used as collateral inputs, as they are not part of the skeleton.

txSkelWithdrawnValue :: TxSkel -> Value Source #

Returns the total value withdrawn in this TxSkel

txSkelWithdrawalsScripts :: TxSkel -> [Versioned Script] Source #

Returns all the scripts involved in withdrawals in this TxSkel

txSkelValueInOutputs :: TxSkel -> Value Source #

Returns the full value contained in the skeleton outputs

txSkelReferenceTxOutRefs :: TxSkel -> [TxOutRef] Source #

All TxOutRefs in reference inputs