| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.ShelleyMA.Rules.Utxow
Contents
Synopsis
- class GetPolicies a crypto where
- getPolicies :: a -> Set (PolicyID crypto)
- scriptsNeeded :: (ShelleyBased era, GetPolicies (Value era) (Crypto era), HasField "certs" (TxBody era) (StrictSeq (DCert (Crypto era))), HasField "wdrls" (TxBody era) (Wdrl (Crypto era)), HasField "inputs" (TxBody era) (Set (TxIn (Crypto era))), HasField "mint" (TxBody era) (Value era)) => UTxO era -> Tx era -> Set (ScriptHash (Crypto era))
Documentation
class GetPolicies a crypto where Source #
We want to reuse the same rules for Mary and Allegra. This however relies
on being able to get a set of PolicyIDs from the value. Since a Coin has
no policies, we create a small class which returns a null set of PolicyIDs
for Coin.
This should not escape this module.
Methods
getPolicies :: a -> Set (PolicyID crypto) Source #
Instances
| GetPolicies Coin crypto Source # | |
Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow | |
| GetPolicies (Value crypto) crypto Source # | |
Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow | |
scriptsNeeded :: (ShelleyBased era, GetPolicies (Value era) (Crypto era), HasField "certs" (TxBody era) (StrictSeq (DCert (Crypto era))), HasField "wdrls" (TxBody era) (Wdrl (Crypto era)), HasField "inputs" (TxBody era) (Set (TxIn (Crypto era))), HasField "mint" (TxBody era) (Value era)) => UTxO era -> Tx era -> Set (ScriptHash (Crypto era)) Source #
Computes the set of script hashes required to unlock the transaction inputs and the withdrawals.