Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Transition

Contents

Genesis
Functions for Testing

Description

This module is used for defining initial configuration for all. It is also used in testing and benchmarking to initilize a chain in a particular era without going through the trouble of generating all the history for preceeding eras.

Synopsis

class (EraTxOut era, EraGov era, ToJSON (TransitionConfig era), FromJSON (TransitionConfig era), Default (StashedAVVMAddresses era)) ⇒ EraTransition era
data family TransitionConfig era
mkLatestTransitionConfig ∷ Crypto c ⇒ ShelleyGenesis c → AlonzoGenesis → ConwayGenesis c → TransitionConfig (LatestKnownEra c)
mkTransitionConfig ∷ EraTransition era ⇒ TranslationContext era → TransitionConfig (PreviousEra era) → TransitionConfig era
mkShelleyTransitionConfig ∷ ShelleyGenesis c → TransitionConfig (ShelleyEra c)
tcShelleyGenesisL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (ShelleyGenesis (EraCrypto era))
tcPreviousEraConfigL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (TransitionConfig (PreviousEra era))
tcTranslationContextL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (TranslationContext era)
data ShelleyGenesis c = ShelleyGenesis {
- sgSystemStart ∷ !UTCTime
- sgNetworkMagic ∷ !Word32
- sgNetworkId ∷ !Network
- sgActiveSlotsCoeff ∷ !PositiveUnitInterval
- sgSecurityParam ∷ !Word64
- sgEpochLength ∷ !EpochSize
- sgSlotsPerKESPeriod ∷ !Word64
- sgMaxKESEvolutions ∷ !Word64
- sgSlotLength ∷ !NominalDiffTimeMicro
- sgUpdateQuorum ∷ !Word64
- sgMaxLovelaceSupply ∷ !Word64
- sgProtocolParams ∷ !(PParams (ShelleyEra c))
- sgGenDelegs ∷ !(Map (KeyHash 'Genesis c) (GenDelegPair c))
- sgInitialFunds ∷ ListMap (Addr c) Coin
- sgStaking ∷ ShelleyGenesisStaking c
}
newtype AlonzoGenesis where
- AlonzoGenesisWrapper {
  - unAlonzoGenesisWrapper ∷ UpgradeAlonzoPParams Identity
  }
- pattern AlonzoGenesis ∷ CoinPerWord → CostModels → Prices → ExUnits → ExUnits → Natural → Natural → Natural → AlonzoGenesis
data ConwayGenesis c = ConwayGenesis {
- cgUpgradePParams ∷ !(UpgradeConwayPParams Identity)
- cgConstitution ∷ !(Constitution (ConwayEra c))
- cgCommittee ∷ !(Committee (ConwayEra c))
- cgDelegs ∷ ListMap (Credential 'Staking c) (Delegatee c)
- cgInitialDReps ∷ ListMap (Credential 'DRepRole c) (DRepState c)
}
tcInitialPParamsG ∷ EraTransition era ⇒ SimpleGetter (TransitionConfig era) (PParams era)
tcInitialFundsL ∷ (HasCallStack, EraTransition era) ⇒ Lens' (TransitionConfig era) (ListMap (Addr (EraCrypto era)) Coin)
tcInitialStakingL ∷ (HasCallStack, EraTransition era) ⇒ Lens' (TransitionConfig era) (ShelleyGenesisStaking (EraCrypto era))
createInitialState ∷ (EraTransition era, HasCallStack) ⇒ TransitionConfig era → NewEpochState era
injectIntoTestState ∷ EraTransition era ⇒ TransitionConfig era → NewEpochState era → NewEpochState era

Documentation

class (EraTxOut era, EraGov era, ToJSON (TransitionConfig era), FromJSON (TransitionConfig era), Default (StashedAVVMAddresses era)) ⇒ EraTransition era Source #

Minimal complete definition

mkTransitionConfig, injectIntoTestState, tcPreviousEraConfigL, tcTranslationContextL

Instances

Instances details

Crypto c ⇒ EraTransition (ShelleyEra c)

Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

data TransitionConfig (ShelleyEra c) Source #

Methods

mkTransitionConfig ∷ TranslationContext (ShelleyEra c) → TransitionConfig (PreviousEra (ShelleyEra c)) → TransitionConfig (ShelleyEra c) Source #

injectIntoTestState ∷ TransitionConfig (ShelleyEra c) → NewEpochState (ShelleyEra c) → NewEpochState (ShelleyEra c) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TransitionConfig (PreviousEra (ShelleyEra c))) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig (ShelleyEra c)) (TranslationContext (ShelleyEra c)) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig (ShelleyEra c)) (ShelleyGenesis (EraCrypto (ShelleyEra c))) Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ShelleyEra c)) (PParams (ShelleyEra c)) Source #

data family TransitionConfig era Source #

Cumulative configuration that is needed to be able to start in a current era

Instances

Instances details

Crypto c ⇒ FromJSON (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (ShelleyEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (ShelleyEra c)] Source # omittedField ∷ Maybe (TransitionConfig (ShelleyEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig (ShelleyEra c) → Value Source # toEncoding ∷ TransitionConfig (ShelleyEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (ShelleyEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (ShelleyEra c)] → Encoding Source # omitField ∷ TransitionConfig (ShelleyEra c) → Bool Source #
Generic (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition Associated Types type Rep (TransitionConfig (ShelleyEra c)) ∷ Type → Type Source # 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))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods showsPrec ∷ Int → TransitionConfig (ShelleyEra c) → ShowS Source # show ∷ TransitionConfig (ShelleyEra c) → String Source # showList ∷ [TransitionConfig (ShelleyEra c)] → ShowS Source #
Crypto c ⇒ Eq (TransitionConfig (ShelleyEra c))
Instance details 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))
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods noThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (ShelleyEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (ShelleyEra c)) → String Source #
type Rep (TransitionConfig (AlonzoEra c))
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig (AlonzoEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.8.0.0-inplace" '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 Rep (TransitionConfig (ConwayEra c))
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.14.0.0-inplace" '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 Rep (TransitionConfig (ShelleyEra c))
Instance details Defined in Cardano.Ledger.Shelley.Transition type Rep (TransitionConfig (ShelleyEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.11.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesis c))))
newtype TransitionConfig (AllegraEra c)
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig (ShelleyEra c) }
data TransitionConfig (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig (MaryEra c)) }
newtype TransitionConfig (BabbageEra c)
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig (AlonzoEra c) }
data TransitionConfig (ConwayEra c)
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig (ConwayEra c) = ConwayTransitionConfig { ctcConwayGenesis ∷ !(ConwayGenesis c) ctcBabbageTransitionConfig ∷ !(TransitionConfig (BabbageEra c)) }
newtype TransitionConfig (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.Transition newtype TransitionConfig (MaryEra c) = MaryTransitionConfig { mtcAllegraTransitionConfig ∷ TransitionConfig (AllegraEra c) }
newtype TransitionConfig (ShelleyEra c)
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis c }

mkLatestTransitionConfig ∷ Crypto c ⇒ ShelleyGenesis c → AlonzoGenesis → ConwayGenesis c → TransitionConfig (LatestKnownEra c) Source #

mkTransitionConfig Source #

Arguments

∷ EraTransition era
⇒ TranslationContext era	Translation context necessary for advancing from previous era into the current one. This will usually be the contents of genesis file, if one exists for the current era
→ TransitionConfig (PreviousEra era)	Transition configuration for the previous era.
→ TransitionConfig era

mkShelleyTransitionConfig ∷ ShelleyGenesis c → TransitionConfig (ShelleyEra c) Source #

Constructor for the base Shelley TransitionConfig

tcShelleyGenesisL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (ShelleyGenesis (EraCrypto era)) Source #

Lens for the ShelleyGenesis from the TransitionConfig. Default implementation looks in the previous era's config

tcPreviousEraConfigL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (TransitionConfig (PreviousEra era)) Source #

In case when a previous era is available, we should always be able to access TransitionConfig for the previous era, from within the current era's TransitionConfig

tcTranslationContextL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) (TranslationContext era) Source #

Lens for the TranslationContext for the current era from the TransitionConfig Translation context is a different name for the Genesis type for each era, they are one and the same concept.

Genesis

data ShelleyGenesis c Source #

Shelley genesis information

Note that this is needed only for a pure Shelley network, hence it being defined here rather than in its own module. In mainnet, Shelley will transition naturally from Byron, and thus will never have its own genesis information.

Constructors

ShelleyGenesis

Fields

sgSystemStart ∷ !UTCTime
sgNetworkMagic ∷ !Word32
sgNetworkId ∷ !Network
sgActiveSlotsCoeff ∷ !PositiveUnitInterval
sgSecurityParam ∷ !Word64
sgEpochLength ∷ !EpochSize
sgSlotsPerKESPeriod ∷ !Word64
sgMaxKESEvolutions ∷ !Word64
sgSlotLength ∷ !NominalDiffTimeMicro
sgUpdateQuorum ∷ !Word64
sgMaxLovelaceSupply ∷ !Word64
sgProtocolParams ∷ !(PParams (ShelleyEra c))
sgGenDelegs ∷ !(Map (KeyHash 'Genesis c) (GenDelegPair c))
sgInitialFunds ∷ ListMap (Addr c) Coin
sgInitialFunds is intentionally kept lazy, as it can otherwise cause out-of-memory problems in testing and benchmarking.
sgStaking ∷ ShelleyGenesisStaking c
sgStaking is intentionally kept lazy, as it can otherwise cause out-of-memory problems in testing and benchmarking.

Instances

Instances details

Crypto c ⇒ FromJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods parseJSON ∷ Value → Parser (ShelleyGenesis c) Source # parseJSONList ∷ Value → Parser [ShelleyGenesis c] Source # omittedField ∷ Maybe (ShelleyGenesis c) Source #
Crypto c ⇒ ToJSON (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toJSON ∷ ShelleyGenesis c → Value Source # toEncoding ∷ ShelleyGenesis c → Encoding Source # toJSONList ∷ [ShelleyGenesis c] → Value Source # toEncodingList ∷ [ShelleyGenesis c] → Encoding Source # omitField ∷ ShelleyGenesis c → Bool Source #
Generic (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Associated Types type Rep (ShelleyGenesis c) ∷ Type → Type Source # Methods from ∷ ShelleyGenesis c → Rep (ShelleyGenesis c) x Source # to ∷ Rep (ShelleyGenesis c) x → ShelleyGenesis c Source #
Crypto c ⇒ Show (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods showsPrec ∷ Int → ShelleyGenesis c → ShowS Source # show ∷ ShelleyGenesis c → String Source # showList ∷ [ShelleyGenesis c] → ShowS Source #
Crypto c ⇒ FromCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods fromCBOR ∷ Decoder s (ShelleyGenesis c) Source # label ∷ Proxy (ShelleyGenesis c) → Text Source #
Crypto c ⇒ ToCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods toCBOR ∷ ShelleyGenesis c → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGenesis c) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis c] → Size Source #
Crypto c ⇒ DecCBOR (ShelleyGenesis c)	Genesis are always encoded with the version of era they are defined in.
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods decCBOR ∷ Decoder s (ShelleyGenesis c) Source # dropCBOR ∷ Proxy (ShelleyGenesis c) → Decoder s () Source # label ∷ Proxy (ShelleyGenesis c) → Text Source #
Crypto c ⇒ EncCBOR (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods encCBOR ∷ ShelleyGenesis c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyGenesis c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis c] → Size Source #
Crypto c ⇒ Eq (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods (==) ∷ ShelleyGenesis c → ShelleyGenesis c → Bool Source # (/=) ∷ ShelleyGenesis c → ShelleyGenesis c → Bool Source #
Crypto c ⇒ NoThunks (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis Methods noThunks ∷ Context → ShelleyGenesis c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyGenesis c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyGenesis c) → String Source #
type Rep (ShelleyGenesis c)
Instance details Defined in Cardano.Ledger.Shelley.Genesis type Rep (ShelleyGenesis c) = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyGenesis" 'PrefixI 'True) (((S1 ('MetaSel ('Just "sgSystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: (S1 ('MetaSel ('Just "sgNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32) :: S1 ('MetaSel ('Just "sgNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))) :: ((S1 ('MetaSel ('Just "sgActiveSlotsCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval) :: S1 ('MetaSel ('Just "sgSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :: (S1 ('MetaSel ('Just "sgEpochLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :: S1 ('MetaSel ('Just "sgSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :: (((S1 ('MetaSel ('Just "sgMaxKESEvolutions") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgSlotLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTimeMicro)) :: (S1 ('MetaSel ('Just "sgUpdateQuorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgMaxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :: ((S1 ('MetaSel ('Just "sgProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams (ShelleyEra c))) :: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis c) (GenDelegPair c)))) :: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Addr c) Coin)) :: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyGenesisStaking c)))))))

newtype AlonzoGenesis Source #

All configuration that is necessary to bootstrap AlonzoEra from ShelleyGenesis

Constructors

AlonzoGenesisWrapper
Fields unAlonzoGenesisWrapper ∷ UpgradeAlonzoPParams Identity

Bundled Patterns

pattern AlonzoGenesis ∷ CoinPerWord → CostModels → Prices → ExUnits → ExUnits → Natural → Natural → Natural → AlonzoGenesis

Instances

Instances details

FromJSON AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods parseJSON ∷ Value → Parser AlonzoGenesis Source # parseJSONList ∷ Value → Parser [AlonzoGenesis] Source # omittedField ∷ Maybe AlonzoGenesis Source #
ToJSON AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON ∷ AlonzoGenesis → Value Source # toEncoding ∷ AlonzoGenesis → Encoding Source # toJSONList ∷ [AlonzoGenesis] → Value Source # toEncodingList ∷ [AlonzoGenesis] → Encoding Source # omitField ∷ AlonzoGenesis → Bool Source #
Generic AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Associated Types type Rep AlonzoGenesis ∷ Type → Type Source # Methods from ∷ AlonzoGenesis → Rep AlonzoGenesis x Source # to ∷ Rep AlonzoGenesis x → AlonzoGenesis Source #
Show AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods showsPrec ∷ Int → AlonzoGenesis → ShowS Source # show ∷ AlonzoGenesis → String Source # showList ∷ [AlonzoGenesis] → ShowS Source #
FromCBOR AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods fromCBOR ∷ Decoder s AlonzoGenesis Source # label ∷ Proxy AlonzoGenesis → Text Source #
ToCBOR AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toCBOR ∷ AlonzoGenesis → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy AlonzoGenesis → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoGenesis] → Size Source #
DecCBOR AlonzoGenesis	Genesis types are always encoded with the version of era they are defined in.
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods decCBOR ∷ Decoder s AlonzoGenesis Source # dropCBOR ∷ Proxy AlonzoGenesis → Decoder s () Source # label ∷ Proxy AlonzoGenesis → Text Source #
EncCBOR AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods encCBOR ∷ AlonzoGenesis → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy AlonzoGenesis → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoGenesis] → Size Source #
Eq AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods (==) ∷ AlonzoGenesis → AlonzoGenesis → Bool Source # (/=) ∷ AlonzoGenesis → AlonzoGenesis → Bool Source #
NoThunks AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods noThunks ∷ Context → AlonzoGenesis → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoGenesis → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy AlonzoGenesis → String Source #
type Rep AlonzoGenesis
Instance details Defined in Cardano.Ledger.Alonzo.Genesis type Rep AlonzoGenesis = D1 ('MetaData "AlonzoGenesis" "Cardano.Ledger.Alonzo.Genesis" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "AlonzoGenesisWrapper" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoGenesisWrapper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeAlonzoPParams Identity))))

data ConwayGenesis c Source #

Constructors

ConwayGenesis
Fields cgUpgradePParams ∷ !(UpgradeConwayPParams Identity) cgConstitution ∷ !(Constitution (ConwayEra c)) cgCommittee ∷ !(Committee (ConwayEra c)) cgDelegs ∷ ListMap (Credential 'Staking c) (Delegatee c) cgInitialDReps ∷ ListMap (Credential 'DRepRole c) (DRepState c)

Instances

Instances details

Crypto c ⇒ FromJSON (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods parseJSON ∷ Value → Parser (ConwayGenesis c) Source # parseJSONList ∷ Value → Parser [ConwayGenesis c] Source # omittedField ∷ Maybe (ConwayGenesis c) Source #
Crypto c ⇒ ToJSON (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods toJSON ∷ ConwayGenesis c → Value Source # toEncoding ∷ ConwayGenesis c → Encoding Source # toJSONList ∷ [ConwayGenesis c] → Value Source # toEncodingList ∷ [ConwayGenesis c] → Encoding Source # omitField ∷ ConwayGenesis c → Bool Source #
Generic (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Associated Types type Rep (ConwayGenesis c) ∷ Type → Type Source # Methods from ∷ ConwayGenesis c → Rep (ConwayGenesis c) x Source # to ∷ Rep (ConwayGenesis c) x → ConwayGenesis c Source #
Show (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods showsPrec ∷ Int → ConwayGenesis c → ShowS Source # show ∷ ConwayGenesis c → String Source # showList ∷ [ConwayGenesis c] → ShowS Source #
Crypto c ⇒ DecCBOR (ConwayGenesis c)	Genesis are always encoded with the version of era they are defined in.
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods decCBOR ∷ Decoder s (ConwayGenesis c) Source # dropCBOR ∷ Proxy (ConwayGenesis c) → Decoder s () Source # label ∷ Proxy (ConwayGenesis c) → Text Source #
Crypto c ⇒ EncCBOR (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods encCBOR ∷ ConwayGenesis c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ConwayGenesis c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGenesis c] → Size Source #
Eq (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods (==) ∷ ConwayGenesis c → ConwayGenesis c → Bool Source # (/=) ∷ ConwayGenesis c → ConwayGenesis c → Bool Source #
Crypto c ⇒ NoThunks (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods noThunks ∷ Context → ConwayGenesis c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConwayGenesis c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConwayGenesis c) → String Source #
type Rep (ConwayGenesis c)
Instance details Defined in Cardano.Ledger.Conway.Genesis type Rep (ConwayGenesis c) = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGenesis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgUpgradePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeConwayPParams Identity)) :: S1 ('MetaSel ('Just "cgConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution (ConwayEra c)))) :: (S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee (ConwayEra c))) :: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking c) (Delegatee c))) :: S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole c) (DRepState c)))))))

Functions for Testing

tcInitialPParamsG ∷ EraTransition era ⇒ SimpleGetter (TransitionConfig era) (PParams era) Source #

Get the initial PParams for the current era from the TransitionConfig. Note that this is only useful for testing and fast forward functionality, because this function assumes no on-chain changes to PParams through PParamsUpdate functionality.

Default implementation will use the PParams from the Previous era and the current TranslationContext to construct PParams for the current era.

Warning - Should only be used in testing and benchmarking

tcInitialFundsL ∷ (HasCallStack, EraTransition era) ⇒ Lens' (TransitionConfig era) (ListMap (Addr (EraCrypto era)) Coin) Source #

Get the initial funds from the TransitionConfig. This value must be non-empty only during testing and benchmarking, it must never contain anything on a real system.

Warning - Should only be used in testing and benchmarking. Will result in an error when NetworkId is set to Mainnet

tcInitialStakingL ∷ (HasCallStack, EraTransition era) ⇒ Lens' (TransitionConfig era) (ShelleyGenesisStaking (EraCrypto era)) Source #

Get the initial staking from the TransitionConfig. This value must be non-empty only during testing and benchmarking, it must never contain anything on a real system.

Warning - Should only be used in testing and benchmarking. Will result in an error when NetworkId is set to Mainnet

createInitialState ∷ (EraTransition era, HasCallStack) ⇒ TransitionConfig era → NewEpochState era Source #

Helper function for constructing the initial state for any era

Warning - Should only be used in testing and benchmarking. Will result in an error when NetworkId is set to Mainnet

This function does not register any initial funds or delegates.

injectIntoTestState Source #

Arguments

∷ EraTransition era
⇒ TransitionConfig era	Extract data from the given transition configuration and store it in the given state. Warning - Should only be used in testing and benchmarking. Will result in an error when `NetworkId` is set to `Mainnet`.
→ NewEpochState era
→ NewEpochState era