cardano-ledger-shelley-ma-0.1.0.0: Shelley ledger with multiasset and time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.ShelleyMA.Rules.Utxow

Synopsis

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

Instances details
GetPolicies Coin crypto Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

Methods

getPolicies :: Coin -> Set (PolicyID crypto) Source #

GetPolicies (Value crypto) crypto Source # 
Instance details

Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow

Methods

getPolicies :: Value crypto -> Set (PolicyID crypto) Source #

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.

Orphan instances

(Crypto c, Typeable ma, STS (UTXO (ShelleyMAEra ma c)), BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase, DecodeMint (Value (ShelleyMAEra ma c)), DecodeNonNegative (Value (ShelleyMAEra ma c)), Compactible (Value (ShelleyMAEra ma c)), Val (Value (ShelleyMAEra ma c)), GetPolicies (Value (ShelleyMAEra ma c)) c, Eq (CompactForm (Value (ShelleyMAEra ma c))), ChainData (Value (ShelleyMAEra ma c)), ChainData (Delta (Value (ShelleyMAEra ma c))), SerialisableData (Value (ShelleyMAEra ma c)), SerialisableData (Delta (Value (ShelleyMAEra ma c))), SerialisableData (CompactForm (Value (ShelleyMAEra ma c))), Torsor (Value (ShelleyMAEra ma c)), DSignable c (Hash c EraIndependentTxBody)) => STS (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details

Associated Types

type State (UTXOW (ShelleyMAEra ma c)) Source #

type Signal (UTXOW (ShelleyMAEra ma c)) Source #

type Environment (UTXOW (ShelleyMAEra ma c)) Source #

type BaseM (UTXOW (ShelleyMAEra ma c)) :: Type -> Type Source #

type PredicateFailure (UTXOW (ShelleyMAEra ma c)) = (b :: Type) Source #

(Crypto c, STS (UTXO (ShelleyMAEra ma c)), BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase) => Embed (UTXO (ShelleyMAEra ma c)) (UTXOW (ShelleyMAEra ma c)) Source # 
Instance details