Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Transaction.Common

Description

Synopsis

data GYBalancedTx v = GYBalancedTx {
- gybtxIns ∷ ![GYTxInDetailed v]
- gybtxCollaterals ∷ !GYUTxOs
- gybtxOuts ∷ ![GYTxOut v]
- gybtxMint ∷ !(Maybe (GYValue, [(GYMintScript v, GYRedeemer)]))
- gybtxWdrls ∷ ![GYTxWdrl v]
- gybtxCerts ∷ ![GYTxCert' v]
- gybtxInvalidBefore ∷ !(Maybe GYSlot)
- gybtxInvalidAfter ∷ !(Maybe GYSlot)
- gybtxSigners ∷ !(Set GYPubKeyHash)
- gybtxRefIns ∷ !GYUTxOs
- gybtxMetadata ∷ !(Maybe GYTxMetadata)
}
data GYTxInDetailed v = GYTxInDetailed {
- gyTxInDet ∷ !(GYTxIn v)
- gyTxInDetAddress ∷ !GYAddress
- gyTxInDetValue ∷ !GYValue
- gyTxInDetDatum ∷ !GYOutDatum
- gyTxInDetScriptRef ∷ !(Maybe GYAnyScript)
}
utxoFromTxInDetailed ∷ GYTxInDetailed v → GYUTxO
data GYBuildTxError
data GYBalancingError
- = GYBalancingErrorInsufficientFunds !GYValue
- | ∀ v. GYBalancingErrorNonPositiveTxOut !(GYTxOut v)
- | GYBalancingErrorChangeShortFall !Natural
- | GYBalancingErrorEmptyOwnUTxOs
minimumUTxO ∷ ApiProtocolParameters → GYTxOut v → Natural
minimumApiUTxO ∷ ApiProtocolParameters → TxOut CtxTx ApiEra → Natural
adjustTxOut ∷ (GYTxOut v → Natural) → GYTxOut v → GYTxOut v

Documentation

data GYBalancedTx v #

An *almost* finalized Tx.

This is fully balanced _except_ potentially missing an ada change output, and missing the exact fee. Both of these will be set by finalizeGYBalancedTx.

Constructors

GYBalancedTx

Fields

gybtxIns ∷ ![GYTxInDetailed v]
gybtxCollaterals ∷ !GYUTxOs
gybtxOuts ∷ ![GYTxOut v]
gybtxMint ∷ !(Maybe (GYValue, [(GYMintScript v, GYRedeemer)]))
gybtxWdrls ∷ ![GYTxWdrl v]
gybtxCerts ∷ ![GYTxCert' v]
gybtxInvalidBefore ∷ !(Maybe GYSlot)
gybtxInvalidAfter ∷ !(Maybe GYSlot)
gybtxSigners ∷ !(Set GYPubKeyHash)
gybtxRefIns ∷ !GYUTxOs
gybtxMetadata ∷ !(Maybe GYTxMetadata)

data GYTxInDetailed v #

A further detailed version of GYTxIn, containing all information about a UTxO.

Constructors

GYTxInDetailed
Fields gyTxInDet ∷ !(GYTxIn v) gyTxInDetAddress ∷ !GYAddress gyTxInDetValue ∷ !GYValue gyTxInDetDatum ∷ !GYOutDatum gyTxInDetScriptRef ∷ !(Maybe GYAnyScript)

Instances

Instances details

Show (GYTxInDetailed v) #
Instance details Defined in GeniusYield.Transaction.Common Methods showsPrec ∷ Int → GYTxInDetailed v → ShowS # show ∷ GYTxInDetailed v → String # showList ∷ [GYTxInDetailed v] → ShowS #
Eq (GYTxInDetailed v) #
Instance details Defined in GeniusYield.Transaction.Common Methods (==) ∷ GYTxInDetailed v → GYTxInDetailed v → Bool # (/=) ∷ GYTxInDetailed v → GYTxInDetailed v → Bool #

utxoFromTxInDetailed ∷ GYTxInDetailed v → GYUTxO #

data GYBuildTxError #

GYBuildTxError may be raised when building transactions, for non-trivial errors. Insufficient funds and similar are considered trivial transaction building errors.

Constructors

GYBuildTxBalancingError !GYBalancingError
GYBuildTxBodyErrorAutoBalance !(TxBodyErrorAutoBalance ApiEra)
GYBuildTxExUnitsTooBig	Execution units required is higher than the maximum as specified by protocol params.
Fields (Natural, Natural) Tuple of maximum execution steps & memory as given by protocol parameters. (Natural, Natural) Tuple of execution steps & memory as taken by built transaction.
GYBuildTxSizeTooBig	Transaction size is higher than the maximum as specified by protocol params.
Fields !Natural Maximum size as specified by protocol parameters. !Natural Size our built transaction took.
GYBuildTxCollateralShortFall	Shortfall (in collateral inputs) for collateral requirement.
Fields !Natural Transaction collateral requirement. !Natural Lovelaces in given collateral UTxO.
GYBuildTxNoSuitableCollateral	Couldn't find a UTxO to use as collateral.
GYBuildTxCborSimplificationError !CborSimplificationError
GYBuildTxCollapseExtraOutError !TxBodyError

Instances

Instances details

Show GYBuildTxError #
Instance details Defined in GeniusYield.Transaction.Common Methods showsPrec ∷ Int → GYBuildTxError → ShowS # show ∷ GYBuildTxError → String # showList ∷ [GYBuildTxError] → ShowS #

data GYBalancingError #

Constructors

GYBalancingErrorInsufficientFunds !GYValue
∀ v. GYBalancingErrorNonPositiveTxOut !(GYTxOut v)
GYBalancingErrorChangeShortFall !Natural	Lovelace shortfall in constructing a change output. See: Cardano.CoinSelection.Balance.UnableToConstructChangeError
GYBalancingErrorEmptyOwnUTxOs	User wallet has no utxos to select.

Instances

Instances details

Show GYBalancingError #
Instance details Defined in GeniusYield.Transaction.Common Methods showsPrec ∷ Int → GYBalancingError → ShowS # show ∷ GYBalancingError → String # showList ∷ [GYBalancingError] → ShowS #
PrintfArg GYBalancingError #
Instance details Defined in GeniusYield.Transaction.Common Methods formatArg ∷ GYBalancingError → FieldFormatter # parseFormat ∷ GYBalancingError → ModifierParser #
Eq GYBalancingError #
Instance details Defined in GeniusYield.Transaction.Common Methods (==) ∷ GYBalancingError → GYBalancingError → Bool # (/=) ∷ GYBalancingError → GYBalancingError → Bool #

minimumUTxO ∷ ApiProtocolParameters → GYTxOut v → Natural #

minimumApiUTxO ∷ ApiProtocolParameters → TxOut CtxTx ApiEra → Natural #

adjustTxOut ∷ (GYTxOut v → Natural) → GYTxOut v → GYTxOut v #