Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Eras
Synopsis
- data AllegraEra c
- data AlonzoEra c
- data BabbageEra c
- data ConwayEra c
- data MaryEra era
- data ShelleyEra c
- type StandardAllegra = AllegraEra StandardCrypto
- type StandardAlonzo = AlonzoEra StandardCrypto
- type StandardBabbage = BabbageEra StandardCrypto
- type StandardConway = ConwayEra StandardCrypto
- type StandardMary = MaryEra StandardCrypto
- type StandardShelley = ShelleyEra StandardCrypto
- class (EraSegWits era, EraGovernance era, ApplyTx era, ApplyBlock era, CanStartFromGenesis era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) ⇒ ShelleyBasedEra era where
- shelleyBasedEraName ∷ proxy era → Text
- applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx era))
- newtype WrapTx era = WrapTx {
- unwrapTx ∷ Tx era
- type family EraCrypto era
- data StandardCrypto
- data UnexpectedAlonzoLedgerErrors
Eras based on the Shelley ledger
data AllegraEra c #
Instances
Crypto c ⇒ Era (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era Associated Types type EraCrypto (AllegraEra c) # type PreviousEra (AllegraEra c) = (r ∷ Type) type ProtVerLow (AllegraEra c) ∷ Nat type ProtVerHigh (AllegraEra c) ∷ Nat | |
Crypto c ⇒ GetLedgerView (AllegraEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (AllegraEra c) → LedgerView (EraCrypto (AllegraEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (AllegraEra c)) m ⇒ Globals → NewEpochState (AllegraEra c) → SlotNo → m (LedgerView (EraCrypto (AllegraEra c))) | |
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AllegraEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (AllegraEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (AllegraEra c) → LedgerState (AllegraEra c) → WhetherToIntervene → Tx (AllegraEra c) → Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source # | |
ShelleyBasedEra (AllegraEra c) ⇒ TranslateEra (AllegraEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (AllegraEra c) WrapTx Methods translateEra ∷ TranslationContext (AllegraEra c) → WrapTx (PreviousEra (AllegraEra c)) → Except (TranslationError (AllegraEra c) WrapTx) (WrapTx (AllegraEra c)) | |
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AllegraEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (AllegraEra c) ⇒ TxLimits (ShelleyBlock p (AllegraEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (AllegraEra c))) → TxMeasure (ShelleyBlock p (AllegraEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (AllegraEra c))) → TxMeasure (ShelleyBlock p (AllegraEra c)) Source # | |
type EraRule "BBODY" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "DELEG" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "DELEGS" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "DELPL" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "EPOCH" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "LEDGER" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "LEDGERS" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "MIR" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "NEWEPOCH" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "NEWPP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "POOL" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "POOLREAP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "PPUP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "RUPD" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "SNAP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "TICK" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "TICKF" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "UPEC" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "UTXO" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraRule "UTXOW" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type PParamsHKD f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams | |
type SomeScript 'PhaseOne (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
type DowngradePParams f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f (AllegraEra c) = () | |
type UpgradePParams f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f (AllegraEra c) = () | |
type EraCrypto (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type TxSeq (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxSeq | |
type Tx (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Tx | |
type AdditionalGenesisConfig (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra type AdditionalGenesisConfig (AllegraEra c) = () | |
type TranslationContext (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era type TranslationContext (AllegraEra c) = () | |
type PreviousEra (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type Value (AllegraEra _1) | |
Defined in Cardano.Ledger.Allegra.Era type Value (AllegraEra _1) = Coin | |
type TxBody (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
type TxOut (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxOut | |
type TxWits (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxWits | |
type TxAuxData (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
type ProtVerLow (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era type ProtVerLow (AllegraEra c) = 3 | |
type Script (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
type ProtVerHigh (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type GovernanceState (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams | |
type ScriptsNeeded (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.UTxO | |
type TranslationError (AllegraEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
type TranslationError (AllegraEra c) Update | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) ShelleyTxWits | |
Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError | |
type TranslationError (AllegraEra c) EpochState | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) LedgerState | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) UTxOState | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) UTxO | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) ShelleyTxOut | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) ShelleyPPUPState | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) PParamsUpdate | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) PParams | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TranslationError (AllegraEra c) ShelleyTx | |
Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTx = DecoderError | |
type TranslationError (AllegraEra c) NewEpochState | |
Defined in Cardano.Ledger.Allegra.Translation | |
type TxMeasure (ShelleyBlock p (AllegraEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
Instances
Crypto c ⇒ Era (AlonzoEra c) | |
Crypto c ⇒ AlonzoEraTx (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx (AlonzoEra c)) IsValid | |
(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) | |
Crypto c ⇒ GetLedgerView (AlonzoEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (AlonzoEra c) → LedgerView (EraCrypto (AlonzoEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (AlonzoEra c)) m ⇒ Globals → NewEpochState (AlonzoEra c) → SlotNo → m (LedgerView (EraCrypto (AlonzoEra c))) | |
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (AlonzoEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → LedgerState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # | |
ShelleyBasedEra (AlonzoEra c) ⇒ TranslateEra (AlonzoEra c) WrapTx | |
Crypto c ⇒ TranslateEra (AlonzoEra c) Tx | |
Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) Tx | |
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (AlonzoEra c))) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (AlonzoEra c))) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # | |
type EraRule "BBODY" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "DELEG" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "DELEGS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "DELPL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "EPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "LEDGER" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "LEDGERS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "MIR" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "NEWEPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "NEWPP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "POOL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "POOLREAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "PPUP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "RUPD" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "SNAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "TICK" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "TICKF" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "UPEC" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "UTXO" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "UTXOS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraRule "UTXOW" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type PParamsHKD f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
type SomeScript 'PhaseOne (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
type SomeScript 'PhaseTwo (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
type DowngradePParams f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f | |
type UpgradePParams f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f | |
type EraCrypto (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type TxSeq (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxSeq | |
type Tx (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
type AdditionalGenesisConfig (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis | |
type TranslationContext (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext (AlonzoEra c) = AlonzoGenesis | |
type PreviousEra (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type Value (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type Value (AlonzoEra c) = MaryValue c | |
type TxBody (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
type TxOut (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
type TxWits (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
type TxAuxData (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
type ProtVerLow (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow (AlonzoEra c) = 5 | |
type Script (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
type ProtVerHigh (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh (AlonzoEra c) = 6 | |
type GovernanceState (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
type ScriptsNeeded (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.UTxO | |
type TranslationError (AlonzoEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
type TranslationError (AlonzoEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) ShelleyPPUPState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) UTxO | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) UTxOState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) LedgerState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) EpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) PParams | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) NewEpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) Tx | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError | |
type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
data BabbageEra c #
Instances
Instances
Instances
Crypto c ⇒ Era (MaryEra c) | |
Crypto c ⇒ GetLedgerView (MaryEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (MaryEra c) → LedgerView (EraCrypto (MaryEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (MaryEra c)) m ⇒ Globals → NewEpochState (MaryEra c) → SlotNo → m (LedgerView (EraCrypto (MaryEra c))) | |
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (MaryEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (MaryEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (MaryEra c) → LedgerState (MaryEra c) → WhetherToIntervene → Tx (MaryEra c) → Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source # | |
ShelleyBasedEra (MaryEra c) ⇒ TranslateEra (MaryEra c) WrapTx | |
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (MaryEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (MaryEra c) ⇒ TxLimits (ShelleyBlock p (MaryEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (MaryEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (MaryEra c))) → TxMeasure (ShelleyBlock p (MaryEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (MaryEra c))) → TxMeasure (ShelleyBlock p (MaryEra c)) Source # | |
type EraRule "BBODY" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "DELEG" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "DELEGS" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "DELPL" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "EPOCH" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "LEDGER" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "LEDGERS" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "MIR" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "NEWEPOCH" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "NEWPP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "POOL" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "POOLREAP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "PPUP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "RUPD" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "SNAP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "TICK" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "TICKF" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "UPEC" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "UTXO" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraRule "UTXOW" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type PParamsHKD f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams | |
type SomeScript 'PhaseOne (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Scripts | |
type DowngradePParams f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f (MaryEra c) = () | |
type UpgradePParams f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f (MaryEra c) = () | |
type EraCrypto (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type TxSeq (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxSeq | |
type Tx (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Tx | |
type AdditionalGenesisConfig (MaryEra c) | |
Defined in Cardano.Ledger.Mary type AdditionalGenesisConfig (MaryEra c) = () | |
type TranslationContext (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type TranslationContext (MaryEra c) = () | |
type PreviousEra (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type Value (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type Value (MaryEra c) = MaryValue c | |
type TxBody (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxBody | |
type TxOut (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxOut | |
type TxWits (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxWits | |
type TxAuxData (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxAuxData | |
type ProtVerLow (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type ProtVerLow (MaryEra c) = 4 | |
type Script (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Scripts | |
type ProtVerHigh (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type GovernanceState (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams | |
type ScriptsNeeded (MaryEra c) | |
Defined in Cardano.Ledger.Mary.UTxO | |
type TranslationError (MaryEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
type TranslationError (MaryEra c) AllegraTxAuxData | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) Timelock | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) Update | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) ShelleyTxWits | |
Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxWits = DecoderError | |
type TranslationError (MaryEra c) UTxO | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) ShelleyTxOut | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) UTxOState | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) ShelleyPPUPState | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) LedgerState | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) EpochState | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) PParamsUpdate | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) PParams | |
Defined in Cardano.Ledger.Mary.Translation | |
type TranslationError (MaryEra c) ShelleyTx | |
Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTx = DecoderError | |
type TranslationError (MaryEra c) NewEpochState | |
Defined in Cardano.Ledger.Mary.Translation | |
type TxMeasure (ShelleyBlock p (MaryEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
data ShelleyEra c #
Instances
(Crypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyBlock (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c)) applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c))) reapplyBlock ∷ Globals → NewEpochState (ShelleyEra c) → Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) → NewEpochState (ShelleyEra c) | |
(EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) ⇒ ApplyTx (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) reapplyTx ∷ MonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Validated (Tx (ShelleyEra c)) → m (MempoolState (ShelleyEra c)) | |
Crypto c ⇒ CanStartFromGenesis (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Methods fromShelleyPParams ∷ AdditionalGenesisConfig (ShelleyEra c) → PParams (ShelleyEra (EraCrypto (ShelleyEra c))) → PParams (ShelleyEra c) initialState ∷ ShelleyGenesis (EraCrypto (ShelleyEra c)) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) | |
Crypto c ⇒ Era (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era Associated Types type EraCrypto (ShelleyEra c) # type PreviousEra (ShelleyEra c) = (r ∷ Type) type ProtVerLow (ShelleyEra c) ∷ Nat type ProtVerHigh (ShelleyEra c) ∷ Nat | |
Crypto c ⇒ EraGovernance (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovernanceState (ShelleyEra c) = (r ∷ Type) Methods emptyGovernanceState ∷ GovernanceState (ShelleyEra c) getProposedPPUpdates ∷ GovernanceState (ShelleyEra c) → Maybe (ProposedPPUpdates (ShelleyEra c)) | |
Crypto c ⇒ GetLedgerView (ShelleyEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (ShelleyEra c) → LedgerView (EraCrypto (ShelleyEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (ShelleyEra c)) m ⇒ Globals → NewEpochState (ShelleyEra c) → SlotNo → m (LedgerView (EraCrypto (ShelleyEra c))) | |
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (ShelleyEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → LedgerState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # | |
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (ShelleyEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (ShelleyEra c))) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (ShelleyEra c))) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # | |
type EraRule "BBODY" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "DELEG" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "DELEGS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "DELPL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "EPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "LEDGER" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "LEDGERS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "MIR" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "NEWEPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "NEWPP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "POOL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "POOLREAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "PPUP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "RUPD" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "SNAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "TICK" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "TICKF" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "UPEC" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "UTXO" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraRule "UTXOW" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type PParamsHKD f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
type SomeScript 'PhaseOne (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
type DowngradePParams f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
type UpgradePParams f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
type EraCrypto (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type TxSeq (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.BlockChain | |
type Tx (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Tx | |
type AdditionalGenesisConfig (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = () | |
type TranslationContext (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Translation type TranslationContext (ShelleyEra c) = FromByronTranslationContext c | |
type PreviousEra (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era type PreviousEra (ShelleyEra c) = ByronEra c | |
type Value (ShelleyEra _c) | |
Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin | |
type TxBody (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
type TxOut (ShelleyEra crypto) | |
Defined in Cardano.Ledger.Shelley.TxOut | |
type TxWits (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxWits | |
type TxAuxData (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
type ProtVerLow (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era type ProtVerLow (ShelleyEra c) = 2 | |
type Script (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
type ProtVerHigh (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type GovernanceState (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Governance | |
type ScriptsNeeded (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.UTxO | |
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
Eras instantiated with standard crypto
type StandardAllegra = AllegraEra StandardCrypto Source #
The Allegra era with standard crypto
type StandardAlonzo = AlonzoEra StandardCrypto Source #
The Alonzo era with standard crypto
type StandardBabbage = BabbageEra StandardCrypto Source #
The Babbage era with standard crypto
type StandardConway = ConwayEra StandardCrypto Source #
The Conway era with standard crypto
type StandardMary = MaryEra StandardCrypto Source #
The Mary era with standard crypto
type StandardShelley = ShelleyEra StandardCrypto Source #
The Shelley era with standard crypto
Shelley-based era
class (EraSegWits era, EraGovernance era, ApplyTx era, ApplyBlock era, CanStartFromGenesis era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "DELEGS" era)), EncCBOR (PredicateFailure (EraRule "DELEGS" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) ⇒ ShelleyBasedEra era where Source #
Consensus often needs some more functionality than the ledger currently provides.
Either the functionality shouldn't or can't live in the ledger, in which case
it can be part and remain part of ShelleyBasedEra
. Or, the functionality
should live in the ledger, but hasn't yet been added to the ledger, or it
hasn't yet been propagated to this repository, in which case it can be added
to this class until that is the case.
If this class becomes redundant, We can move it to ledger and re-export it from here.
TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/input-output-hk/ouroboros-network/issues/2890
Methods
shelleyBasedEraName ∷ proxy era → Text Source #
applyShelleyBasedTx ∷ Globals → LedgerEnv era → LedgerState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (LedgerState era, Validated (Tx era)) Source #
Instances
Wrapper for partially applying the Tx
type family
For generality, Consensus uses that type family as eg the index of
TranslateEra
. We thus need to partially apply it.
cardano-ledger-specs
also declares such a newtype, but currently it's only
defined in the Alonzo translation module, which seems somewhat inappropriate
to use for previous eras. Also, we use a Wrap
prefix in Consensus. Hence
this minor mediating definition. TODO I'm not even fully persuading myself
with this justification.
Instances
Type synonyms for convenience
Instances
type EraCrypto (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
type EraCrypto (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
type EraCrypto (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
type EraCrypto (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
type EraCrypto (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
type EraCrypto (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
type EraCrypto (ByronEra c) | |
Defined in Cardano.Ledger.Core.Era type EraCrypto (ByronEra c) = c |
Re-exports
data StandardCrypto #
Instances
PraosCrypto StandardCrypto | |
Defined in Ouroboros.Consensus.Protocol.Praos | |
PraosCrypto StandardCrypto | |
Defined in Cardano.Protocol.TPraos.API | |
Crypto StandardCrypto | |
Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto type ADDRHASH StandardCrypto type DSIGN StandardCrypto type KES StandardCrypto type VRF StandardCrypto | |
type ADDRHASH StandardCrypto | |
Defined in Cardano.Ledger.Crypto type ADDRHASH StandardCrypto = Blake2b_224 | |
type DSIGN StandardCrypto | |
Defined in Cardano.Ledger.Crypto type DSIGN StandardCrypto = Ed25519DSIGN | |
type HASH StandardCrypto | |
Defined in Cardano.Ledger.Crypto type HASH StandardCrypto = Blake2b_256 | |
type KES StandardCrypto | |
Defined in Cardano.Ledger.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256 | |
type VRF StandardCrypto | |
Defined in Cardano.Ledger.Crypto type VRF StandardCrypto = PraosVRF |
Exceptions
data UnexpectedAlonzoLedgerErrors Source #
The ledger responded with Alonzo errors we were not expecting