PraosCrypto c => ShelleyBasedEra (MaryEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
PraosCrypto c => ShelleyBasedEra (AllegraEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra |
PraosCrypto c => ApplyTx (MaryEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
PraosCrypto c => ApplyTx (AllegraEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra |
PraosCrypto c => ApplyBlock (MaryEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
PraosCrypto c => ApplyBlock (AllegraEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra |
PraosCrypto c => GetLedgerView (MaryEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary |
PraosCrypto c => GetLedgerView (AllegraEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra |
(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 detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
(Crypto c, Typeable ma, ShelleyBased (ShelleyMAEra ma c), TxBody (ShelleyMAEra ma c) ~ TxBody (ShelleyMAEra ma c)) => STS (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
Crypto c => TranslateEra (MaryEra c) AuxiliaryData Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) TxBody Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) Update Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) WitnessSet Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) TxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) PPUPState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) ShelleyGenesis Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) Tx Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (MaryEra c) NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (AllegraEra c) Update Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) WitnessSet Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) TxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) PPUPState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) ShelleyGenesis Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) Tx Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
Crypto c => TranslateEra (AllegraEra c) NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
(Crypto c, Functor f) => TranslateEra (MaryEra c) (PParams' f) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
Crypto c => TranslateEra (AllegraEra c) (PParams' f) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
(Crypto c, STS (UTXO (ShelleyMAEra ma c)), BaseM (UTXO (ShelleyMAEra ma c)) ~ ShelleyBase) => Embed (UTXO (ShelleyMAEra ma c)) (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
(Crypto c, Typeable ma) => Embed (PPUP (ShelleyMAEra ma c)) (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
(Crypto c, Typeable ma, TxBodyConstraints (ShelleyMAEra ma c), AnnotatedData (AuxiliaryData (ShelleyMAEra ma c)), HasField "vldt" (TxBody (ShelleyMAEra ma c)) ValidityInterval) => ValidateScript (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
(Crypto c, Typeable ma, AnnotatedData (Script (ShelleyMAEra ma c))) => ValidateAuxiliaryData (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
(Typeable ma, Crypto c) => Era (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
type PreviousEra (MaryEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type PreviousEra (AllegraEra c) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationContext (MaryEra c) Source # | Currently no context is needed to translate from Allegra to Mary. Note: if context is needed, please coordinate with consensus, who will have
to provide the context in the right place. |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationContext (AllegraEra c) Source # | Currently no context is needed to translate from Shelley to Allegra. |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type State (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
type State (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
type PredicateFailure (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
type PredicateFailure (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
type BaseM (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
type BaseM (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
type Environment (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
type Environment (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
type Signal (UTXOW (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxow |
type Signal (UTXO (ShelleyMAEra ma c)) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA.Rules.Utxo |
type TranslationError (MaryEra c) AuxiliaryData Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) TxBody Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) Update Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) WitnessSet Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) TxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) PPUPState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) ShelleyGenesis Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) Tx Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (MaryEra c) NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (AllegraEra c) Update Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) WitnessSet Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) EpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) LedgerState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) UTxOState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) UTxO Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) TxOut Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) PPUPState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) ProposedPPUpdates Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) ShelleyGenesis Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) Tx Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (AllegraEra c) NewEpochState Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type TranslationError (MaryEra c) (PParams' f) Source # | |
Instance detailsDefined in Cardano.Ledger.Mary.Translation |
type TranslationError (AllegraEra c) (PParams' f) Source # | |
Instance detailsDefined in Cardano.Ledger.Allegra.Translation |
type Crypto (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
type Value (ShelleyMAEra m c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
type TxBody (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
type Script (ShelleyMAEra _ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |
type AuxiliaryData (ShelleyMAEra ma c) Source # | |
Instance detailsDefined in Cardano.Ledger.ShelleyMA |