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.User
module Cooked.Skeleton.Signatory
module Cooked.Skeleton.Redeemer
module Cooked.Skeleton.Proposal
module Cooked.Skeleton.Output
module Cooked.Skeleton.Option
module Cooked.Skeleton.Mint
module Cooked.Skeleton.Label
module Cooked.Skeleton.Datum
module Cooked.Skeleton.Certificate
module Cooked.Skeleton.Anchor
data TxSkel where
- TxSkel :: {..} -> TxSkel
txSkelLabelL :: Lens' TxSkel (Set TxSkelLabel)
txSkelOptsL :: Lens' TxSkel TxSkelOpts
txSkelMintsL :: Lens' TxSkel TxSkelMints
txSkelValidityRangeL :: Lens' TxSkel SlotRange
txSkelProposalsL :: Lens' TxSkel [TxSkelProposal]
txSkelSignatoriesL :: Lens' TxSkel [TxSkelSignatory]
txSkelInsL :: Lens' TxSkel (Map TxOutRef TxSkelRedeemer)
txSkelInsReferenceL :: Lens' TxSkel (Set TxOutRef)
txSkelOutsL :: Lens' TxSkel [TxSkelOut]
txSkelWithdrawalsL :: Lens' TxSkel TxSkelWithdrawals
txSkelCertificatesL :: Lens' TxSkel [TxSkelCertificate]
txSkelTemplate :: TxSkel
txSkelKnownTxOutRefs :: TxSkel -> Set TxOutRef
txSkelWithdrawnValue :: TxSkel -> Value
txSkelWithdrawingScripts :: TxSkel -> [VScript]
txSkelValueInOutputs :: TxSkel -> Value
txSkelInsReferenceInRedeemers :: TxSkel -> Set TxOutRef
txSkelProposingScripts :: TxSkel -> [VScript]
txSkelMintingScripts :: TxSkel -> [VScript]
txSkelCertifyingScripts :: TxSkel -> [VScript]

Documentation

module Cooked.Skeleton.Withdrawal

module Cooked.Skeleton.Value

module Cooked.Skeleton.User

module Cooked.Skeleton.Signatory

module Cooked.Skeleton.Redeemer

module Cooked.Skeleton.Proposal

module Cooked.Skeleton.Output

module Cooked.Skeleton.Option

module Cooked.Skeleton.Mint

module Cooked.Skeleton.Label

module Cooked.Skeleton.Datum

module Cooked.Skeleton.Certificate

module Cooked.Skeleton.Anchor

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 TxSkelLabel
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.
, txSkelOpts :: TxSkelOpts
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.
, txSkelSignatories :: [TxSkelSignatory]
The signatories of the transaction. When auto-balancing is enabled, this list must contain at least one element, which is always expected to be case in practice anyway. By default, the first signatory 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. Each of them will be directly translated into a Cardano reference input. Additional reference inputs can be found within the various redeemers of the skeleton to host reference scripts. Function txSkelInsReferenceInRedeemers collects those 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
, txSkelCertificates :: [TxSkelCertificate]
Certificates issued 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 #
PrettyCookedList (Contextualized TxSkel) Source #	Prints a `Contextualized` `TxSkel`
Instance details Defined in Cooked.Pretty.Skeleton Methods prettyCookedOptList :: PrettyCookedOpts -> Contextualized TxSkel -> [DocCooked] Source # prettyCookedOptListMaybe :: PrettyCookedOpts -> Contextualized TxSkel -> [Maybe DocCooked] Source # prettyCookedList :: Contextualized TxSkel -> [DocCooked] Source #
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 TxSkelLabel) Source #

Focusing on the labels of a TxSkel

txSkelOptsL :: Lens' TxSkel TxSkelOpts Source #

Focusing on the optics of a TxSkel

txSkelMintsL :: Lens' TxSkel TxSkelMints Source #

Focusing on the minted value of a TxSkel

txSkelValidityRangeL :: Lens' TxSkel SlotRange Source #

Focusing on the validity range of a TxSkel

txSkelProposalsL :: Lens' TxSkel [TxSkelProposal] Source #

Focusing on the proposals of a TxSkel

txSkelSignatoriesL :: Lens' TxSkel [TxSkelSignatory] Source #

Focusing on the signatories of a TxSkel

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

Focusing on the inputs of a TxSkel

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

Focusing on the reference inputs of a TxSkel

txSkelOutsL :: Lens' TxSkel [TxSkelOut] Source #

Focusing on the outputs of a TxSkel

txSkelWithdrawalsL :: Lens' TxSkel TxSkelWithdrawals Source #

Focusing on the withdrawals of a TxSkel

txSkelCertificatesL :: Lens' TxSkel [TxSkelCertificate] Source #

Focusing on the certificates of a TxSkel

txSkelTemplate :: TxSkel Source #

A lens to set or

A convenience template of an empty transaction skeleton.

txSkelKnownTxOutRefs :: TxSkel -> Set 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

txSkelWithdrawingScripts :: TxSkel -> [VScript] Source #

Returns all the scripts involved in withdrawals in this TxSkel

txSkelValueInOutputs :: TxSkel -> Value Source #

Returns the full value contained in the skeleton outputs

txSkelInsReferenceInRedeemers :: TxSkel -> Set TxOutRef Source #

All TxOutRefs in reference inputs from redeemers

txSkelProposingScripts :: TxSkel -> [VScript] Source #

Returns all the scripts involved in proposals in this TxSkel

txSkelMintingScripts :: TxSkel -> [VScript] Source #

Returns all the scripts involved in minting in this TxSkel

txSkelCertifyingScripts :: TxSkel -> [VScript] Source #

Returns all the scripts involved in certificates in this TxSkel