Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Shelley.Eras

Contents

Eras based on the Shelley ledger
Eras instantiated with standard crypto
Shelley-based era
Type synonyms for convenience
Re-exports
Exceptions

Synopsis

type AllegraEra = ShelleyMAEra 'Allegra
data AlonzoEra c
data BabbageEra c
type MaryEra c = ShelleyMAEra 'Mary c
data ShelleyEra c
type StandardAllegra = AllegraEra StandardCrypto
type StandardAlonzo = AlonzoEra StandardCrypto
type StandardBabbage = BabbageEra StandardCrypto
type StandardMary = MaryEra StandardCrypto
type StandardShelley = ShelleyEra StandardCrypto
class (ShelleyBasedEra era, GetLedgerView era, State (EraRule "PPUP" era) ~ PPUPState era, Default (State (EraRule "PPUP" era)), HasField "_maxBBSize" (PParams era) Natural, HasField "_maxBHSize" (PParams era) Natural, HasField "_maxTxSize" (PParams era) Natural, HasField "_a0" (PParams era) NonNegativeInterval, HasField "_nOpt" (PParams era) Natural, HasField "_rho" (PParams era) UnitInterval, HasField "_tau" (PParams era) UnitInterval, ValidateScript era, FromCBOR (PParams era), ToCBOR (PParams era), HasField "_protocolVersion" (PParamsDelta era) (StrictMaybe ProtVer), FromCBOR (PParamsDelta era), AdditionalGenesisConfig era ~ TranslationContext era, ToCBORGroup (TxSeq era), NoThunks (TranslationContext era), FromCBOR (Annotator (Witnesses era)), ToCBOR (Witnesses era), Eq (TxSeq era), Show (TxSeq era), FromCBOR (Annotator (TxSeq era))) ⇒ ShelleyBasedEra era where
- shelleyBasedEraName ∷ proxy era → Text
- applyShelleyBasedTx ∷ Globals → LedgerEnv era → MempoolState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (MempoolState era, Validated (Tx era))
newtype WrapTx era = WrapTx {
- unwrapTx ∷ Tx era
}
type EraCrypto era = Crypto era
data StandardCrypto
data UnexpectedAlonzoLedgerErrors

Eras based on the Shelley ledger

type AllegraEra = ShelleyMAEra 'Allegra #

data AlonzoEra c #

Instances

Instances details

ShelleyEraCrypto c ⇒ ApplyBlock (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (AlonzoEra c)) (NewEpochState (AlonzoEra c)) applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (AlonzoEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (Crypto (AlonzoEra c))) (AlonzoEra c) → m (EventReturnType ep (EraRule "BBODY" (AlonzoEra c)) (NewEpochState (AlonzoEra c))) reapplyBlock ∷ Globals → NewEpochState (AlonzoEra c) → Block (BHeaderView (Crypto (AlonzoEra c))) (AlonzoEra c) → NewEpochState (AlonzoEra c)
ShelleyEraCrypto c ⇒ ApplyTx (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods applyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Tx (AlonzoEra c) → m (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c))) reapplyTx ∷ MonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Validated (Tx (AlonzoEra c)) → m (MempoolState (AlonzoEra c))
Crypto c ⇒ CLI (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods evaluateMinFee ∷ PParams (AlonzoEra c) → Tx (AlonzoEra c) → Coin evaluateConsumed ∷ PParams (AlonzoEra c) → UTxO (AlonzoEra c) → TxBody (AlonzoEra c) → Value (AlonzoEra c) addKeyWitnesses ∷ Tx (AlonzoEra c) → Set (WitVKey 'Witness (Crypto (AlonzoEra c))) → Tx (AlonzoEra c) evaluateTransactionBalance ∷ PParams (AlonzoEra c) → UTxO (AlonzoEra c) → (KeyHash 'StakePool (Crypto (AlonzoEra c)) → Bool) → TxBody (AlonzoEra c) → Value (AlonzoEra c) evaluateTransactionFee ∷ PParams (AlonzoEra c) → Tx (AlonzoEra c) → Word → Coin evaluateMinLovelaceOutput ∷ PParams (AlonzoEra c) → TxOut (AlonzoEra c) → Coin
Crypto c ⇒ SupportsSegWit (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Associated Types type TxSeq (AlonzoEra c) = (r ∷ Type) Methods fromTxSeq ∷ TxSeq (AlonzoEra c) → StrictSeq (Tx (AlonzoEra c)) toTxSeq ∷ StrictSeq (Tx (AlonzoEra c)) → TxSeq (AlonzoEra c) hashTxSeq ∷ TxSeq (AlonzoEra c) → Hash (HASH (Crypto (AlonzoEra c))) EraIndependentBlockBody numSegComponents ∷ Word64
Crypto c ⇒ Era (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Associated Types type Crypto (AlonzoEra c) Methods getTxOutEitherAddr ∷ TxOut (AlonzoEra c) → Either (Addr (Crypto (AlonzoEra c))) (CompactAddr (Crypto (AlonzoEra c))) getTxOutAddr ∷ TxOut (AlonzoEra c) → Addr (Crypto (AlonzoEra c)) getTxOutCompactAddr ∷ TxOut (AlonzoEra c) → CompactAddr (Crypto (AlonzoEra c)) getAllTxInputs ∷ TxBody (AlonzoEra c) → Set (TxIn (Crypto (AlonzoEra c)))
Crypto c ⇒ CanStartFromGenesis (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Associated Types type AdditionalGenesisConfig (AlonzoEra c) Methods initialState ∷ ShelleyGenesis (AlonzoEra c) → AdditionalGenesisConfig (AlonzoEra c) → NewEpochState (AlonzoEra c)
ShelleyEraCrypto c ⇒ ShelleyBasedEra (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo
Crypto c ⇒ UsesPParams (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods mergePPUpdates ∷ proxy (AlonzoEra c) → PParams (AlonzoEra c) → PParamsDelta (AlonzoEra c) → PParams (AlonzoEra c)
Crypto c ⇒ UsesValue (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo
Crypto c ⇒ UsesTxOut (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods makeTxOut ∷ Proxy (AlonzoEra c) → Addr (Crypto (AlonzoEra c)) → Value (AlonzoEra c) → TxOut (AlonzoEra c)
Crypto c ⇒ ExtendedUTxO (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods txInfo ∷ PParams (AlonzoEra c) → Language → EpochInfo (Either Text) → SystemStart → UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Either (TranslationError (Crypto (AlonzoEra c))) VersionedTxInfo inputDataHashes ∷ Map (ScriptHash (Crypto (AlonzoEra c))) (Script (AlonzoEra c)) → ValidatedTx (AlonzoEra c) → UTxO (AlonzoEra c) → (Set (DataHash (Crypto (AlonzoEra c))), Set (TxIn (Crypto (AlonzoEra c)))) txscripts ∷ UTxO (AlonzoEra c) → Tx (AlonzoEra c) → Map (ScriptHash (Crypto (AlonzoEra c))) (Script (AlonzoEra c)) getAllowedSupplimentalDataHashes ∷ TxBody (AlonzoEra c) → UTxO (AlonzoEra c) → Set (DataHash (Crypto (AlonzoEra c))) getDatum ∷ Tx (AlonzoEra c) → UTxO (AlonzoEra c) → ScriptPurpose (Crypto (AlonzoEra c)) → Maybe (Data (AlonzoEra c)) getTxOutDatum ∷ TxOut (AlonzoEra c) → Datum (AlonzoEra c) allOuts ∷ TxBody (AlonzoEra c) → [TxOut (AlonzoEra c)] allSizedOuts ∷ TxBody (AlonzoEra c) → [Sized (TxOut (AlonzoEra c))]
Crypto c ⇒ ValidateScript (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo Methods scriptPrefixTag ∷ Script (AlonzoEra c) → ByteString validateScript ∷ Script (AlonzoEra c) → Tx (AlonzoEra c) → Bool hashScript ∷ Script (AlonzoEra c) → ScriptHash (Crypto (AlonzoEra c)) isNativeScript ∷ Script (AlonzoEra c) → Bool
Crypto c ⇒ GetLedgerView (AlonzoEra c)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (AlonzoEra c) → LedgerView (Crypto (AlonzoEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (AlonzoEra c)) m ⇒ Globals → NewEpochState (AlonzoEra c) → SlotNo → m (LedgerView (Crypto (AlonzoEra c)))
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (AlonzoEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source #
Crypto c ⇒ ValidateAuxiliaryData (AlonzoEra c) c
Instance details Defined in Cardano.Ledger.Alonzo Methods hashAuxiliaryData ∷ AuxiliaryData (AlonzoEra c) → AuxiliaryDataHash c validateAuxiliaryData ∷ ProtVer → AuxiliaryData (AlonzoEra c) → Bool
ShelleyBasedEra (AlonzoEra c) ⇒ TranslateEra (AlonzoEra c) WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (AlonzoEra c) WrapTx Methods translateEra ∷ TranslationContext (AlonzoEra c) → WrapTx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) WrapTx) (WrapTx (AlonzoEra c))
(Crypto c, Tx (AlonzoEra c) ~ ValidatedTx (AlonzoEra c)) ⇒ TranslateEra (AlonzoEra c) Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) Tx Methods translateEra ∷ TranslationContext (AlonzoEra c) → Tx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) Tx) (Tx (AlonzoEra c))
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source #
Instance details 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)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "BBODY" (AlonzoEra c) = AlonzoBBODY (AlonzoEra c)
type EraRule "DELEG" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "DELEG" (AlonzoEra c) = DELEG (AlonzoEra c)
type EraRule "DELEGS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "DELEGS" (AlonzoEra c) = DELEGS (AlonzoEra c)
type EraRule "DELPL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "DELPL" (AlonzoEra c) = DELPL (AlonzoEra c)
type EraRule "EPOCH" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "EPOCH" (AlonzoEra c) = EPOCH (AlonzoEra c)
type EraRule "LEDGER" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "LEDGER" (AlonzoEra c) = AlonzoLEDGER (AlonzoEra c)
type EraRule "LEDGERS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "LEDGERS" (AlonzoEra c) = LEDGERS (AlonzoEra c)
type EraRule "MIR" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "MIR" (AlonzoEra c) = MIR (AlonzoEra c)
type EraRule "NEWEPOCH" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "NEWEPOCH" (AlonzoEra c) = NEWEPOCH (AlonzoEra c)
type EraRule "NEWPP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "NEWPP" (AlonzoEra c) = NEWPP (AlonzoEra c)
type EraRule "POOL" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "POOL" (AlonzoEra c) = POOL (AlonzoEra c)
type EraRule "POOLREAP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "POOLREAP" (AlonzoEra c) = POOLREAP (AlonzoEra c)
type EraRule "PPUP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "PPUP" (AlonzoEra c) = PPUP (AlonzoEra c)
type EraRule "RUPD" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "RUPD" (AlonzoEra c) = RUPD (AlonzoEra c)
type EraRule "SNAP" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "SNAP" (AlonzoEra c) = SNAP (AlonzoEra c)
type EraRule "TICK" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "TICK" (AlonzoEra c) = TICK (AlonzoEra c)
type EraRule "TICKF" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "TICKF" (AlonzoEra c) = TICKF (AlonzoEra c)
type EraRule "UPEC" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "UPEC" (AlonzoEra c) = UPEC (AlonzoEra c)
type EraRule "UTXO" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "UTXO" (AlonzoEra c) = AlonzoUTXO (AlonzoEra c)
type EraRule "UTXOS" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "UTXOS" (AlonzoEra c) = UTXOS (AlonzoEra c)
type EraRule "UTXOW" (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type EraRule "UTXOW" (AlonzoEra c) = AlonzoUTXOW (AlonzoEra c)
type Crypto (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type Crypto (AlonzoEra c) = c
type TxSeq (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type TxSeq (AlonzoEra c) = TxSeq (AlonzoEra c)
type Tx (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type Tx (AlonzoEra c) = ValidatedTx (AlonzoEra c)
type TxBody (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type TxBody (AlonzoEra c) = TxBody (AlonzoEra c)
type PParams (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type PParams (AlonzoEra c) = PParams (AlonzoEra c)
type TxOut (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type TxOut (AlonzoEra c) = TxOut (AlonzoEra c)
type Value (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type Value (AlonzoEra c) = Value c
type Witnesses (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type Witnesses (AlonzoEra c) = TxWitness (AlonzoEra c)
type AuxiliaryData (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type AuxiliaryData (AlonzoEra c) = AuxiliaryData (AlonzoEra c)
type Script (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type Script (AlonzoEra c) = Script (AlonzoEra c)
type PParamsDelta (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type PParamsDelta (AlonzoEra c) = PParamsUpdate (AlonzoEra c)
type AdditionalGenesisConfig (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis
type TranslationContext (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext (AlonzoEra c) = AlonzoGenesis
type PreviousEra (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type PreviousEra (AlonzoEra c) = MaryEra c
type TranslationError (AlonzoEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ProposedPPUpdates = Void
type TranslationError (AlonzoEra c) PPUPState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) PPUPState = Void
type TranslationError (AlonzoEra c) UTxO
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxO = Void
type TranslationError (AlonzoEra c) UTxOState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) UTxOState = Void
type TranslationError (AlonzoEra c) LedgerState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) LedgerState = Void
type TranslationError (AlonzoEra c) EpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) EpochState = Void
type TranslationError (AlonzoEra c) ShelleyGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) ShelleyGenesis = Void
type TranslationError (AlonzoEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) NewEpochState = Void
type TranslationError (AlonzoEra c) Tx
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError
type TranslationError (AlonzoEra c) WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (AlonzoEra c) WrapTx = TranslationError (AlonzoEra c) Tx
type TranslationError (AlonzoEra c) (PParams' f)
Instance details Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) (PParams' f) = Void
type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (AlonzoEra c)) = AlonzoMeasure

data BabbageEra c #

Instances

Instances details

ShelleyEraCrypto c ⇒ ApplyBlock (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → SlotNo → EventReturnType ep (EraRule "TICK" (BabbageEra c)) (NewEpochState (BabbageEra c)) applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (BabbageEra c)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (Crypto (BabbageEra c))) (BabbageEra c) → m (EventReturnType ep (EraRule "BBODY" (BabbageEra c)) (NewEpochState (BabbageEra c))) reapplyBlock ∷ Globals → NewEpochState (BabbageEra c) → Block (BHeaderView (Crypto (BabbageEra c))) (BabbageEra c) → NewEpochState (BabbageEra c)
ShelleyEraCrypto c ⇒ ApplyTx (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods applyTx ∷ MonadError (ApplyTxError (BabbageEra c)) m ⇒ Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Tx (BabbageEra c) → m (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c))) reapplyTx ∷ MonadError (ApplyTxError (BabbageEra c)) m ⇒ Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Validated (Tx (BabbageEra c)) → m (MempoolState (BabbageEra c))
Crypto c ⇒ CLI (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods evaluateMinFee ∷ PParams (BabbageEra c) → Tx (BabbageEra c) → Coin evaluateConsumed ∷ PParams (BabbageEra c) → UTxO (BabbageEra c) → TxBody (BabbageEra c) → Value (BabbageEra c) addKeyWitnesses ∷ Tx (BabbageEra c) → Set (WitVKey 'Witness (Crypto (BabbageEra c))) → Tx (BabbageEra c) evaluateTransactionBalance ∷ PParams (BabbageEra c) → UTxO (BabbageEra c) → (KeyHash 'StakePool (Crypto (BabbageEra c)) → Bool) → TxBody (BabbageEra c) → Value (BabbageEra c) evaluateTransactionFee ∷ PParams (BabbageEra c) → Tx (BabbageEra c) → Word → Coin evaluateMinLovelaceOutput ∷ PParams (BabbageEra c) → TxOut (BabbageEra c) → Coin
Crypto c ⇒ SupportsSegWit (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Associated Types type TxSeq (BabbageEra c) = (r ∷ Type) Methods fromTxSeq ∷ TxSeq (BabbageEra c) → StrictSeq (Tx (BabbageEra c)) toTxSeq ∷ StrictSeq (Tx (BabbageEra c)) → TxSeq (BabbageEra c) hashTxSeq ∷ TxSeq (BabbageEra c) → Hash (HASH (Crypto (BabbageEra c))) EraIndependentBlockBody numSegComponents ∷ Word64
Crypto c ⇒ Era (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Associated Types type Crypto (BabbageEra c) Methods getTxOutEitherAddr ∷ TxOut (BabbageEra c) → Either (Addr (Crypto (BabbageEra c))) (CompactAddr (Crypto (BabbageEra c))) getTxOutAddr ∷ TxOut (BabbageEra c) → Addr (Crypto (BabbageEra c)) getTxOutCompactAddr ∷ TxOut (BabbageEra c) → CompactAddr (Crypto (BabbageEra c)) getAllTxInputs ∷ TxBody (BabbageEra c) → Set (TxIn (Crypto (BabbageEra c)))
Crypto c ⇒ CanStartFromGenesis (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Associated Types type AdditionalGenesisConfig (BabbageEra c) Methods initialState ∷ ShelleyGenesis (BabbageEra c) → AdditionalGenesisConfig (BabbageEra c) → NewEpochState (BabbageEra c)
ShelleyEraCrypto c ⇒ ShelleyBasedEra (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage
Crypto c ⇒ UsesPParams (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods mergePPUpdates ∷ proxy (BabbageEra c) → PParams (BabbageEra c) → PParamsDelta (BabbageEra c) → PParams (BabbageEra c)
Crypto c ⇒ UsesValue (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage
Crypto c ⇒ UsesTxOut (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods makeTxOut ∷ Proxy (BabbageEra c) → Addr (Crypto (BabbageEra c)) → Value (BabbageEra c) → TxOut (BabbageEra c)
Crypto c ⇒ ExtendedUTxO (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods txInfo ∷ PParams (BabbageEra c) → Language → EpochInfo (Either Text) → SystemStart → UTxO (BabbageEra c) → Tx (BabbageEra c) → Either (TranslationError (Crypto (BabbageEra c))) VersionedTxInfo inputDataHashes ∷ Map (ScriptHash (Crypto (BabbageEra c))) (Script (BabbageEra c)) → ValidatedTx (BabbageEra c) → UTxO (BabbageEra c) → (Set (DataHash (Crypto (BabbageEra c))), Set (TxIn (Crypto (BabbageEra c)))) txscripts ∷ UTxO (BabbageEra c) → Tx (BabbageEra c) → Map (ScriptHash (Crypto (BabbageEra c))) (Script (BabbageEra c)) getAllowedSupplimentalDataHashes ∷ TxBody (BabbageEra c) → UTxO (BabbageEra c) → Set (DataHash (Crypto (BabbageEra c))) getDatum ∷ Tx (BabbageEra c) → UTxO (BabbageEra c) → ScriptPurpose (Crypto (BabbageEra c)) → Maybe (Data (BabbageEra c)) getTxOutDatum ∷ TxOut (BabbageEra c) → Datum (BabbageEra c) allOuts ∷ TxBody (BabbageEra c) → [TxOut (BabbageEra c)] allSizedOuts ∷ TxBody (BabbageEra c) → [Sized (TxOut (BabbageEra c))]
Crypto c ⇒ ValidateScript (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage Methods scriptPrefixTag ∷ Script (BabbageEra c) → ByteString validateScript ∷ Script (BabbageEra c) → Tx (BabbageEra c) → Bool hashScript ∷ Script (BabbageEra c) → ScriptHash (Crypto (BabbageEra c)) isNativeScript ∷ Script (BabbageEra c) → Bool
Crypto c ⇒ GetLedgerView (BabbageEra c)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (BabbageEra c) → LedgerView (Crypto (BabbageEra c)) futureLedgerView ∷ MonadError (FutureLedgerViewError (BabbageEra c)) m ⇒ Globals → NewEpochState (BabbageEra c) → SlotNo → m (LedgerView (Crypto (BabbageEra c)))
PraosCrypto c ⇒ ShelleyBasedEra (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (BabbageEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (BabbageEra c) → MempoolState (BabbageEra c) → WhetherToIntervene → Tx (BabbageEra c) → Except (ApplyTxError (BabbageEra c)) (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c))) Source #
Crypto c ⇒ ValidateAuxiliaryData (BabbageEra c) c
Instance details Defined in Cardano.Ledger.Babbage Methods hashAuxiliaryData ∷ AuxiliaryData (BabbageEra c) → AuxiliaryDataHash c validateAuxiliaryData ∷ ProtVer → AuxiliaryData (BabbageEra c) → Bool
ShelleyBasedEra (BabbageEra c) ⇒ TranslateEra (BabbageEra c) WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (BabbageEra c) WrapTx Methods translateEra ∷ TranslationContext (BabbageEra c) → WrapTx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) WrapTx) (WrapTx (BabbageEra c))
(Crypto c, Tx (BabbageEra c) ~ ValidatedTx (BabbageEra c)) ⇒ TranslateEra (BabbageEra c) Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError (BabbageEra c) Tx Methods translateEra ∷ TranslationContext (BabbageEra c) → Tx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) Tx) (Tx (BabbageEra c))
PraosCrypto c ⇒ ShelleyCompatible (Praos c) (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
ShelleyCompatible p (BabbageEra c) ⇒ TxLimits (ShelleyBlock p (BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (BabbageEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (BabbageEra c))) → TxMeasure (ShelleyBlock p (BabbageEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (BabbageEra c))) → TxMeasure (ShelleyBlock p (BabbageEra c)) Source #
type EraRule "BBODY" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "BBODY" (BabbageEra c) = AlonzoBBODY (BabbageEra c)
type EraRule "DELEG" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELEG" (BabbageEra c) = DELEG (BabbageEra c)
type EraRule "DELEGS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELEGS" (BabbageEra c) = DELEGS (BabbageEra c)
type EraRule "DELPL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELPL" (BabbageEra c) = DELPL (BabbageEra c)
type EraRule "EPOCH" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "EPOCH" (BabbageEra c) = EPOCH (BabbageEra c)
type EraRule "LEDGER" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "LEDGER" (BabbageEra c) = BabbageLEDGER (BabbageEra c)
type EraRule "LEDGERS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "LEDGERS" (BabbageEra c) = LEDGERS (BabbageEra c)
type EraRule "MIR" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "MIR" (BabbageEra c) = MIR (BabbageEra c)
type EraRule "NEWEPOCH" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "NEWEPOCH" (BabbageEra c) = NEWEPOCH (BabbageEra c)
type EraRule "NEWPP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "NEWPP" (BabbageEra c) = NEWPP (BabbageEra c)
type EraRule "POOL" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "POOL" (BabbageEra c) = POOL (BabbageEra c)
type EraRule "POOLREAP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "POOLREAP" (BabbageEra c) = POOLREAP (BabbageEra c)
type EraRule "PPUP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "PPUP" (BabbageEra c) = PPUP (BabbageEra c)
type EraRule "RUPD" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "RUPD" (BabbageEra c) = RUPD (BabbageEra c)
type EraRule "SNAP" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "SNAP" (BabbageEra c) = SNAP (BabbageEra c)
type EraRule "TICK" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "TICK" (BabbageEra c) = TICK (BabbageEra c)
type EraRule "TICKF" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "TICKF" (BabbageEra c) = TICKF (BabbageEra c)
type EraRule "UPEC" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UPEC" (BabbageEra c) = UPEC (BabbageEra c)
type EraRule "UTXO" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXO" (BabbageEra c) = BabbageUTXO (BabbageEra c)
type EraRule "UTXOS" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXOS" (BabbageEra c) = BabbageUTXOS (BabbageEra c)
type EraRule "UTXOW" (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXOW" (BabbageEra c) = BabbageUTXOW (BabbageEra c)
type Crypto (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type Crypto (BabbageEra c) = c
type TxSeq (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type TxSeq (BabbageEra c) = TxSeq (BabbageEra c)
type Tx (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type Tx (BabbageEra c) = ValidatedTx (BabbageEra c)
type TxBody (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type TxBody (BabbageEra c) = TxBody (BabbageEra c)
type PParams (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type PParams (BabbageEra c) = PParams (BabbageEra c)
type TxOut (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type TxOut (BabbageEra c) = TxOut (BabbageEra c)
type Value (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type Value (BabbageEra c) = Value c
type Witnesses (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type Witnesses (BabbageEra c) = TxWitness (BabbageEra c)
type AuxiliaryData (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type AuxiliaryData (BabbageEra c) = AuxiliaryData (BabbageEra c)
type Script (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type Script (BabbageEra c) = Script (BabbageEra c)
type PParamsDelta (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type PParamsDelta (BabbageEra c) = PParamsUpdate (BabbageEra c)
type AdditionalGenesisConfig (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage type AdditionalGenesisConfig (BabbageEra c) = AlonzoGenesis
type TranslationContext (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationContext (BabbageEra c) = AlonzoGenesis
type PreviousEra (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Translation type PreviousEra (BabbageEra c) = AlonzoEra c
type TranslationError (BabbageEra c) ProposedPPUpdates
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ProposedPPUpdates = Void
type TranslationError (BabbageEra c) PPUPState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) PPUPState = Void
type TranslationError (BabbageEra c) UTxO
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxO = Void
type TranslationError (BabbageEra c) UTxOState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) UTxOState = Void
type TranslationError (BabbageEra c) LedgerState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) LedgerState = Void
type TranslationError (BabbageEra c) EpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) EpochState = Void
type TranslationError (BabbageEra c) ShelleyGenesis
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) ShelleyGenesis = Void
type TranslationError (BabbageEra c) NewEpochState
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) NewEpochState = Void
type TranslationError (BabbageEra c) Tx
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) Tx = DecoderError
type TranslationError (BabbageEra c) WrapTx
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (BabbageEra c) WrapTx = TranslationError (BabbageEra c) Tx
type TranslationError (BabbageEra c) (PParams' f)
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) (PParams' f) = Void
type TxMeasure (ShelleyBlock p (BabbageEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (BabbageEra c)) = AlonzoMeasure

type MaryEra c = ShelleyMAEra 'Mary c #

data ShelleyEra c #

Instances

Instances details

ShelleyEraCrypto crypto ⇒ ApplyBlock (ShelleyEra crypto)
Instance details Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts ∷ ∀ (ep ∷ EventPolicy). ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra crypto) → SlotNo → EventReturnType ep (EraRule "TICK" (ShelleyEra crypto)) (NewEpochState (ShelleyEra crypto)) applyBlockOpts ∷ ∀ (ep ∷ EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra crypto)) m) ⇒ ApplySTSOpts ep → Globals → NewEpochState (ShelleyEra crypto) → Block (BHeaderView (Crypto (ShelleyEra crypto))) (ShelleyEra crypto) → m (EventReturnType ep (EraRule "BBODY" (ShelleyEra crypto)) (NewEpochState (ShelleyEra crypto))) reapplyBlock ∷ Globals → NewEpochState (ShelleyEra crypto) → Block (BHeaderView (Crypto (ShelleyEra crypto))) (ShelleyEra crypto) → NewEpochState (ShelleyEra crypto)
ShelleyEraCrypto c ⇒ ApplyTx (ShelleyEra c)
Instance details 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 ⇒ CLI (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Wallet Methods evaluateMinFee ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → Coin evaluateConsumed ∷ PParams (ShelleyEra c) → UTxO (ShelleyEra c) → TxBody (ShelleyEra c) → Value (ShelleyEra c) addKeyWitnesses ∷ Tx (ShelleyEra c) → Set (WitVKey 'Witness (Crypto (ShelleyEra c))) → Tx (ShelleyEra c) evaluateTransactionBalance ∷ PParams (ShelleyEra c) → UTxO (ShelleyEra c) → (KeyHash 'StakePool (Crypto (ShelleyEra c)) → Bool) → TxBody (ShelleyEra c) → Value (ShelleyEra c) evaluateTransactionFee ∷ PParams (ShelleyEra c) → Tx (ShelleyEra c) → Word → Coin evaluateMinLovelaceOutput ∷ PParams (ShelleyEra c) → TxOut (ShelleyEra c) → Coin
Crypto c ⇒ SupportsSegWit (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Associated Types type TxSeq (ShelleyEra c) = (r ∷ Type) Methods fromTxSeq ∷ TxSeq (ShelleyEra c) → StrictSeq (Tx (ShelleyEra c)) toTxSeq ∷ StrictSeq (Tx (ShelleyEra c)) → TxSeq (ShelleyEra c) hashTxSeq ∷ TxSeq (ShelleyEra c) → Hash (HASH (Crypto (ShelleyEra c))) EraIndependentBlockBody numSegComponents ∷ Word64
Crypto c ⇒ Era (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Associated Types type Crypto (ShelleyEra c) Methods getTxOutEitherAddr ∷ TxOut (ShelleyEra c) → Either (Addr (Crypto (ShelleyEra c))) (CompactAddr (Crypto (ShelleyEra c))) getTxOutAddr ∷ TxOut (ShelleyEra c) → Addr (Crypto (ShelleyEra c)) getTxOutCompactAddr ∷ TxOut (ShelleyEra c) → CompactAddr (Crypto (ShelleyEra c)) getAllTxInputs ∷ TxBody (ShelleyEra c) → Set (TxIn (Crypto (ShelleyEra c)))
(Crypto c, Default (State (EraRule "PPUP" (ShelleyEra c)))) ⇒ CanStartFromGenesis (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Methods initialState ∷ ShelleyGenesis (ShelleyEra c) → AdditionalGenesisConfig (ShelleyEra c) → NewEpochState (ShelleyEra c)
(Crypto crypto, DSignable crypto (Hash crypto EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra crypto)
Instance details Defined in Cardano.Ledger.Shelley.API
Crypto c ⇒ UsesPParams (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Methods mergePPUpdates ∷ proxy (ShelleyEra c) → PParams (ShelleyEra c) → PParamsDelta (ShelleyEra c) → PParams (ShelleyEra c)
Crypto c ⇒ UsesValue (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley
Crypto c ⇒ UsesTxOut (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Methods makeTxOut ∷ Proxy (ShelleyEra c) → Addr (Crypto (ShelleyEra c)) → Value (ShelleyEra c) → TxOut (ShelleyEra c)
(Crypto c, UsesTxBody (ShelleyEra c)) ⇒ ValidateScript (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley Methods scriptPrefixTag ∷ Script (ShelleyEra c) → ByteString validateScript ∷ Script (ShelleyEra c) → Tx (ShelleyEra c) → Bool hashScript ∷ Script (ShelleyEra c) → ScriptHash (Crypto (ShelleyEra c)) isNativeScript ∷ Script (ShelleyEra c) → Bool
Crypto crypto ⇒ GetLedgerView (ShelleyEra crypto)
Instance details Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView ∷ NewEpochState (ShelleyEra crypto) → LedgerView (Crypto (ShelleyEra crypto)) futureLedgerView ∷ MonadError (FutureLedgerViewError (ShelleyEra crypto)) m ⇒ Globals → NewEpochState (ShelleyEra crypto) → SlotNo → m (LedgerView (Crypto (ShelleyEra crypto)))
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (ShelleyEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source #
Crypto c ⇒ ValidateAuxiliaryData (ShelleyEra c) c
Instance details Defined in Cardano.Ledger.Shelley Methods hashAuxiliaryData ∷ AuxiliaryData (ShelleyEra c) → AuxiliaryDataHash c validateAuxiliaryData ∷ ProtVer → AuxiliaryData (ShelleyEra c) → Bool
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.HFEras
ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source #
Instance details 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)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "BBODY" (ShelleyEra c) = BBODY (ShelleyEra c)
type EraRule "DELEG" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "DELEG" (ShelleyEra c) = DELEG (ShelleyEra c)
type EraRule "DELEGS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "DELEGS" (ShelleyEra c) = DELEGS (ShelleyEra c)
type EraRule "DELPL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "DELPL" (ShelleyEra c) = DELPL (ShelleyEra c)
type EraRule "EPOCH" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "EPOCH" (ShelleyEra c) = EPOCH (ShelleyEra c)
type EraRule "LEDGER" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "LEDGER" (ShelleyEra c) = LEDGER (ShelleyEra c)
type EraRule "LEDGERS" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "LEDGERS" (ShelleyEra c) = LEDGERS (ShelleyEra c)
type EraRule "MIR" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "MIR" (ShelleyEra c) = MIR (ShelleyEra c)
type EraRule "NEWEPOCH" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "NEWEPOCH" (ShelleyEra c) = NEWEPOCH (ShelleyEra c)
type EraRule "NEWPP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "NEWPP" (ShelleyEra c) = NEWPP (ShelleyEra c)
type EraRule "POOL" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "POOL" (ShelleyEra c) = POOL (ShelleyEra c)
type EraRule "POOLREAP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "POOLREAP" (ShelleyEra c) = POOLREAP (ShelleyEra c)
type EraRule "PPUP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "PPUP" (ShelleyEra c) = PPUP (ShelleyEra c)
type EraRule "RUPD" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "RUPD" (ShelleyEra c) = RUPD (ShelleyEra c)
type EraRule "SNAP" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "SNAP" (ShelleyEra c) = SNAP (ShelleyEra c)
type EraRule "TICK" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "TICK" (ShelleyEra c) = TICK (ShelleyEra c)
type EraRule "TICKF" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "TICKF" (ShelleyEra c) = TICKF (ShelleyEra c)
type EraRule "UPEC" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "UPEC" (ShelleyEra c) = UPEC (ShelleyEra c)
type EraRule "UTXO" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "UTXO" (ShelleyEra c) = UTXO (ShelleyEra c)
type EraRule "UTXOW" (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Rules.EraMapping type EraRule "UTXOW" (ShelleyEra c) = UTXOW (ShelleyEra c)
type Crypto (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Crypto (ShelleyEra c) = c
type TxSeq (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type TxSeq (ShelleyEra c) = TxSeq (ShelleyEra c)
type Tx (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Tx (ShelleyEra c) = Tx (ShelleyEra c)
type TxBody (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type TxBody (ShelleyEra c) = TxBody (ShelleyEra c)
type PParams (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type PParams (ShelleyEra c) = PParams (ShelleyEra c)
type TxOut (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type TxOut (ShelleyEra c) = TxOut (ShelleyEra c)
type Value (ShelleyEra _c)
Instance details Defined in Cardano.Ledger.Shelley type Value (ShelleyEra _c) = Coin
type Witnesses (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Witnesses (ShelleyEra c) = WitnessSet (ShelleyEra c)
type AuxiliaryData (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type AuxiliaryData (ShelleyEra c) = Metadata (ShelleyEra c)
type Script (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type Script (ShelleyEra c) = MultiSig c
type PParamsDelta (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type PParamsDelta (ShelleyEra c) = PParamsUpdate (ShelleyEra c)
type AdditionalGenesisConfig (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = ()
type TranslationContext (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley type TranslationContext (ShelleyEra c) = ()
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type TxMeasure (ShelleyBlock p (ShelleyEra c)) = ByteSize

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 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 (ShelleyBasedEra era, GetLedgerView era, State (EraRule "PPUP" era) ~ PPUPState era, Default (State (EraRule "PPUP" era)), HasField "_maxBBSize" (PParams era) Natural, HasField "_maxBHSize" (PParams era) Natural, HasField "_maxTxSize" (PParams era) Natural, HasField "_a0" (PParams era) NonNegativeInterval, HasField "_nOpt" (PParams era) Natural, HasField "_rho" (PParams era) UnitInterval, HasField "_tau" (PParams era) UnitInterval, ValidateScript era, FromCBOR (PParams era), ToCBOR (PParams era), HasField "_protocolVersion" (PParamsDelta era) (StrictMaybe ProtVer), FromCBOR (PParamsDelta era), AdditionalGenesisConfig era ~ TranslationContext era, ToCBORGroup (TxSeq era), NoThunks (TranslationContext era), FromCBOR (Annotator (Witnesses era)), ToCBOR (Witnesses era), Eq (TxSeq era), Show (TxSeq era), FromCBOR (Annotator (TxSeq era))) ⇒ ShelleyBasedEra era where Source #

The ledger already defines ShelleyBasedEra as the top-level constraint on an era, however, 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.

By having the same name as the class defined in ledger, we can, if this class becomes redundant, switch to the ledger-defined one without having to update all the code using it. We can just export the right one from this module.

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 #

Return the name of the Shelley-based era, e.g., Shelley, Allegra, etc.

applyShelleyBasedTx ∷ Globals → LedgerEnv era → MempoolState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (MempoolState era, Validated (Tx era)) Source #

Instances

Instances details

(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AllegraEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (AllegraEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (AllegraEra c) → MempoolState (AllegraEra c) → WhetherToIntervene → Tx (AllegraEra c) → Except (ApplyTxError (AllegraEra c)) (MempoolState (AllegraEra c), Validated (Tx (AllegraEra c))) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (ShelleyEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (ShelleyEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → WhetherToIntervene → Tx (ShelleyEra c) → Except (ApplyTxError (ShelleyEra c)) (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (AlonzoEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (AlonzoEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → WhetherToIntervene → Tx (AlonzoEra c) → Except (ApplyTxError (AlonzoEra c)) (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source #
(PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) ⇒ ShelleyBasedEra (MaryEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (MaryEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (MaryEra c) → MempoolState (MaryEra c) → WhetherToIntervene → Tx (MaryEra c) → Except (ApplyTxError (MaryEra c)) (MempoolState (MaryEra c), Validated (Tx (MaryEra c))) Source #
PraosCrypto c ⇒ ShelleyBasedEra (BabbageEra c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName ∷ proxy (BabbageEra c) → Text Source # applyShelleyBasedTx ∷ Globals → LedgerEnv (BabbageEra c) → MempoolState (BabbageEra c) → WhetherToIntervene → Tx (BabbageEra c) → Except (ApplyTxError (BabbageEra c)) (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c))) Source #

newtype WrapTx era Source #

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.

Constructors

WrapTx
Fields unwrapTx ∷ Tx era

Instances

Instances details

ShelleyBasedEra (AllegraEra c) ⇒ TranslateEra (AllegraEra c) WrapTx Source #
Instance details 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))
ShelleyBasedEra (AlonzoEra c) ⇒ TranslateEra (AlonzoEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (AlonzoEra c) WrapTx Methods translateEra ∷ TranslationContext (AlonzoEra c) → WrapTx (PreviousEra (AlonzoEra c)) → Except (TranslationError (AlonzoEra c) WrapTx) (WrapTx (AlonzoEra c))
ShelleyBasedEra (MaryEra c) ⇒ TranslateEra (MaryEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (MaryEra c) WrapTx Methods translateEra ∷ TranslationContext (MaryEra c) → WrapTx (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) WrapTx) (WrapTx (MaryEra c))
ShelleyBasedEra (BabbageEra c) ⇒ TranslateEra (BabbageEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (BabbageEra c) WrapTx Methods translateEra ∷ TranslationContext (BabbageEra c) → WrapTx (PreviousEra (BabbageEra c)) → Except (TranslationError (BabbageEra c) WrapTx) (WrapTx (BabbageEra c))
type TranslationError (AllegraEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (AllegraEra c) WrapTx = TranslationError (AllegraEra c) Tx
type TranslationError (AlonzoEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (AlonzoEra c) WrapTx = TranslationError (AlonzoEra c) Tx
type TranslationError (MaryEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (MaryEra c) WrapTx = TranslationError (MaryEra c) Tx
type TranslationError (BabbageEra c) WrapTx Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras type TranslationError (BabbageEra c) WrapTx = TranslationError (BabbageEra c) Tx

Type synonyms for convenience

type EraCrypto era = Crypto era Source #

The Crypto type family conflicts with the Crypto class. To avoid having to import one or both of them qualified, define EraCrypto as an alias of the former: /return the crypto used by this era/.

Re-exports

data StandardCrypto #

Instances

Instances details

PraosCrypto StandardCrypto
Instance details Defined in Ouroboros.Consensus.Protocol.Praos
PraosCrypto StandardCrypto
Instance details Defined in Cardano.Protocol.TPraos.API
Crypto StandardCrypto
Instance details 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
Instance details Defined in Cardano.Ledger.Crypto type ADDRHASH StandardCrypto = Blake2b_224
type DSIGN StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type DSIGN StandardCrypto = Ed25519DSIGN
type HASH StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type HASH StandardCrypto = Blake2b_256
type KES StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256
type VRF StandardCrypto
Instance details Defined in Cardano.Ledger.Crypto type VRF StandardCrypto = PraosVRF

Exceptions

data UnexpectedAlonzoLedgerErrors Source #

The ledger responded with Alonzo errors we were not expecting

Instances

Instances details

Show UnexpectedAlonzoLedgerErrors Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods showsPrec ∷ Int → UnexpectedAlonzoLedgerErrors → ShowS Source # show ∷ UnexpectedAlonzoLedgerErrors → String Source # showList ∷ [UnexpectedAlonzoLedgerErrors] → ShowS Source #
Exception UnexpectedAlonzoLedgerErrors Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Eras Methods toException ∷ UnexpectedAlonzoLedgerErrors → SomeException Source # fromException ∷ SomeException → Maybe UnexpectedAlonzoLedgerErrors Source # displayException ∷ UnexpectedAlonzoLedgerErrors → String Source #