Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Eras
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 #
Instances
ShelleyEraCrypto c ⇒ ApplyBlock (AlonzoEra c) | |
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) | |
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) | |
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) | |
Defined in Cardano.Ledger.Alonzo | |
Crypto c ⇒ Era (AlonzoEra c) | |
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) | |
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) | |
Defined in Cardano.Ledger.Alonzo | |
Crypto c ⇒ UsesPParams (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo Methods mergePPUpdates ∷ proxy (AlonzoEra c) → PParams (AlonzoEra c) → PParamsDelta (AlonzoEra c) → PParams (AlonzoEra c) | |
Crypto c ⇒ UsesValue (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
Crypto c ⇒ UsesTxOut (AlonzoEra c) | |
Crypto c ⇒ ExtendedUTxO (AlonzoEra c) | |
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) | |
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) | |
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 # | |
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 | |
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 | |
(Crypto c, Tx (AlonzoEra c) ~ ValidatedTx (AlonzoEra c)) ⇒ TranslateEra (AlonzoEra c) Tx | |
Defined in Cardano.Ledger.Alonzo.Translation Associated Types type TranslationError (AlonzoEra c) Tx | |
(PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) ⇒ ShelleyCompatible (TPraos c) (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (AlonzoEra c) ⇒ TxLimits (ShelleyBlock p (AlonzoEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (AlonzoEra c))) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (AlonzoEra c))) → TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # | |
type EraRule "BBODY" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "DELEG" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "DELEGS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "DELPL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "EPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "LEDGER" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "LEDGERS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "MIR" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "NEWEPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "NEWPP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "POOL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "POOLREAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "PPUP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "RUPD" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "SNAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "TICK" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "TICKF" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "UPEC" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "UTXO" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "UTXOS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type EraRule "UTXOW" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type Crypto (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo type Crypto (AlonzoEra c) = c | |
type TxSeq (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type Tx (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type TxBody (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type PParams (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type TxOut (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type Value (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo type Value (AlonzoEra c) = Value c | |
type Witnesses (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type AuxiliaryData (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type Script (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type PParamsDelta (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo | |
type AdditionalGenesisConfig (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis | |
type TranslationContext (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext (AlonzoEra c) = AlonzoGenesis | |
type PreviousEra (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) PPUPState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) UTxO | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) UTxOState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) LedgerState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) EpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) ShelleyGenesis | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) NewEpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TranslationError (AlonzoEra c) Tx | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError | |
type TranslationError (AlonzoEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
type TranslationError (AlonzoEra c) (PParams' f) | |
Defined in Cardano.Ledger.Alonzo.Translation | |
type TxMeasure (ShelleyBlock p (AlonzoEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
data BabbageEra c #
Instances
ShelleyEraCrypto c ⇒ ApplyBlock (BabbageEra c) | |
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) | |
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) | |
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) | |
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 | |
Crypto c ⇒ Era (BabbageEra c) | |
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) | |
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) | |
Defined in Cardano.Ledger.Babbage | |
Crypto c ⇒ UsesPParams (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage Methods mergePPUpdates ∷ proxy (BabbageEra c) → PParams (BabbageEra c) → PParamsDelta (BabbageEra c) → PParams (BabbageEra c) | |
Crypto c ⇒ UsesValue (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
Crypto c ⇒ UsesTxOut (BabbageEra c) | |
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) | |
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) | |
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) | |
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 # | |
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 | |
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 | |
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 | |
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 # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
(PraosCrypto c, PraosCrypto c) ⇒ ShelleyCompatible (TPraos c) (BabbageEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (BabbageEra c) ⇒ TxLimits (ShelleyBlock p (BabbageEra c)) Source # | |
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) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "DELEG" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "DELEGS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "DELPL" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "EPOCH" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "LEDGER" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "LEDGERS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "MIR" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "NEWEPOCH" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "NEWPP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "POOL" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "POOLREAP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "PPUP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "RUPD" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "SNAP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "TICK" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "TICKF" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "UPEC" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "UTXO" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "UTXOS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type EraRule "UTXOW" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type Crypto (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage type Crypto (BabbageEra c) = c | |
type TxSeq (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type Tx (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type TxBody (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type PParams (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type TxOut (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type Value (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage type Value (BabbageEra c) = Value c | |
type Witnesses (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type AuxiliaryData (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type Script (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type PParamsDelta (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage | |
type AdditionalGenesisConfig (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage type AdditionalGenesisConfig (BabbageEra c) = AlonzoGenesis | |
type TranslationContext (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Translation type TranslationContext (BabbageEra c) = AlonzoGenesis | |
type PreviousEra (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) PPUPState | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) UTxO | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) UTxOState | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) LedgerState | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) EpochState | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) ShelleyGenesis | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) NewEpochState | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TranslationError (BabbageEra c) Tx | |
Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) Tx = DecoderError | |
type TranslationError (BabbageEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
type TranslationError (BabbageEra c) (PParams' f) | |
Defined in Cardano.Ledger.Babbage.Translation | |
type TxMeasure (ShelleyBlock p (BabbageEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
data ShelleyEra c #
Instances
ShelleyEraCrypto crypto ⇒ ApplyBlock (ShelleyEra crypto) | |
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) | |
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) | |
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) | |
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 | |
Crypto c ⇒ Era (ShelleyEra c) | |
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) | |
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) | |
Defined in Cardano.Ledger.Shelley.API | |
Crypto c ⇒ UsesPParams (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley Methods mergePPUpdates ∷ proxy (ShelleyEra c) → PParams (ShelleyEra c) → PParamsDelta (ShelleyEra c) → PParams (ShelleyEra c) | |
Crypto c ⇒ UsesValue (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
Crypto c ⇒ UsesTxOut (ShelleyEra c) | |
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) | |
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) | |
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 # | |
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 | |
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 # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
ShelleyCompatible p (ShelleyEra c) ⇒ TxLimits (ShelleyBlock p (ShelleyEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # Methods txMeasure ∷ Validated (GenTx (ShelleyBlock p (ShelleyEra c))) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # txsBlockCapacity ∷ Ticked (LedgerState (ShelleyBlock p (ShelleyEra c))) → TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # | |
type EraRule "BBODY" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "DELEG" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "DELEGS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "DELPL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "EPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "LEDGER" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "LEDGERS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "MIR" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "NEWEPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "NEWPP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "POOL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "POOLREAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "PPUP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "RUPD" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "SNAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "TICK" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "TICKF" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "UPEC" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "UTXO" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type EraRule "UTXOW" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Rules.EraMapping | |
type Crypto (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley type Crypto (ShelleyEra c) = c | |
type TxSeq (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type Tx (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type TxBody (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type PParams (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type TxOut (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type Value (ShelleyEra _c) | |
Defined in Cardano.Ledger.Shelley type Value (ShelleyEra _c) = Coin | |
type Witnesses (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type AuxiliaryData (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type Script (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley type Script (ShelleyEra c) = MultiSig c | |
type PParamsDelta (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley | |
type AdditionalGenesisConfig (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = () | |
type TranslationContext (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley type TranslationContext (ShelleyEra c) = () | |
type TxMeasure (ShelleyBlock p (ShelleyEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool |
Eras instantiated with standard crypto
type StandardAllegra = AllegraEra StandardCrypto Source #
The Allegra era with standard crypto
type StandardAlonzo = AlonzoEra StandardCrypto Source #
The Alonzo era with standard crypto
type StandardBabbage = BabbageEra StandardCrypto Source #
The Babbage era with standard crypto
type 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 #
applyShelleyBasedTx ∷ Globals → LedgerEnv era → MempoolState era → WhetherToIntervene → Tx era → Except (ApplyTxError era) (MempoolState era, Validated (Tx era)) Source #
Instances
Wrapper for partially applying the Tx
type family
For generality, Consensus uses that type family as eg the index of
TranslateEra
. We thus need to partially apply it.
cardano-ledger-specs
also declares such a newtype, but currently it's only
defined in the Alonzo translation module, which seems somewhat inappropriate
to use for previous eras. Also, we use a Wrap
prefix in Consensus. Hence
this minor mediating definition. TODO I'm not even fully persuading myself
with this justification.
Instances
Type synonyms for convenience
Re-exports
data StandardCrypto #
Instances
PraosCrypto StandardCrypto | |
Defined in Ouroboros.Consensus.Protocol.Praos | |
PraosCrypto StandardCrypto | |
Defined in Cardano.Protocol.TPraos.API | |
Crypto StandardCrypto | |
Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto type ADDRHASH StandardCrypto type DSIGN StandardCrypto type KES StandardCrypto type VRF StandardCrypto | |
type ADDRHASH StandardCrypto | |
Defined in Cardano.Ledger.Crypto type ADDRHASH StandardCrypto = Blake2b_224 | |
type DSIGN StandardCrypto | |
Defined in Cardano.Ledger.Crypto type DSIGN StandardCrypto = Ed25519DSIGN | |
type HASH StandardCrypto | |
Defined in Cardano.Ledger.Crypto type HASH StandardCrypto = Blake2b_256 | |
type KES StandardCrypto | |
Defined in Cardano.Ledger.Crypto type KES StandardCrypto = Sum6KES Ed25519DSIGN Blake2b_256 | |
type VRF StandardCrypto | |
Defined in Cardano.Ledger.Crypto type VRF StandardCrypto = PraosVRF |
Exceptions
data UnexpectedAlonzoLedgerErrors Source #
The ledger responded with Alonzo errors we were not expecting