| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Shelley.Eras
Synopsis
- data AllegraEra c
- data AlonzoEra c
- data BabbageEra c
- data ConwayEra c
- data MaryEra era
- data ShelleyEra c
- type StandardAllegra = AllegraEra StandardCrypto
- type StandardAlonzo = AlonzoEra StandardCrypto
- type StandardBabbage = BabbageEra StandardCrypto
- type StandardConway = ConwayEra StandardCrypto
- type StandardMary = MaryEra StandardCrypto
- type StandardShelley = ShelleyEra StandardCrypto
- class (EraSegWits era, EraGov era, ApplyTx era, ApplyBlock era, EraTransition era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) => ShelleyBasedEra era where
- shelleyBasedEraName :: proxy era -> Text
- applyShelleyBasedTx :: Globals -> LedgerEnv era -> LedgerState era -> WhetherToIntervene -> Tx era -> Except (ApplyTxError era) (LedgerState era, Validated (Tx era))
- getProposedProtocolVersion :: PParamsUpdate era -> Maybe ProtVer
- newtype WrapTx era = WrapTx {
- unwrapTx :: Tx era
- type family EraCrypto era
- data StandardCrypto
- data UnexpectedAlonzoLedgerErrors
Eras based on the Shelley ledger
data AllegraEra c #
Instances
| Crypto c => Era (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era Associated Types type EraCrypto (AllegraEra c) # type PreviousEra (AllegraEra c) = (r :: Type) type ProtVerLow (AllegraEra c) :: Nat type ProtVerHigh (AllegraEra c) :: Nat | |
| Crypto c => GetLedgerView (AllegraEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (AllegraEra c) -> LedgerView (EraCrypto (AllegraEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (AllegraEra c)) m => Globals -> NewEpochState (AllegraEra c) -> SlotNo -> m (LedgerView (EraCrypto (AllegraEra c))) | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (AllegraEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (AllegraEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (AllegraEra c) -> LedgerState (AllegraEra c) -> WhetherToIntervene -> Tx (AllegraEra c) -> Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (AllegraEra c) -> Maybe ProtVer Source # | |
| ShelleyBasedEra (AllegraEra c) => TranslateEra (AllegraEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras Associated Types type TranslationError (AllegraEra c) WrapTx Methods translateEra :: TranslationContext (AllegraEra c) -> WrapTx (PreviousEra (AllegraEra c)) -> Except (TranslationError (AllegraEra c) WrapTx) (WrapTx (AllegraEra c)) | |
| (PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) => ShelleyCompatible (TPraos c) (AllegraEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| ShelleyCompatible p (AllegraEra c) => TxLimits (ShelleyBlock p (AllegraEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AllegraEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (AllegraEra c))) -> TxMeasure (ShelleyBlock p (AllegraEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (AllegraEra c))) -> TxMeasure (ShelleyBlock p (AllegraEra c)) | |
| type EraRule "BBODY" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "DELEG" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "DELEGS" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "DELPL" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "EPOCH" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "LEDGER" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "LEDGERS" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "MIR" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "NEWEPOCH" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "NEWPP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "POOL" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "POOLREAP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "PPUP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "RUPD" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "SNAP" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "TICK" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "TICKF" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "UPEC" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "UTXO" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraRule "UTXOW" (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type DowngradePParams f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams type DowngradePParams f (AllegraEra c) = () | |
| type PParamsHKD f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams | |
| type UpgradePParams f (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams type UpgradePParams f (AllegraEra c) = () | |
| type NativeScript (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| type Script (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Scripts | |
| type Tx (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Tx | |
| type TxAuxData (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxAuxData | |
| type TxBody (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
| type TxBodyUpgradeError (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxBody | |
| type TxOut (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxOut | |
| type TxSeq (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxSeq | |
| type TxUpgradeError (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Tx | |
| type TxWits (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxWits | |
| type Value (AllegraEra _1) | |
Defined in Cardano.Ledger.Allegra.Era type Value (AllegraEra _1) = Coin | |
| type EraCrypto (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type PreviousEra (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type ProtVerHigh (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type ProtVerLow (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era type ProtVerLow (AllegraEra c) = 3 | |
| type TranslationContext (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era type TranslationContext (AllegraEra c) = () | |
| type TxCert (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxCert | |
| type TxCertUpgradeError (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.TxCert | |
| type ScriptsNeeded (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.UTxO | |
| type AdditionalGenesisConfig (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra type AdditionalGenesisConfig (AllegraEra c) = () | |
| type GovState (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams | |
| newtype TransitionConfig (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig {
| |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TranslationError (AllegraEra c) CertState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) CommitteeState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) DState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) PState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) VState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) PParams | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) PParamsUpdate | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) UTxO | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) ShelleyGovState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) EpochState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) LedgerState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) NewEpochState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) UTxOState | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) Update | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) ShelleyTx | |
Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTx = DecoderError | |
| type TranslationError (AllegraEra c) ShelleyTxOut | |
Defined in Cardano.Ledger.Allegra.Translation | |
| type TranslationError (AllegraEra c) ShelleyTxWits | |
Defined in Cardano.Ledger.Allegra.Translation type TranslationError (AllegraEra c) ShelleyTxWits = DecoderError | |
| type TranslationError (AllegraEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
| type TxMeasure (ShelleyBlock p (AllegraEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) Source # | Parameters needed to run Allegra |
Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AllegraEra c)) = ProtocolParamsAllegra {
| |
Instances
| Crypto c => AlonzoEraTx (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL :: Lens' (Tx (AlonzoEra c)) IsValid | |
| (EraScript (AlonzoEra c), Crypto c) => AlonzoEraTxWits (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL :: Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) rdmrsTxWitsL :: Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) | |
| Crypto c => AlonzoEraUTxO (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.UTxO | |
| Crypto c => Era (AlonzoEra c) | |
| Crypto c => GetLedgerView (AlonzoEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (AlonzoEra c) -> LedgerView (EraCrypto (AlonzoEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (AlonzoEra c)) m => Globals -> NewEpochState (AlonzoEra c) -> SlotNo -> m (LedgerView (EraCrypto (AlonzoEra c))) | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (AlonzoEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (AlonzoEra c) -> LedgerState (AlonzoEra c) -> WhetherToIntervene -> Tx (AlonzoEra c) -> Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (AlonzoEra c) -> Maybe ProtVer Source # | |
| Crypto c => TranslateEra (AlonzoEra c) Tx | |
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)) | |
| ShelleyBasedEra (AlonzoEra c) => TranslateEra (AlonzoEra c) WrapTx | |
| (PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) => ShelleyCompatible (TPraos c) (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| Crypto c => ToJSON (AlonzoPParams Identity (AlonzoEra c)) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON :: AlonzoPParams Identity (AlonzoEra c) -> Value toEncoding :: AlonzoPParams Identity (AlonzoEra c) -> Encoding toJSONList :: [AlonzoPParams Identity (AlonzoEra c)] -> Value toEncodingList :: [AlonzoPParams Identity (AlonzoEra c)] -> Encoding | |
| Crypto c => ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c)) | |
Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Value toEncoding :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Encoding toJSONList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Value toEncodingList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Encoding omitField :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Bool | |
| ShelleyCompatible p (AlonzoEra c) => TxLimits (ShelleyBlock p (AlonzoEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (AlonzoEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (AlonzoEra c))) -> TxMeasure (ShelleyBlock p (AlonzoEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (AlonzoEra c))) -> TxMeasure (ShelleyBlock p (AlonzoEra c)) | |
| type EraRule "BBODY" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "DELEG" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "DELEGS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "DELPL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "EPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "LEDGER" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "LEDGERS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "MIR" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "NEWEPOCH" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "NEWPP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "POOL" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "POOLREAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "PPUP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "RUPD" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "SNAP" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "TICK" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "TICKF" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "UPEC" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "UTXO" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "UTXOS" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraRule "UTXOW" (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type DowngradePParams f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams type DowngradePParams f (AlonzoEra c) = DowngradeAlonzoPParams f | |
| type PParamsHKD f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| type UpgradePParams f (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams type UpgradePParams f (AlonzoEra c) = UpgradeAlonzoPParams f | |
| type Rep (TransitionConfig (AlonzoEra c)) | |
Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig (AlonzoEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.5.1.0-23cla4UOUlaLTpzXjeI3CP" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (MaryEra c))))) | |
| type NativeScript (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
| type Script (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Scripts | |
| type Tx (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Tx | |
| type TxAuxData (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| type TxBody (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxBody | |
| type TxBodyUpgradeError (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxBody type TxBodyUpgradeError (AlonzoEra c) = AlonzoTxBodyUpgradeError | |
| type TxOut (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxOut | |
| type TxSeq (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxSeq | |
| type TxUpgradeError (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Tx type TxUpgradeError (AlonzoEra c) = AlonzoTxUpgradeError | |
| type TxWits (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxWits | |
| type Value (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type Value (AlonzoEra c) = MaryValue c | |
| type EraCrypto (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type PreviousEra (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type ProtVerHigh (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type ProtVerHigh (AlonzoEra c) = 6 | |
| type ProtVerLow (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era type ProtVerLow (AlonzoEra c) = 5 | |
| type TranslationContext (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationContext (AlonzoEra c) = AlonzoGenesis | |
| type TxCert (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxCert | |
| type TxCertUpgradeError (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.TxCert | |
| type ScriptsNeeded (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.UTxO | |
| type AdditionalGenesisConfig (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo type AdditionalGenesisConfig (AlonzoEra c) = AlonzoGenesis | |
| type GovState (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| data TransitionConfig (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig {
| |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TranslationError (AlonzoEra c) Tx | |
Defined in Cardano.Ledger.Alonzo.Translation type TranslationError (AlonzoEra c) Tx = DecoderError | |
| type TranslationError (AlonzoEra c) CertState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) CommitteeState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) DState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) PState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) VState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) PParams | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) UTxO | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) ShelleyGovState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) EpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) LedgerState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) NewEpochState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) UTxOState | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Alonzo.Translation | |
| type TranslationError (AlonzoEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
| type TxMeasure (ShelleyBlock p (AlonzoEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) Source # | Parameters needed to run Alonzo |
Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (AlonzoEra c)) = ProtocolParamsAlonzo {
| |
data BabbageEra c #
Instances
| Crypto c => Era (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era Associated Types type EraCrypto (BabbageEra c) # type PreviousEra (BabbageEra c) = (r :: Type) type ProtVerLow (BabbageEra c) :: Nat type ProtVerHigh (BabbageEra c) :: Nat | |
| Crypto c => GetLedgerView (BabbageEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (BabbageEra c) -> LedgerView (EraCrypto (BabbageEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (BabbageEra c)) m => Globals -> NewEpochState (BabbageEra c) -> SlotNo -> m (LedgerView (EraCrypto (BabbageEra c))) | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| PraosCrypto c => ShelleyBasedEra (BabbageEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (BabbageEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (BabbageEra c) -> LedgerState (BabbageEra c) -> WhetherToIntervene -> Tx (BabbageEra c) -> Except (ApplyTxError (BabbageEra c)) (LedgerState (BabbageEra c), Validated (Tx (BabbageEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (BabbageEra c) -> Maybe ProtVer Source # | |
| Crypto 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)) | |
| 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)) | |
| 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)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (BabbageEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (BabbageEra c))) -> TxMeasure (ShelleyBlock p (BabbageEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (BabbageEra c))) -> TxMeasure (ShelleyBlock p (BabbageEra c)) | |
| type EraRule "BBODY" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "DELEG" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "DELEGS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "DELPL" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "EPOCH" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "LEDGER" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "LEDGERS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "MIR" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "NEWEPOCH" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "NEWPP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "POOL" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "POOLREAP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "PPUP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "RUPD" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "SNAP" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "TICK" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "TICKF" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "UPEC" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "UTXO" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "UTXOS" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraRule "UTXOW" (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type DowngradePParams f (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.PParams type DowngradePParams f (BabbageEra c) = DowngradeBabbagePParams f | |
| type PParamsHKD f (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.PParams | |
| type UpgradePParams f (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.PParams type UpgradePParams f (BabbageEra c) = () | |
| type NativeScript (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Scripts | |
| type Script (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Scripts | |
| type Tx (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Tx | |
| type TxAuxData (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxAuxData | |
| type TxBody (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxBody | |
| type TxBodyUpgradeError (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxBody type TxBodyUpgradeError (BabbageEra c) = BabbageTxBodyUpgradeError | |
| type TxOut (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxOut | |
| type TxSeq (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Tx | |
| type TxUpgradeError (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Tx type TxUpgradeError (BabbageEra c) = BabbageTxUpgradeError | |
| type TxWits (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxWits | |
| type Value (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era type Value (BabbageEra c) = MaryValue c | |
| type EraCrypto (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type PreviousEra (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type ProtVerHigh (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era type ProtVerHigh (BabbageEra c) = 8 | |
| type ProtVerLow (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era type ProtVerLow (BabbageEra c) = 7 | |
| type TranslationContext (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Translation type TranslationContext (BabbageEra c) = () | |
| type TxCert (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxCert | |
| type TxCertUpgradeError (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.TxCert | |
| type ScriptsNeeded (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.UTxO | |
| type AdditionalGenesisConfig (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage type AdditionalGenesisConfig (BabbageEra c) = AlonzoGenesis | |
| type GovState (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.PParams | |
| newtype TransitionConfig (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig {
| |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TranslationError (BabbageEra c) Tx | |
Defined in Cardano.Ledger.Babbage.Translation type TranslationError (BabbageEra c) Tx = DecoderError | |
| type TranslationError (BabbageEra c) CertState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) CommitteeState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) DState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) PState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) VState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) PParams | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) UTxO | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) ShelleyGovState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) EpochState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) LedgerState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) NewEpochState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) UTxOState | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Babbage.Translation | |
| type TranslationError (BabbageEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
| type TxMeasure (ShelleyBlock p (BabbageEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (BabbageEra c)) = ProtocolParamsBabbage {
| |
Instances
| Crypto c => ConwayEraGov (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Governance Methods constitutionGovStateL :: Lens' (GovState (ConwayEra c)) (Constitution (ConwayEra c)) proposalsGovStateL :: Lens' (GovState (ConwayEra c)) (Proposals (ConwayEra c)) drepPulsingStateGovStateL :: Lens' (GovState (ConwayEra c)) (DRepPulsingState (ConwayEra c)) enactStateGovStateL :: Lens' (GovState (ConwayEra c)) (EnactState (ConwayEra c)) | |
| Crypto c => ConwayEraPParams (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.PParams Methods modifiedPPGroups :: PParamsUpdate (ConwayEra c) -> Set PPGroup ppuWellFormed :: PParamsUpdate (ConwayEra c) -> Bool hkdPoolVotingThresholdsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f PoolVotingThresholds) hkdDRepVotingThresholdsL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f DRepVotingThresholds) hkdCommitteeMinSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f Natural) hkdCommitteeMaxTermLengthL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochNo) hkdGovActionLifetimeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochNo) hkdGovActionDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) hkdDRepDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f Coin) hkdDRepActivityL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f (ConwayEra c)) (HKD f EpochNo) | |
| Crypto c => ConwayEraTxBody (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxBody Methods currentTreasuryValueTxBodyL :: Lens' (TxBody (ConwayEra c)) (StrictMaybe Coin) votingProceduresTxBodyL :: Lens' (TxBody (ConwayEra c)) (VotingProcedures (ConwayEra c)) proposalProceduresTxBodyL :: Lens' (TxBody (ConwayEra c)) (OSet (ProposalProcedure (ConwayEra c))) treasuryDonationTxBodyL :: Lens' (TxBody (ConwayEra c)) Coin | |
| Crypto c => ConwayEraTxCert (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) getRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) mkUnRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) getUnRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) mkDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c) getDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) mkRegDepositDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) getRegDepositDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c) getAuthCommitteeHotKeyTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) getResignCommitteeColdTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) mkRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) getRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) mkUnRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) getUnRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) mkUpdateDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) getUpdateDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) | |
| Crypto c => Era (ConwayEra c) | |
| Crypto c => GetLedgerView (ConwayEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (ConwayEra c) -> LedgerView (EraCrypto (ConwayEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (ConwayEra c)) m => Globals -> NewEpochState (ConwayEra c) -> SlotNo -> m (LedgerView (EraCrypto (ConwayEra c))) | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| PraosCrypto c => ShelleyBasedEra (ConwayEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (ConwayEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (ConwayEra c) -> LedgerState (ConwayEra c) -> WhetherToIntervene -> Tx (ConwayEra c) -> Except (ApplyTxError (ConwayEra c)) (LedgerState (ConwayEra c), Validated (Tx (ConwayEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (ConwayEra c) -> Maybe ProtVer Source # | |
| Crypto c => TranslateEra (ConwayEra c) Tx | |
Defined in Cardano.Ledger.Conway.Translation Associated Types type TranslationError (ConwayEra c) Tx Methods translateEra :: TranslationContext (ConwayEra c) -> Tx (PreviousEra (ConwayEra c)) -> Except (TranslationError (ConwayEra c) Tx) (Tx (ConwayEra c)) | |
| ShelleyBasedEra (ConwayEra c) => TranslateEra (ConwayEra c) WrapTx | |
| PraosCrypto c => ShelleyCompatible (Praos c) (ConwayEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| (PraosCrypto c, PraosCrypto c) => ShelleyCompatible (TPraos c) (ConwayEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| Crypto c => ToJSON (ConwayPParams Identity (ConwayEra c)) | |
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: ConwayPParams Identity (ConwayEra c) -> Value toEncoding :: ConwayPParams Identity (ConwayEra c) -> Encoding toJSONList :: [ConwayPParams Identity (ConwayEra c)] -> Value toEncodingList :: [ConwayPParams Identity (ConwayEra c)] -> Encoding | |
| ShelleyCompatible p (ConwayEra c) => TxLimits (ShelleyBlock p (ConwayEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ConwayEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (ConwayEra c))) -> TxMeasure (ShelleyBlock p (ConwayEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (ConwayEra c))) -> TxMeasure (ShelleyBlock p (ConwayEra c)) | |
| type EraRule "BBODY" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "CERT" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "CERTS" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "DELEG" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "ENACT" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "EPOCH" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "GOV" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "GOVCERT" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "LEDGER" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "LEDGERS" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "NEWEPOCH" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "POOL" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "POOLREAP" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "RATIFY" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "RUPD" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "SNAP" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "TICK" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "TICKF" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "UTXO" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "UTXOS" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraRule "UTXOW" (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type DowngradePParams f (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.PParams type DowngradePParams f (ConwayEra c) = () | |
| type PParamsHKD f (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.PParams | |
| type UpgradePParams f (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.PParams type UpgradePParams f (ConwayEra c) = UpgradeConwayPParams f | |
| type Rep (TransitionConfig (ConwayEra c)) | |
Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.11.0.0-F8O0FoT5ogwExxzG99IW1C" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGenesis c)) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (BabbageEra c))))) | |
| type NativeScript (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Scripts | |
| type Script (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Scripts | |
| type Tx (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Tx | |
| type TxAuxData (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxAuxData | |
| type TxBody (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxBody | |
| type TxBodyUpgradeError (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxBody type TxBodyUpgradeError (ConwayEra c) = ConwayTxBodyUpgradeError | |
| type TxOut (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxOut | |
| type TxSeq (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Tx | |
| type TxUpgradeError (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Tx | |
| type TxWits (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxWits | |
| type Value (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era type Value (ConwayEra c) = MaryValue c | |
| type EraCrypto (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type PreviousEra (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type ProtVerHigh (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type ProtVerLow (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era type ProtVerLow (ConwayEra c) = 9 | |
| type TranslationContext (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Translation type TranslationContext (ConwayEra c) = ConwayGenesis c | |
| type TxCert (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxCert | |
| type TxCertUpgradeError (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxCert type TxCertUpgradeError (ConwayEra c) = ConwayTxCertUpgradeError | |
| type ScriptsNeeded (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.UTxO | |
| type AdditionalGenesisConfig (ConwayEra c) | |
Defined in Cardano.Ledger.Conway type AdditionalGenesisConfig (ConwayEra c) = ConwayGenesis c | |
| type GovState (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Governance | |
| data TransitionConfig (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Transition data TransitionConfig (ConwayEra c) = ConwayTransitionConfig {
| |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TranslationError (ConwayEra c) Tx | |
Defined in Cardano.Ledger.Conway.Translation type TranslationError (ConwayEra c) Tx = DecoderError | |
| type TranslationError (ConwayEra c) CertState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) CommitteeState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) DState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) PState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) VState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) PParams | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) UTxO | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) EpochState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) LedgerState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) NewEpochState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) UTxOState | |
Defined in Cardano.Ledger.Conway.Translation | |
| type TranslationError (ConwayEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
| type TxMeasure (ShelleyBlock p (ConwayEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) Source # | |
Defined in Ouroboros.Consensus.Shelley.Node.Praos data ProtocolParams (ShelleyBlock (Praos c) (ConwayEra c)) = ProtocolParamsConway {
| |
Instances
| Crypto c => Era (MaryEra c) | |
| Crypto c => GetLedgerView (MaryEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (MaryEra c) -> LedgerView (EraCrypto (MaryEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (MaryEra c)) m => Globals -> NewEpochState (MaryEra c) -> SlotNo -> m (LedgerView (EraCrypto (MaryEra c))) | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (MaryEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (MaryEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (MaryEra c) -> LedgerState (MaryEra c) -> WhetherToIntervene -> Tx (MaryEra c) -> Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (MaryEra c) -> Maybe ProtVer Source # | |
| ShelleyBasedEra (MaryEra c) => TranslateEra (MaryEra c) WrapTx | |
| (PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) => ShelleyCompatible (TPraos c) (MaryEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| ShelleyCompatible p (MaryEra c) => TxLimits (ShelleyBlock p (MaryEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (MaryEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (MaryEra c))) -> TxMeasure (ShelleyBlock p (MaryEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (MaryEra c))) -> TxMeasure (ShelleyBlock p (MaryEra c)) | |
| type EraRule "BBODY" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "DELEG" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "DELEGS" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "DELPL" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "EPOCH" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "LEDGER" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "LEDGERS" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "MIR" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "NEWEPOCH" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "NEWPP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "POOL" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "POOLREAP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "PPUP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "RUPD" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "SNAP" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "TICK" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "TICKF" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "UPEC" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "UTXO" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraRule "UTXOW" (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type DowngradePParams f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams type DowngradePParams f (MaryEra c) = () | |
| type PParamsHKD f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams | |
| type UpgradePParams f (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams type UpgradePParams f (MaryEra c) = () | |
| type NativeScript (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Scripts | |
| type Script (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Scripts | |
| type Tx (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Tx | |
| type TxAuxData (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxAuxData | |
| type TxBody (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxBody | |
| type TxBodyUpgradeError (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxBody | |
| type TxOut (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxOut | |
| type TxSeq (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxSeq | |
| type TxUpgradeError (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Tx | |
| type TxWits (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxWits | |
| type Value (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type Value (MaryEra c) = MaryValue c | |
| type EraCrypto (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type PreviousEra (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type ProtVerHigh (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type ProtVerLow (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type ProtVerLow (MaryEra c) = 4 | |
| type TranslationContext (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era type TranslationContext (MaryEra c) = () | |
| type TxCert (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxCert | |
| type TxCertUpgradeError (MaryEra c) | |
Defined in Cardano.Ledger.Mary.TxCert | |
| type ScriptsNeeded (MaryEra c) | |
Defined in Cardano.Ledger.Mary.UTxO | |
| type AdditionalGenesisConfig (MaryEra c) | |
Defined in Cardano.Ledger.Mary type AdditionalGenesisConfig (MaryEra c) = () | |
| type GovState (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams | |
| newtype TransitionConfig (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig (MaryEra c) = MaryTransitionConfig {
| |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TranslationError (MaryEra c) Timelock | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) AllegraTxAuxData | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) CertState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) CommitteeState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) DState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) PState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) VState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) PParams | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) PParamsUpdate | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) UTxO | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) ShelleyGovState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) EpochState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) LedgerState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) NewEpochState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) UTxOState | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) ProposedPPUpdates | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) Update | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) ShelleyTx | |
Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTx = DecoderError | |
| type TranslationError (MaryEra c) ShelleyTxOut | |
Defined in Cardano.Ledger.Mary.Translation | |
| type TranslationError (MaryEra c) ShelleyTxWits | |
Defined in Cardano.Ledger.Mary.Translation type TranslationError (MaryEra c) ShelleyTxWits = DecoderError | |
| type TranslationError (MaryEra c) WrapTx | |
Defined in Ouroboros.Consensus.Shelley.Eras | |
| type TxMeasure (ShelleyBlock p (MaryEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) Source # | Parameters needed to run Mary |
Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (MaryEra c)) = ProtocolParamsMary {
| |
data ShelleyEra c #
Instances
| Crypto c => FromJSON (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON :: Value -> Parser (TransitionConfig (ShelleyEra c)) parseJSONList :: Value -> Parser [TransitionConfig (ShelleyEra c)] omittedField :: Maybe (TransitionConfig (ShelleyEra c)) | |
| Crypto c => ToJSON (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition Methods toJSON :: TransitionConfig (ShelleyEra c) -> Value toEncoding :: TransitionConfig (ShelleyEra c) -> Encoding toJSONList :: [TransitionConfig (ShelleyEra c)] -> Value toEncodingList :: [TransitionConfig (ShelleyEra c)] -> Encoding omitField :: TransitionConfig (ShelleyEra c) -> Bool | |
| Generic (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition Methods from :: TransitionConfig (ShelleyEra c) -> Rep (TransitionConfig (ShelleyEra c)) x Source # to :: Rep (TransitionConfig (ShelleyEra c)) x -> TransitionConfig (ShelleyEra c) Source # | |
| Crypto c => Show (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition | |
| Crypto c => Era (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era Associated Types type EraCrypto (ShelleyEra c) # type PreviousEra (ShelleyEra c) = (r :: Type) type ProtVerLow (ShelleyEra c) :: Nat type ProtVerHigh (ShelleyEra c) :: Nat | |
| Crypto c => CanStartFromGenesis (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Genesis Associated Types type AdditionalGenesisConfig (ShelleyEra c) Methods fromShelleyPParams :: AdditionalGenesisConfig (ShelleyEra c) -> PParams (ShelleyEra (EraCrypto (ShelleyEra c))) -> PParams (ShelleyEra c) initialState :: ShelleyGenesis (EraCrypto (ShelleyEra c)) -> AdditionalGenesisConfig (ShelleyEra c) -> NewEpochState (ShelleyEra c) | |
| (EraPParams (ShelleyEra c), DSignable c (Hash c EraIndependentTxBody)) => ApplyTx (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Mempool Methods applyTx :: MonadError (ApplyTxError (ShelleyEra c)) m => Globals -> MempoolEnv (ShelleyEra c) -> MempoolState (ShelleyEra c) -> Tx (ShelleyEra c) -> m (MempoolState (ShelleyEra c), Validated (Tx (ShelleyEra c))) reapplyTx :: MonadError (ApplyTxError (ShelleyEra c)) m => Globals -> MempoolEnv (ShelleyEra c) -> MempoolState (ShelleyEra c) -> Validated (Tx (ShelleyEra c)) -> m (MempoolState (ShelleyEra c)) | |
| (Crypto c, DSignable c (Hash c EraIndependentTxBody)) => ApplyBlock (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Validation Methods applyTickOpts :: forall (ep :: EventPolicy). ApplySTSOpts ep -> Globals -> NewEpochState (ShelleyEra c) -> SlotNo -> EventReturnType ep (EraRule "TICK" (ShelleyEra c)) (NewEpochState (ShelleyEra c)) applyBlockOpts :: forall (ep :: EventPolicy) m. (EventReturnTypeRep ep, MonadError (BlockTransitionError (ShelleyEra c)) m) => ApplySTSOpts ep -> Globals -> NewEpochState (ShelleyEra c) -> Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) -> m (EventReturnType ep (EraRule "BBODY" (ShelleyEra c)) (NewEpochState (ShelleyEra c))) reapplyBlock :: Globals -> NewEpochState (ShelleyEra c) -> Block (BHeaderView (EraCrypto (ShelleyEra c))) (ShelleyEra c) -> NewEpochState (ShelleyEra c) | |
| Crypto c => EraGov (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Governance Associated Types type GovState (ShelleyEra c) = (r :: Type) Methods emptyGovState :: GovState (ShelleyEra c) getProposedPPUpdates :: GovState (ShelleyEra c) -> Maybe (ProposedPPUpdates (ShelleyEra c)) getConstitution :: GovState (ShelleyEra c) -> Maybe (Constitution (ShelleyEra c)) getCommitteeMembers :: GovState (ShelleyEra c) -> Maybe (Map (Credential 'ColdCommitteeRole (EraCrypto (ShelleyEra c))) EpochNo, UnitInterval) curPParamsGovStateL :: Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) prevPParamsGovStateL :: Lens' (GovState (ShelleyEra c)) (PParams (ShelleyEra c)) obligationGovState :: GovState (ShelleyEra c) -> Obligations getDRepDistr :: GovState (ShelleyEra c) -> Map (DRep (EraCrypto (ShelleyEra c))) (CompactForm Coin) | |
| Crypto c => EraTransition (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Transition Associated Types data TransitionConfig (ShelleyEra c) Methods mkTransitionConfig :: TranslationContext (ShelleyEra c) -> TransitionConfig (PreviousEra (ShelleyEra c)) -> TransitionConfig (ShelleyEra c) tcPreviousEraConfigL :: Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) tcTranslationContextL :: Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) tcShelleyGenesisL :: Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) tcInitialPParamsG :: SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) | |
| Crypto c => ShelleyEraTxCert (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) getRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c))) mkUnRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) getUnRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c))) mkDelegStakeTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> KeyHash 'StakePool (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) getDelegStakeTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) mkGenesisDelegTxCert :: GenesisDelegCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) getGenesisDelegTxCert :: TxCert (ShelleyEra c) -> Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) mkMirTxCert :: MIRCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) getMirTxCert :: TxCert (ShelleyEra c) -> Maybe (MIRCert (EraCrypto (ShelleyEra c))) | |
| Crypto c => GetLedgerView (ShelleyEra c) | |
Defined in Cardano.Protocol.TPraos.API Methods currentLedgerView :: NewEpochState (ShelleyEra c) -> LedgerView (EraCrypto (ShelleyEra c)) futureLedgerView :: MonadError (FutureLedgerViewError (ShelleyEra c)) m => Globals -> NewEpochState (ShelleyEra c) -> SlotNo -> m (LedgerView (EraCrypto (ShelleyEra c))) | |
| Crypto c => Eq (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition Methods (==) :: TransitionConfig (ShelleyEra c) -> TransitionConfig (ShelleyEra c) -> Bool Source # (/=) :: TransitionConfig (ShelleyEra c) -> TransitionConfig (ShelleyEra c) -> Bool Source # | |
| Crypto c => NoThunks (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition Methods noThunks :: Context -> TransitionConfig (ShelleyEra c) -> IO (Maybe ThunkInfo) wNoThunks :: Context -> TransitionConfig (ShelleyEra c) -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (TransitionConfig (ShelleyEra c)) -> String | |
| CardanoHardForkConstraints c => CanHardFork (CardanoEras c) | |
Defined in Ouroboros.Consensus.Cardano.CanHardFork Methods hardForkEraTranslation :: EraTranslation (CardanoEras c) hardForkChainSel :: Tails AcrossEraSelection (CardanoEras c) hardForkInjectTxs :: InPairs (RequiringBoth WrapLedgerConfig (Product2 InjectTx InjectValidatedTx)) (CardanoEras c) | |
| CardanoHardForkConstraints c => CondenseConstraints (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Condense | |
| CardanoHardForkConstraints c => SerialiseHFC (CardanoEras c) | Important: we need to maintain binary compatibility with Byron blocks, as they are already stored on disk. We also want to be able to efficiently detect (without having to peek far ahead) whether we're dealing with a Byron or Shelley block, so that we can invoke the right decoder. We plan to have a few more hard forks after Shelley (Goguen, Basho, Voltaire), so we want a future-proof envelope for distinguishing the different block types, i.e., a byte indicating the era. Byron does not provide such an envelope. However, a Byron block is a CBOR
2-tuple with the first element being a tag ( We encode a
For more details, see: https://github.com/input-output-hk/ouroboros-network/pull/1175#issuecomment-558147194 |
Defined in Ouroboros.Consensus.Cardano.Node Methods encodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> HardForkBlock (CardanoEras c) -> Encoding decodeDiskHfcBlock :: CodecConfig (HardForkBlock (CardanoEras c)) -> forall s. Decoder s (ByteString -> HardForkBlock (CardanoEras c)) reconstructHfcPrefixLen :: proxy (Header (HardForkBlock (CardanoEras c))) -> PrefixLen reconstructHfcNestedCtxt :: proxy (Header (HardForkBlock (CardanoEras c))) -> ShortByteString -> SizeInBytes -> SomeSecond (NestedCtxt Header) (HardForkBlock (CardanoEras c)) getHfcBinaryBlockInfo :: HardForkBlock (CardanoEras c) -> BinaryBlockInfo estimateHfcBlockSize :: Header (HardForkBlock (CardanoEras c)) -> SizeInBytes | |
| CardanoHardForkConstraints c => SupportedNetworkProtocolVersion (CardanoBlock c) | |
Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions :: Proxy (CardanoBlock c) -> Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) supportedNodeToClientVersions :: Proxy (CardanoBlock c) -> Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) latestReleasedNodeVersion :: Proxy (CardanoBlock c) -> (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (ShelleyEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (ShelleyEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (ShelleyEra c) -> LedgerState (ShelleyEra c) -> WhetherToIntervene -> Tx (ShelleyEra c) -> Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (ShelleyEra c) -> Maybe ProtVer Source # | |
| (PraosCrypto c, Signable (DSIGN c) (Hash (HASH c) EraIndependentTxBody)) => ShelleyCompatible (TPraos c) (ShelleyEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.HFEras | |
| ShelleyCompatible p (ShelleyEra c) => TxLimits (ShelleyBlock p (ShelleyEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool Associated Types type TxMeasure (ShelleyBlock p (ShelleyEra c)) Methods txMeasure :: Validated (GenTx (ShelleyBlock p (ShelleyEra c))) -> TxMeasure (ShelleyBlock p (ShelleyEra c)) txsBlockCapacity :: Ticked (LedgerState (ShelleyBlock p (ShelleyEra c))) -> TxMeasure (ShelleyBlock p (ShelleyEra c)) | |
| type EraRule "BBODY" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "DELEG" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "DELEGS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "DELPL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "EPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "LEDGER" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "LEDGERS" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "MIR" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "NEWEPOCH" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "NEWPP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "POOL" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "POOLREAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "PPUP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "RUPD" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "SNAP" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "TICK" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "TICKF" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "UPEC" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "UTXO" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type EraRule "UTXOW" (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type DowngradePParams f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| type PParamsHKD f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| type UpgradePParams f (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.PParams | |
| type Rep (TransitionConfig (ShelleyEra c)) | |
Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.8.0.0-163LAE5QwnDC1PvCpY1ebT" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c)))) | |
| type NativeScript (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
| type Script (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Scripts | |
| type Tx (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Tx | |
| type TxAuxData (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxAuxData | |
| type TxBody (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
| type TxBodyUpgradeError (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxBody | |
| type TxOut (ShelleyEra crypto) | |
Defined in Cardano.Ledger.Shelley.TxOut | |
| type TxSeq (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.BlockChain | |
| type TxUpgradeError (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Tx | |
| type TxWits (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxWits | |
| type Value (ShelleyEra _c) | |
Defined in Cardano.Ledger.Shelley.Era type Value (ShelleyEra _c) = Coin | |
| type EraCrypto (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type PreviousEra (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era type PreviousEra (ShelleyEra c) = ByronEra c | |
| type ProtVerHigh (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
| type ProtVerLow (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era type ProtVerLow (ShelleyEra c) = 2 | |
| type TranslationContext (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Translation type TranslationContext (ShelleyEra c) = FromByronTranslationContext c | |
| type TxCert (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| type TxCertUpgradeError (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxCert | |
| type ScriptsNeeded (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.UTxO | |
| type AdditionalGenesisConfig (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.API.Genesis type AdditionalGenesisConfig (ShelleyEra c) = () | |
| type GovState (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Governance | |
| newtype TransitionConfig (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Transition | |
| data ProtocolParams (CardanoBlock c) Source # | Parameters needed to run Cardano. |
Defined in Ouroboros.Consensus.Cardano.Node data ProtocolParams (CardanoBlock c) = ProtocolParamsCardano {
| |
| type TxMeasure (ShelleyBlock p (ShelleyEra c)) | |
Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool | |
| data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) Source # | Parameters needed to run Shelley |
Defined in Ouroboros.Consensus.Shelley.Node.TPraos data ProtocolParams (ShelleyBlock (TPraos c) (ShelleyEra c)) = ProtocolParamsShelley {
| |
Eras instantiated with standard crypto
type StandardAllegra = AllegraEra StandardCrypto Source #
The Allegra era with standard crypto
type StandardAlonzo = AlonzoEra StandardCrypto Source #
The Alonzo era with standard crypto
type StandardBabbage = BabbageEra StandardCrypto Source #
The Babbage era with standard crypto
type StandardConway = ConwayEra StandardCrypto Source #
The Conway era with standard crypto
type StandardMary = MaryEra StandardCrypto Source #
The Mary era with standard crypto
type StandardShelley = ShelleyEra StandardCrypto Source #
The Shelley era with standard crypto
Shelley-based era
class (EraSegWits era, EraGov era, ApplyTx era, ApplyBlock era, EraTransition era, GetLedgerView era, NoThunks (StashedAVVMAddresses era), EncCBOR (StashedAVVMAddresses era), DecCBOR (StashedAVVMAddresses era), Show (StashedAVVMAddresses era), Eq (StashedAVVMAddresses era), DecCBOR (PredicateFailure (EraRule "LEDGER" era)), EncCBOR (PredicateFailure (EraRule "LEDGER" era)), DecCBOR (PredicateFailure (EraRule "UTXOW" era)), EncCBOR (PredicateFailure (EraRule "UTXOW" era)), DSignable (EraCrypto era) (Hash (EraCrypto era) EraIndependentTxBody), NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (TranslationContext era)) => ShelleyBasedEra era where Source #
Consensus often needs some more functionality than the ledger currently provides.
Either the functionality shouldn't or can't live in the ledger, in which case
it can be part and remain part of ShelleyBasedEra. Or, the functionality
should live in the ledger, but hasn't yet been added to the ledger, or it
hasn't yet been propagated to this repository, in which case it can be added
to this class until that is the case.
If this class becomes redundant, We can move it to ledger and re-export it from here.
TODO Currently we include some constraints on the update state which are needed to determine the hard fork point. In the future this should be replaced with an appropriate API - see https://github.com/input-output-hk/ouroboros-network/issues/2890
Methods
shelleyBasedEraName :: proxy era -> Text Source #
applyShelleyBasedTx :: Globals -> LedgerEnv era -> LedgerState era -> WhetherToIntervene -> Tx era -> Except (ApplyTxError era) (LedgerState era, Validated (Tx era)) Source #
getProposedProtocolVersion :: PParamsUpdate era -> Maybe ProtVer Source #
Get the protocol version out of a PParamsUpdate, used to detect
whether we should perform a HF. This will likely be removed/changed once we
implement HF enactment in Conway (see
https://github.com/input-output-hk/ouroboros-consensus/issues/61).
For now, this always returns Nothing for Conway (see the instance below).
Instances
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (AllegraEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (AllegraEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (AllegraEra c) -> LedgerState (AllegraEra c) -> WhetherToIntervene -> Tx (AllegraEra c) -> Except (ApplyTxError (AllegraEra c)) (LedgerState (AllegraEra c), Validated (Tx (AllegraEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (AllegraEra c) -> Maybe ProtVer Source # | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (AlonzoEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (AlonzoEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (AlonzoEra c) -> LedgerState (AlonzoEra c) -> WhetherToIntervene -> Tx (AlonzoEra c) -> Except (ApplyTxError (AlonzoEra c)) (LedgerState (AlonzoEra c), Validated (Tx (AlonzoEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (AlonzoEra c) -> Maybe ProtVer Source # | |
| PraosCrypto c => ShelleyBasedEra (BabbageEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (BabbageEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (BabbageEra c) -> LedgerState (BabbageEra c) -> WhetherToIntervene -> Tx (BabbageEra c) -> Except (ApplyTxError (BabbageEra c)) (LedgerState (BabbageEra c), Validated (Tx (BabbageEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (BabbageEra c) -> Maybe ProtVer Source # | |
| PraosCrypto c => ShelleyBasedEra (ConwayEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (ConwayEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (ConwayEra c) -> LedgerState (ConwayEra c) -> WhetherToIntervene -> Tx (ConwayEra c) -> Except (ApplyTxError (ConwayEra c)) (LedgerState (ConwayEra c), Validated (Tx (ConwayEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (ConwayEra c) -> Maybe ProtVer Source # | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (MaryEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (MaryEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (MaryEra c) -> LedgerState (MaryEra c) -> WhetherToIntervene -> Tx (MaryEra c) -> Except (ApplyTxError (MaryEra c)) (LedgerState (MaryEra c), Validated (Tx (MaryEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (MaryEra c) -> Maybe ProtVer Source # | |
| (PraosCrypto c, DSignable c (Hash c EraIndependentTxBody)) => ShelleyBasedEra (ShelleyEra c) Source # | |
Defined in Ouroboros.Consensus.Shelley.Eras Methods shelleyBasedEraName :: proxy (ShelleyEra c) -> Text Source # applyShelleyBasedTx :: Globals -> LedgerEnv (ShelleyEra c) -> LedgerState (ShelleyEra c) -> WhetherToIntervene -> Tx (ShelleyEra c) -> Except (ApplyTxError (ShelleyEra c)) (LedgerState (ShelleyEra c), Validated (Tx (ShelleyEra c))) Source # getProposedProtocolVersion :: PParamsUpdate (ShelleyEra c) -> Maybe ProtVer 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.
Instances
Type synonyms for convenience
Instances
| type EraCrypto (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type EraCrypto (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type EraCrypto (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type EraCrypto (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type EraCrypto (ByronEra c) | |
Defined in Cardano.Ledger.Core.Era type EraCrypto (ByronEra c) = c | |
| type EraCrypto (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type EraCrypto (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Era | |
Re-exports
data StandardCrypto #
Instances
| Crypto StandardCrypto | |
Defined in Cardano.Ledger.Crypto Associated Types type HASH StandardCrypto type ADDRHASH StandardCrypto type DSIGN StandardCrypto type KES StandardCrypto type VRF StandardCrypto | |
| PraosCrypto StandardCrypto | |
Defined in Cardano.Protocol.TPraos.API | |
| PraosCrypto StandardCrypto | |
Defined in Ouroboros.Consensus.Protocol.Praos | |
| 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