cardano-ledger-shelley-1.16.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Shelley.UTxO

Synopsis

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 Source #

show ∷ ShelleyScriptsNeeded era → String Source #

showList ∷ [ShelleyScriptsNeeded era] → ShowS Source #

Eq (ShelleyScriptsNeeded era) Source # 
Instance details

Defined in Cardano.Ledger.Shelley.UTxO

Methods

(==) ∷ ShelleyScriptsNeeded era → ShelleyScriptsNeeded era → Bool Source #

(/=) ∷ ShelleyScriptsNeeded era → ShelleyScriptsNeeded era → Bool Source #

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 ⇒ 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 ⇒ 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) ⇒ 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

module Cardano.Ledger.UTxO

Orphan instances