Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.UTxO

Contents

Orphan instances

Synopsis

class EraTx era ⇒ EraUTxO era where
- type ScriptsNeeded era = (r ∷ Type) | r → era
- getConsumedValue ∷ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody era → Value era
- getProducedValue ∷ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Value era
- getScriptsProvided ∷ UTxO era → Tx era → ScriptsProvided era
- getScriptsNeeded ∷ UTxO era → TxBody era → ScriptsNeeded era
- getScriptsHashesNeeded ∷ ScriptsNeeded era → Set ScriptHash
- getWitsVKeyNeeded ∷ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness)
- getMinFeeTxUtxo ∷ PParams era → Tx era → UTxO era → Coin
newtype ShelleyScriptsNeeded era = ShelleyScriptsNeeded (Set ScriptHash)
getShelleyScriptsNeeded ∷ EraTxBody era ⇒ UTxO era → TxBody era → ShelleyScriptsNeeded era
getConsumedCoin ∷ EraTxBody era ⇒ PParams era → (Credential 'Staking → Maybe Coin) → UTxO era → TxBody era → Coin
shelleyProducedValue ∷ EraTxBody era ⇒ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Value era
consumed ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → CertState era → UTxO era → TxBody era → Value era
produced ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → CertState era → TxBody era → Value era
getShelleyMinFeeTxUtxo ∷ EraTx era ⇒ PParams era → Tx era → Coin
getShelleyWitsVKeyNeeded ∷ ∀ era. (EraTx era, ShelleyEraTxBody era, EraCertState era) ⇒ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness)
getShelleyWitsVKeyNeededNoGov ∷ ∀ era. EraTx era ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness)
getScriptHash ∷ Addr → Maybe ScriptHash
areAllAdaOnly ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Bool
sumAllCoin ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Coin
sumAllValue ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Value era
coinBalance ∷ EraTxOut era ⇒ UTxO era → Coin
balance ∷ EraTxOut era ⇒ UTxO era → Value era
verifyWitVKey ∷ ∀ (kr ∷ KeyRole). Typeable kr ⇒ Hash HASH EraIndependentTxBody → WitVKey kr → Bool
txInsFilter ∷ UTxO era → Set TxIn → UTxO era
txinLookup ∷ TxIn → UTxO era → Maybe (TxOut era)
txouts ∷ EraTxBody era ⇒ TxBody era → UTxO era
txins ∷ EraTxBody era ⇒ TxBody era → Set TxIn
class CanGetUTxO (t ∷ Type → Type) where
- utxoG ∷ SimpleGetter (t era) (UTxO era)
class CanGetUTxO t ⇒ CanSetUTxO (t ∷ Type → Type) where
- utxoL ∷ Lens' (t era) (UTxO era)
newtype UTxO era = UTxO {
- unUTxO ∷ Map TxIn (TxOut era)
}
newtype ScriptsProvided era = ScriptsProvided {
- unScriptsProvided ∷ Map ScriptHash (Script era)
}
type family ScriptsNeeded era = (r ∷ Type) | r → era
class EraTx era ⇒ EraUTxO era where
- type ScriptsNeeded era = (r ∷ Type) | r → era
- getConsumedValue ∷ PParams era → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO era → TxBody era → Value era
- getProducedValue ∷ PParams era → (KeyHash 'StakePool → Bool) → TxBody era → Value era
- getScriptsProvided ∷ UTxO era → Tx era → ScriptsProvided era
- getScriptsNeeded ∷ UTxO era → TxBody era → ScriptsNeeded era
- getScriptsHashesNeeded ∷ ScriptsNeeded era → Set ScriptHash
- getWitsVKeyNeeded ∷ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness)
- getMinFeeTxUtxo ∷ PParams era → Tx era → UTxO era → Coin

Documentation

class EraTx era ⇒ EraUTxO era where Source #

Associated Types

type ScriptsNeeded era = (r ∷ Type) | r → era Source #

A customizable type on per era basis for the information required to find all scripts needed for the transaction.

Methods

getConsumedValue Source #

Arguments

∷ PParams era
→ (Credential 'Staking → Maybe Coin)	Function that can lookup current delegation deposits
→ (Credential 'DRepRole → Maybe Coin)	Function that can lookup current drep deposits
→ UTxO era
→ TxBody era
→ Value era

Calculate all the value that is being consumed by the transaction.

getProducedValue Source #

Arguments

∷ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether a pool with a supplied PoolStakeId is already registered.
→ TxBody era
→ Value era

getScriptsProvided Source #

Arguments

∷ UTxO era	For some era it is necessary to look into the UTxO to find all of the available scripts for the transaction
→ Tx era
→ ScriptsProvided era

Initial eras will look into witness set to find all of the available scripts, but starting with Babbage we can look for available scripts in the UTxO using reference inputs.

getScriptsNeeded ∷ UTxO era → TxBody era → ScriptsNeeded era Source #

Produce all the information required for figuring out which scripts are required for the transaction to be valid, once those scripts are evaluated

getScriptsHashesNeeded ∷ ScriptsNeeded era → Set ScriptHash Source #

Extract the set of all script hashes that are needed for script validation.

getWitsVKeyNeeded ∷ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness) Source #

Extract all of the KeyHash witnesses that are required for validating the transaction

getMinFeeTxUtxo ∷ PParams era → Tx era → UTxO era → Coin Source #

Minimum fee computation, excluding witnesses and including ref scripts size

Instances

Instances details

EraUTxO ShelleyEra Source #

Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Associated Types

type ScriptsNeeded ShelleyEra = (r ∷ Type) Source #

Methods

getConsumedValue ∷ PParams ShelleyEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO ShelleyEra → TxBody ShelleyEra → Value ShelleyEra Source #

getProducedValue ∷ PParams ShelleyEra → (KeyHash 'StakePool → Bool) → TxBody ShelleyEra → Value ShelleyEra Source #

getScriptsProvided ∷ UTxO ShelleyEra → Tx ShelleyEra → ScriptsProvided ShelleyEra Source #

getScriptsNeeded ∷ UTxO ShelleyEra → TxBody ShelleyEra → ScriptsNeeded ShelleyEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded ShelleyEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ CertState ShelleyEra → UTxO ShelleyEra → TxBody ShelleyEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ PParams ShelleyEra → Tx ShelleyEra → UTxO ShelleyEra → Coin Source #

newtype ShelleyScriptsNeeded era Source #

Constructors

ShelleyScriptsNeeded (Set ScriptHash)

Instances

Instances details

Show (ShelleyScriptsNeeded era) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods showsPrec ∷ Int → ShelleyScriptsNeeded era → ShowS # show ∷ ShelleyScriptsNeeded era → String # showList ∷ [ShelleyScriptsNeeded era] → ShowS #
Eq (ShelleyScriptsNeeded era) Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO Methods (==) ∷ ShelleyScriptsNeeded era → ShelleyScriptsNeeded era → Bool # (/=) ∷ ShelleyScriptsNeeded era → ShelleyScriptsNeeded era → Bool #

getShelleyScriptsNeeded ∷ EraTxBody era ⇒ UTxO era → TxBody era → ShelleyScriptsNeeded era Source #

getConsumedCoin ∷ EraTxBody era ⇒ PParams era → (Credential 'Staking → Maybe Coin) → UTxO era → TxBody era → Coin Source #

Compute the lovelace which are destroyed by the transaction. This implementation is suitable for Shelley and Allegra only.

shelleyProducedValue Source #

Arguments

∷ EraTxBody era
⇒ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether a pool with a supplied PoolStakeId is already registered.
→ TxBody era
→ Value era

consumed ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → CertState era → UTxO era → TxBody era → Value era Source #

For eras before Conway, VState is expected to have an empty Map for vsDReps, and so deposit summed up is zero.

produced ∷ (EraUTxO era, EraCertState era) ⇒ PParams era → CertState era → TxBody era → Value era Source #

Compute the lovelace which are created by the transaction For eras before Conway, VState is expected to have an empty Map for vsDReps, and so deposit summed up is zero.

getShelleyMinFeeTxUtxo ∷ EraTx era ⇒ PParams era → Tx era → Coin Source #

getShelleyWitsVKeyNeeded ∷ ∀ era. (EraTx era, ShelleyEraTxBody era, EraCertState era) ⇒ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness) Source #

getShelleyWitsVKeyNeededNoGov ∷ ∀ era. EraTx era ⇒ UTxO era → TxBody era → Set (KeyHash 'Witness) Source #

Extract witnesses from UTxO and TxBody. Does not enforce witnesses for governance related Keys, i.e. GenDelegs

getScriptHash ∷ Addr → Maybe ScriptHash Source #

Extract script hash from value address with script.

areAllAdaOnly ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Bool Source #

Check whether any of the supplied TxOuts contain any MultiAssets. Returns True if non of them do.

sumAllCoin ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Coin Source #

Sum all the Coins in any Foldable with with TxOuts. Care should be taken since it is susceptible to integer overflow, therefore make sure this function is not applied to unvalidated TxOuts

sumAllValue ∷ (EraTxOut era, Foldable f) ⇒ f (TxOut era) → Value era Source #

Sum all the value in any Foldable with TxOuts

coinBalance ∷ EraTxOut era ⇒ UTxO era → Coin Source #

Determine the total Ada only balance contained in the UTxO. This is equivalent to `coin . balance`, but it will be more efficient

balance ∷ EraTxOut era ⇒ UTxO era → Value era Source #

Determine the total balance contained in the UTxO.

verifyWitVKey ∷ ∀ (kr ∷ KeyRole). Typeable kr ⇒ Hash HASH EraIndependentTxBody → WitVKey kr → Bool Source #

Verify a transaction body witness

txInsFilter Source #

Arguments

∷ UTxO era	Source `UTxO`
→ Set TxIn	Which of the `TxIn`s you would like to keep.
→ UTxO era

Filter out TxIn's from the UTxO map

txinLookup ∷ TxIn → UTxO era → Maybe (TxOut era) Source #

Lookup a txin for a given UTxO collection

txouts ∷ EraTxBody era ⇒ TxBody era → UTxO era Source #

Compute the transaction outputs of a transaction.

txins ∷ EraTxBody era ⇒ TxBody era → Set TxIn Source #

Compute the UTxO inputs of a transaction. txins has the same problems as txouts, see notes below.

class CanGetUTxO (t ∷ Type → Type) where Source #

Minimal complete definition

Nothing

Methods

utxoG ∷ SimpleGetter (t era) (UTxO era) Source #

Instances

Instances details

CanGetUTxO UTxO
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoG ∷ SimpleGetter (UTxO era) (UTxO era) Source #
CanGetUTxO EpochState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (EpochState era) (UTxO era) Source #
CanGetUTxO LedgerState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (LedgerState era) (UTxO era) Source #
CanGetUTxO NewEpochState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (NewEpochState era) (UTxO era) Source #
CanGetUTxO UTxOState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoG ∷ SimpleGetter (UTxOState era) (UTxO era) Source #

class CanGetUTxO t ⇒ CanSetUTxO (t ∷ Type → Type) where Source #

Methods

utxoL ∷ Lens' (t era) (UTxO era) Source #

Instances

Instances details

CanSetUTxO UTxO
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoL ∷ Lens' (UTxO era) (UTxO era) Source #
CanSetUTxO EpochState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoL ∷ Lens' (EpochState era) (UTxO era) Source #
CanSetUTxO LedgerState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoL ∷ Lens' (LedgerState era) (UTxO era) Source #
CanSetUTxO NewEpochState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoL ∷ Lens' (NewEpochState era) (UTxO era) Source #
CanSetUTxO UTxOState Source #
Instance details Defined in Cardano.Ledger.Shelley.LedgerState.Types Methods utxoL ∷ Lens' (UTxOState era) (UTxO era) Source #

newtype UTxO era Source #

The unspent transaction outputs.

Constructors

UTxO
Fields unUTxO ∷ Map TxIn (TxOut era)

Instances

Instances details

CanGetUTxO UTxO
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoG ∷ SimpleGetter (UTxO era) (UTxO era) Source #
CanSetUTxO UTxO
Instance details Defined in Cardano.Ledger.State.UTxO Methods utxoL ∷ Lens' (UTxO era) (UTxO era) Source #
ToJSON (TxOut era) ⇒ ToJSON (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods toJSON ∷ UTxO era → Value Source # toEncoding ∷ UTxO era → Encoding Source # toJSONList ∷ [UTxO era] → Value Source # toEncodingList ∷ [UTxO era] → Encoding Source # omitField ∷ UTxO era → Bool Source #
Era era ⇒ Monoid (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods mempty ∷ UTxO era # mappend ∷ UTxO era → UTxO era → UTxO era # mconcat ∷ [UTxO era] → UTxO era #
Semigroup (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods (<>) ∷ UTxO era → UTxO era → UTxO era # sconcat ∷ NonEmpty (UTxO era) → UTxO era # stimes ∷ Integral b ⇒ b → UTxO era → UTxO era #
Generic (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Rep (UTxO era) ∷ Type → Type # Methods from ∷ UTxO era → Rep (UTxO era) x # to ∷ Rep (UTxO era) x → UTxO era #
Show (TxOut era) ⇒ Show (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods showsPrec ∷ Int → UTxO era → ShowS # show ∷ UTxO era → String # showList ∷ [UTxO era] → ShowS #
(DecCBOR (TxOut era), Era era) ⇒ FromCBOR (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods fromCBOR ∷ Decoder s (UTxO era) Source # label ∷ Proxy (UTxO era) → Text Source #
(EncCBOR (TxOut era), Era era) ⇒ ToCBOR (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods toCBOR ∷ UTxO era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #
(Era era, DecCBOR (TxOut era)) ⇒ DecCBOR (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods decCBOR ∷ Decoder s (UTxO era) Source # dropCBOR ∷ Proxy (UTxO era) → Decoder s () Source # label ∷ Proxy (UTxO era) → Text Source #
(DecShareCBOR (TxOut era), Share (TxOut era) ~ Interns (Credential 'Staking)) ⇒ DecShareCBOR (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Share (UTxO era) Source # Methods getShare ∷ UTxO era → Share (UTxO era) Source # decShareCBOR ∷ Share (UTxO era) → Decoder s (UTxO era) Source # decSharePlusCBOR ∷ StateT (Share (UTxO era)) (Decoder s) (UTxO era) Source #
(Era era, EncCBOR (TxOut era)) ⇒ EncCBOR (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods encCBOR ∷ UTxO era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (UTxO era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [UTxO era] → Size Source #
Default (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods def ∷ UTxO era Source #
(Era era, NFData (TxOut era)) ⇒ NFData (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods rnf ∷ UTxO era → () #
(Era era, Eq (TxOut era)) ⇒ Eq (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods (==) ∷ UTxO era → UTxO era → Bool # (/=) ∷ UTxO era → UTxO era → Bool #
NoThunks (TxOut era) ⇒ NoThunks (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods noThunks ∷ Context → UTxO era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTxO era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (UTxO era) → String Source #
type Rep (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO type Rep (UTxO era) = D1 ('MetaData "UTxO" "Cardano.Ledger.State.UTxO" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "UTxO" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUTxO") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map TxIn (TxOut era)))))
type Share (UTxO era)
Instance details Defined in Cardano.Ledger.State.UTxO type Share (UTxO era) = Interns (Credential 'Staking)

newtype ScriptsProvided era Source #

The only reason it is a newtype instead of just a Map is becuase for later eras is expensive to compute the actual map, so we want to use the type safety guidance to avoid redundant work.

Constructors

ScriptsProvided
Fields unScriptsProvided ∷ Map ScriptHash (Script era)

Instances

Instances details

Generic (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO Associated Types type Rep (ScriptsProvided era) ∷ Type → Type # Methods from ∷ ScriptsProvided era → Rep (ScriptsProvided era) x # to ∷ Rep (ScriptsProvided era) x → ScriptsProvided era #
(Era era, Show (Script era)) ⇒ Show (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods showsPrec ∷ Int → ScriptsProvided era → ShowS # show ∷ ScriptsProvided era → String # showList ∷ [ScriptsProvided era] → ShowS #
(Era era, NFData (Script era)) ⇒ NFData (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods rnf ∷ ScriptsProvided era → () #
(Era era, Eq (Script era)) ⇒ Eq (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods (==) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (/=) ∷ ScriptsProvided era → ScriptsProvided era → Bool #
(Era era, Ord (Script era)) ⇒ Ord (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO Methods compare ∷ ScriptsProvided era → ScriptsProvided era → Ordering # (<) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (<=) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (>) ∷ ScriptsProvided era → ScriptsProvided era → Bool # (>=) ∷ ScriptsProvided era → ScriptsProvided era → Bool # max ∷ ScriptsProvided era → ScriptsProvided era → ScriptsProvided era # min ∷ ScriptsProvided era → ScriptsProvided era → ScriptsProvided era #
type Rep (ScriptsProvided era)
Instance details Defined in Cardano.Ledger.State.UTxO type Rep (ScriptsProvided era) = D1 ('MetaData "ScriptsProvided" "Cardano.Ledger.State.UTxO" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "ScriptsProvided" 'PrefixI 'True) (S1 ('MetaSel ('Just "unScriptsProvided") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptHash (Script era)))))

type family ScriptsNeeded era = (r ∷ Type) | r → era Source #

A customizable type on per era basis for the information required to find all scripts needed for the transaction.

Instances

Instances details

type ScriptsNeeded ShelleyEra Source #
Instance details Defined in Cardano.Ledger.Shelley.UTxO type ScriptsNeeded ShelleyEra = ShelleyScriptsNeeded ShelleyEra

class EraTx era ⇒ EraUTxO era where Source #

Associated Types

type ScriptsNeeded era = (r ∷ Type) | r → era Source #

A customizable type on per era basis for the information required to find all scripts needed for the transaction.

Methods

getConsumedValue Source #

Arguments

∷ PParams era
→ (Credential 'Staking → Maybe Coin)	Function that can lookup current delegation deposits
→ (Credential 'DRepRole → Maybe Coin)	Function that can lookup current drep deposits
→ UTxO era
→ TxBody era
→ Value era

Calculate all the value that is being consumed by the transaction.

getProducedValue Source #

Arguments

∷ PParams era
→ (KeyHash 'StakePool → Bool)	Check whether a pool with a supplied PoolStakeId is already registered.
→ TxBody era
→ Value era

getScriptsProvided Source #

Arguments

∷ UTxO era	For some era it is necessary to look into the UTxO to find all of the available scripts for the transaction
→ Tx era
→ ScriptsProvided era

Initial eras will look into witness set to find all of the available scripts, but starting with Babbage we can look for available scripts in the UTxO using reference inputs.

getScriptsNeeded ∷ UTxO era → TxBody era → ScriptsNeeded era Source #

Produce all the information required for figuring out which scripts are required for the transaction to be valid, once those scripts are evaluated

getScriptsHashesNeeded ∷ ScriptsNeeded era → Set ScriptHash Source #

Extract the set of all script hashes that are needed for script validation.

getWitsVKeyNeeded ∷ CertState era → UTxO era → TxBody era → Set (KeyHash 'Witness) Source #

Extract all of the KeyHash witnesses that are required for validating the transaction

getMinFeeTxUtxo ∷ PParams era → Tx era → UTxO era → Coin Source #

Minimum fee computation, excluding witnesses and including ref scripts size