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 PolicyID
s from the value. Since a Coin
has
no policies, we create a small class which returns a null set of PolicyID
s
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.