ouroboros-consensus-shelley-0.1.0.0: Shelley ledger integration in the Ouroboros consensus layer
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Shelley.Eras

Synopsis

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

applyTxMonadError (ApplyTxError (AlonzoEra c)) m ⇒ Globals → MempoolEnv (AlonzoEra c) → MempoolState (AlonzoEra c) → Tx (AlonzoEra c) → m (MempoolState (AlonzoEra c), Validated (Tx (AlonzoEra c)))

reapplyTxMonadError (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

numSegComponentsWord64

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

initialStateShelleyGenesis (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

makeTxOutProxy (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

inputDataHashesMap (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))

futureLedgerViewMonadError (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

validateAuxiliaryDataProtVer → 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 #

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

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

applyTxMonadError (ApplyTxError (BabbageEra c)) m ⇒ Globals → MempoolEnv (BabbageEra c) → MempoolState (BabbageEra c) → Tx (BabbageEra c) → m (MempoolState (BabbageEra c), Validated (Tx (BabbageEra c)))

reapplyTxMonadError (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

numSegComponentsWord64

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

initialStateShelleyGenesis (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

makeTxOutProxy (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

inputDataHashesMap (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))

futureLedgerViewMonadError (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

validateAuxiliaryDataProtVer → 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 #

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 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

applyTxMonadError (ApplyTxError (ShelleyEra c)) m ⇒ Globals → MempoolEnv (ShelleyEra c) → MempoolState (ShelleyEra c) → Tx (ShelleyEra c) → m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c)))

reapplyTxMonadError (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

numSegComponentsWord64

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

initialStateShelleyGenesis (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

makeTxOutProxy (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))

futureLedgerViewMonadError (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

validateAuxiliaryDataProtVer → 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 #

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

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

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