cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Transition

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

Documentation

class (EraTxOut era, EraGov era, EraStake era, EraGenesis era, EraCertState era, Eq (TransitionConfig era), Show (TransitionConfig era), FromJSON (TransitionConfig era), Default (StashedAVVMAddresses era)) ⇒ EraTransition era Source #

Register the initial information in the NewEpochState.

HERE BE DRAGONS! This interface is intended to help in testing and benchmarking.

In production, the genesis should not contain any initial information about accounts, stake pools or dreps.

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

Minimal complete definition

mkTransitionConfig, injectIntoTestState, tcPreviousEraConfigL, tcTranslationContextL

Instances

Instances details
EraTransition AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Associated Types

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext AllegraEra → TransitionConfig (PreviousEra AllegraEra) → TransitionConfig AllegraEra Source #

injectIntoTestState ∷ TransitionConfig AllegraEra → NewEpochState AllegraEra → NewEpochState AllegraEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AllegraEra) (TransitionConfig (PreviousEra AllegraEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AllegraEra) (TranslationContext AllegraEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AllegraEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AllegraEra) (PParams AllegraEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AllegraEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AllegraEra)

EraTransition AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext AlonzoEra → TransitionConfig (PreviousEra AlonzoEra) → TransitionConfig AlonzoEra Source #

injectIntoTestState ∷ TransitionConfig AlonzoEra → NewEpochState AlonzoEra → NewEpochState AlonzoEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AlonzoEra) (TransitionConfig (PreviousEra AlonzoEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AlonzoEra) (TranslationContext AlonzoEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AlonzoEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AlonzoEra) (PParams AlonzoEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AlonzoEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AlonzoEra)

EraTransition BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Associated Types

newtype TransitionConfig BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig BabbageEra = BabbageTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext BabbageEra → TransitionConfig (PreviousEra BabbageEra) → TransitionConfig BabbageEra Source #

injectIntoTestState ∷ TransitionConfig BabbageEra → NewEpochState BabbageEra → NewEpochState BabbageEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig BabbageEra) (TransitionConfig (PreviousEra BabbageEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig BabbageEra) (TranslationContext BabbageEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig BabbageEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig BabbageEra) (PParams BabbageEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig BabbageEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig BabbageEra)

EraTransition ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

data TransitionConfig ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext ConwayEra → TransitionConfig (PreviousEra ConwayEra) → TransitionConfig ConwayEra Source #

injectIntoTestState ∷ TransitionConfig ConwayEra → NewEpochState ConwayEra → NewEpochState ConwayEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig ConwayEra) (TransitionConfig (PreviousEra ConwayEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig ConwayEra) (TranslationContext ConwayEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig ConwayEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig ConwayEra) (PParams ConwayEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ConwayEra)

EraTransition DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

Associated Types

data TransitionConfig DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

data TransitionConfig DijkstraEra = DijkstraTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext DijkstraEra → TransitionConfig (PreviousEra DijkstraEra) → TransitionConfig DijkstraEra Source #

injectIntoTestState ∷ TransitionConfig DijkstraEra → NewEpochState DijkstraEra → NewEpochState DijkstraEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig DijkstraEra) (TransitionConfig (PreviousEra DijkstraEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig DijkstraEra) (TranslationContext DijkstraEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig DijkstraEra) (PParams DijkstraEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig DijkstraEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig DijkstraEra)

EraTransition MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Associated Types

newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext MaryEra → TransitionConfig (PreviousEra MaryEra) → TransitionConfig MaryEra Source #

injectIntoTestState ∷ TransitionConfig MaryEra → NewEpochState MaryEra → NewEpochState MaryEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig MaryEra) (TransitionConfig (PreviousEra MaryEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig MaryEra) (TranslationContext MaryEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig MaryEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig MaryEra) (PParams MaryEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig MaryEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig MaryEra)

EraTransition ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}

Methods

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

injectIntoTestState ∷ TransitionConfig ShelleyEra → NewEpochState ShelleyEra → NewEpochState ShelleyEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig ShelleyEra) ShelleyGenesis Source #

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

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ShelleyEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ShelleyEra)

data family TransitionConfig era Source #

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

Instances

Instances details
EraTransition era ⇒ FromJSON (TransitionConfig era) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

parseJSON ∷ Value → Parser (TransitionConfig era) Source #

parseJSONList ∷ Value → Parser [TransitionConfig era] Source #

omittedField ∷ Maybe (TransitionConfig era) Source #

ToKeyValuePairs (TransitionConfig era) ⇒ ToJSON (TransitionConfig era) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

toJSON ∷ TransitionConfig era → Value Source #

toEncoding ∷ TransitionConfig era → Encoding Source #

toJSONList ∷ [TransitionConfig era] → Value Source #

toEncodingList ∷ [TransitionConfig era] → Encoding Source #

omitField ∷ TransitionConfig era → Bool Source #

EraTransition era ⇒ ToKeyValuePairs (TransitionConfig era) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TransitionConfig era → [kv] Source #

Generic (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

type Rep (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.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))))

Methods

from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x #

to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra #

Generic (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

type Rep (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))

Methods

from ∷ TransitionConfig ConwayEra → Rep (TransitionConfig ConwayEra) x #

to ∷ Rep (TransitionConfig ConwayEra) x → TransitionConfig ConwayEra #

Generic (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

Associated Types

type Rep (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))

Methods

from ∷ TransitionConfig DijkstraEra → Rep (TransitionConfig DijkstraEra) x #

to ∷ Rep (TransitionConfig DijkstraEra) x → TransitionConfig DijkstraEra #

Generic (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x #

to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #

Show (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

showList ∷ [TransitionConfig AllegraEra] → ShowS #

Show (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Show (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS #

show ∷ TransitionConfig BabbageEra → String #

showList ∷ [TransitionConfig BabbageEra] → ShowS #

Show (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS #

show ∷ TransitionConfig ConwayEra → String #

showList ∷ [TransitionConfig ConwayEra] → ShowS #

Show (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

Methods

showsPrec ∷ Int → TransitionConfig DijkstraEra → ShowS #

show ∷ TransitionConfig DijkstraEra → String #

showList ∷ [TransitionConfig DijkstraEra] → ShowS #

Show (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Show (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

showsPrec ∷ Int → TransitionConfig ShelleyEra → ShowS #

show ∷ TransitionConfig ShelleyEra → String #

showList ∷ [TransitionConfig ShelleyEra] → ShowS #

Eq (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

(==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

(/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

Eq (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

(==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

(/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

Eq (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

(==) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool #

(/=) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool #

Eq (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

(==) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool #

(/=) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool #

Eq (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

Methods

(==) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool #

(/=) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool #

Eq (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

(==) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

(/=) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

Eq (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

(==) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

(/=) ∷ TransitionConfig ShelleyEra → TransitionConfig ShelleyEra → Bool #

NoThunks (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

noThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #

NoThunks (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

noThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

NoThunks (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

noThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig BabbageEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source #

NoThunks (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

noThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #

NoThunks (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

Methods

noThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → String Source #

NoThunks (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

noThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig MaryEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #

NoThunks (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

noThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig ShelleyEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig ShelleyEra) → String Source #

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}
data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {}
newtype TransitionConfig BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig BabbageEra = BabbageTransitionConfig {}
data TransitionConfig ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {}
data TransitionConfig DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

data TransitionConfig DijkstraEra = DijkstraTransitionConfig {}
newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}
newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}
type Rep (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.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))))
type Rep (TransitionConfig ConwayEra) 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.21.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))
type Rep (TransitionConfig DijkstraEra) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Transition

type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))
type Rep (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

mkLatestTransitionConfig ∷ ShelleyGenesis → AlonzoGenesis → ConwayGenesis → DijkstraGenesis → TransitionConfig LatestKnownEra 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 → TransitionConfig ShelleyEra Source #

Constructor for the base Shelley TransitionConfig

tcShelleyGenesisL ∷ EraTransition era ⇒ Lens' (TransitionConfig era) ShelleyGenesis 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

class Era era ⇒ EraGenesis era Source #

Associated Types

type Genesis era Source #

type Genesis era = NoGenesis era

Instances

Instances details
EraGenesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

Associated Types

type Genesis AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Era

type Genesis AllegraEra = NoGenesis AllegraEra
EraGenesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis
EraGenesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

Associated Types

type Genesis BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Era

type Genesis BabbageEra = NoGenesis BabbageEra
EraGenesis ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Genesis ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Genesis ConwayEra = ConwayGenesis
EraGenesis DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Associated Types

type Genesis DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

type Genesis DijkstraEra = DijkstraGenesis
EraGenesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

Associated Types

type Genesis MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Era

type Genesis MaryEra = NoGenesis MaryEra
EraGenesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Genesis ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Genesis ShelleyEra = ShelleyGenesis

data NoGenesis era Source #

Constructors

NoGenesis 

Instances

Instances details
FromJSON (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

parseJSON ∷ Value → Parser (NoGenesis era) Source #

parseJSONList ∷ Value → Parser [NoGenesis era] Source #

omittedField ∷ Maybe (NoGenesis era) Source #

ToJSON (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toJSON ∷ NoGenesis era → Value Source #

toEncoding ∷ NoGenesis era → Encoding Source #

toJSONList ∷ [NoGenesis era] → Value Source #

toEncodingList ∷ [NoGenesis era] → Encoding Source #

omitField ∷ NoGenesis era → Bool Source #

Era era ⇒ FromCBOR (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

fromCBOR ∷ Decoder s (NoGenesis era) Source #

label ∷ Proxy (NoGenesis era) → Text Source #

Era era ⇒ ToCBOR (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toCBOR ∷ NoGenesis era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NoGenesis era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NoGenesis era] → Size Source #

Era era ⇒ DecCBOR (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

decCBOR ∷ Decoder s (NoGenesis era) Source #

dropCBOR ∷ Proxy (NoGenesis era) → Decoder s () Source #

label ∷ Proxy (NoGenesis era) → Text Source #

Era era ⇒ EncCBOR (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

encCBOR ∷ NoGenesis era → Encoding Source #

ToKeyValuePairs (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ NoGenesis era → [kv] Source #

Show (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

showsPrec ∷ Int → NoGenesis era → ShowS #

show ∷ NoGenesis era → String #

showList ∷ [NoGenesis era] → ShowS #

Eq (NoGenesis era) 
Instance details

Defined in Cardano.Ledger.Genesis

Methods

(==) ∷ NoGenesis era → NoGenesis era → Bool #

(/=) ∷ NoGenesis era → NoGenesis era → Bool #

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

Instances

Instances details
FromJSON ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

parseJSON ∷ Value → Parser ShelleyGenesis Source #

parseJSONList ∷ Value → Parser [ShelleyGenesis] Source #

omittedField ∷ Maybe ShelleyGenesis Source #

ToJSON ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toJSON ∷ ShelleyGenesis → Value Source #

toEncoding ∷ ShelleyGenesis → Encoding Source #

toJSONList ∷ [ShelleyGenesis] → Value Source #

toEncodingList ∷ [ShelleyGenesis] → Encoding Source #

omitField ∷ ShelleyGenesis → Bool Source #

FromCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

fromCBOR ∷ Decoder s ShelleyGenesis Source #

label ∷ Proxy ShelleyGenesis → Text Source #

ToCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toCBOR ∷ ShelleyGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ShelleyGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyGenesis] → Size Source #

DecCBOR ShelleyGenesis

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

dropCBOR ∷ Proxy ShelleyGenesis → Decoder s () Source #

label ∷ Proxy ShelleyGenesis → Text Source #

EncCBOR ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

encCBOR ∷ ShelleyGenesis → Encoding Source #

ToKeyValuePairs ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyGenesis → [kv] Source #

NFData ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

rnf ∷ ShelleyGenesis → () #

Generic ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Associated Types

type Rep ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesis = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.18.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 (NonZero 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)) :*: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'GenesisRole) GenDelegPair))) :*: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap Addr Coin)) :*: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesisStaking))))))

Methods

from ∷ ShelleyGenesis → Rep ShelleyGenesis x #

to ∷ Rep ShelleyGenesis x → ShelleyGenesis #

Show ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

showsPrec ∷ Int → ShelleyGenesis → ShowS #

show ∷ ShelleyGenesis → String #

showList ∷ [ShelleyGenesis] → ShowS #

Eq ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

(==) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

(/=) ∷ ShelleyGenesis → ShelleyGenesis → Bool #

NoThunks ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

Methods

noThunks ∷ Context → ShelleyGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ShelleyGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ShelleyGenesis → String Source #

type Rep ShelleyGenesis 
Instance details

Defined in Cardano.Ledger.Shelley.Genesis

type Rep ShelleyGenesis = D1 ('MetaData "ShelleyGenesis" "Cardano.Ledger.Shelley.Genesis" "cardano-ledger-shelley-1.18.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 (NonZero 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)) :*: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'GenesisRole) GenDelegPair))) :*: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap Addr Coin)) :*: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesisStaking))))))

data AlonzoGenesis Source #

All configuration that is necessary to bootstrap AlonzoEra from ShelleyGenesis

Constructors

AlonzoGenesisWrapper 

Fields

Bundled Patterns

pattern AlonzoGenesis ∷ CoinPerWord → CostModel → Prices → ExUnits → ExUnits → Natural → Natural → Natural → Maybe AlonzoExtraConfig → 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 #

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 #

ToKeyValuePairs AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ AlonzoGenesis → [kv] Source #

NFData AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

rnf ∷ AlonzoGenesis → () #

Generic AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

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.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoGenesisWrapper" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoGenesisWrapper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeAlonzoPParams Identity)) :*: S1 ('MetaSel ('Just "extraConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AlonzoExtraConfig))))

Methods

from ∷ AlonzoGenesis → Rep AlonzoGenesis x #

to ∷ Rep AlonzoGenesis x → AlonzoGenesis #

Show AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

showsPrec ∷ Int → AlonzoGenesis → ShowS #

show ∷ AlonzoGenesis → String #

showList ∷ [AlonzoGenesis] → ShowS #

Eq AlonzoGenesis 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Methods

(==) ∷ AlonzoGenesis → AlonzoGenesis → Bool #

(/=) ∷ AlonzoGenesis → AlonzoGenesis → Bool #

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.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoGenesisWrapper" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoGenesisWrapper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeAlonzoPParams Identity)) :*: S1 ('MetaSel ('Just "extraConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AlonzoExtraConfig))))

data ConwayGenesis Source #

Constructors

ConwayGenesis 

Fields

Instances

Instances details
FromJSON ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

parseJSON ∷ Value → Parser ConwayGenesis Source #

parseJSONList ∷ Value → Parser [ConwayGenesis] Source #

omittedField ∷ Maybe ConwayGenesis Source #

ToJSON ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toJSON ∷ ConwayGenesis → Value Source #

toEncoding ∷ ConwayGenesis → Encoding Source #

toJSONList ∷ [ConwayGenesis] → Value Source #

toEncodingList ∷ [ConwayGenesis] → Encoding Source #

omitField ∷ ConwayGenesis → Bool Source #

FromCBOR ConwayGenesis

Genesis are always encoded with the version of era they are defined in.

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

fromCBOR ∷ Decoder s ConwayGenesis Source #

label ∷ Proxy ConwayGenesis → Text Source #

ToCBOR ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toCBOR ∷ ConwayGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ConwayGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGenesis] → Size Source #

DecCBOR ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

decCBOR ∷ Decoder s ConwayGenesis Source #

dropCBOR ∷ Proxy ConwayGenesis → Decoder s () Source #

label ∷ Proxy ConwayGenesis → Text Source #

EncCBOR ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

encCBOR ∷ ConwayGenesis → Encoding Source #

ToKeyValuePairs ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayGenesis → [kv] Source #

NFData ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

rnf ∷ ConwayGenesis → () #

Generic ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Rep ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Rep ConwayGenesis = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.21.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))) :*: (S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee ConwayEra)) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking) Delegatee)) :*: S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole) DRepState))))))

Methods

from ∷ ConwayGenesis → Rep ConwayGenesis x #

to ∷ Rep ConwayGenesis x → ConwayGenesis #

Show ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

showsPrec ∷ Int → ConwayGenesis → ShowS #

show ∷ ConwayGenesis → String #

showList ∷ [ConwayGenesis] → ShowS #

Eq ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

(==) ∷ ConwayGenesis → ConwayGenesis → Bool #

(/=) ∷ ConwayGenesis → ConwayGenesis → Bool #

NoThunks ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

noThunks ∷ Context → ConwayGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ConwayGenesis → String Source #

type Rep ConwayGenesis 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Rep ConwayGenesis = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.21.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))) :*: (S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee ConwayEra)) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking) Delegatee)) :*: S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole) DRepState))))))

newtype DijkstraGenesis Source #

Constructors

DijkstraGenesis 

Fields

Instances

Instances details
FromJSON DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

parseJSON ∷ Value → Parser DijkstraGenesis Source #

parseJSONList ∷ Value → Parser [DijkstraGenesis] Source #

omittedField ∷ Maybe DijkstraGenesis Source #

ToJSON DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

toJSON ∷ DijkstraGenesis → Value Source #

toEncoding ∷ DijkstraGenesis → Encoding Source #

toJSONList ∷ [DijkstraGenesis] → Value Source #

toEncodingList ∷ [DijkstraGenesis] → Encoding Source #

omitField ∷ DijkstraGenesis → Bool Source #

FromCBOR DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

fromCBOR ∷ Decoder s DijkstraGenesis Source #

label ∷ Proxy DijkstraGenesis → Text Source #

ToCBOR DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

toCBOR ∷ DijkstraGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy DijkstraGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DijkstraGenesis] → Size Source #

DecCBOR DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

decCBOR ∷ Decoder s DijkstraGenesis Source #

dropCBOR ∷ Proxy DijkstraGenesis → Decoder s () Source #

label ∷ Proxy DijkstraGenesis → Text Source #

EncCBOR DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

encCBOR ∷ DijkstraGenesis → Encoding Source #

ToKeyValuePairs DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ DijkstraGenesis → [kv] Source #

NFData DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

rnf ∷ DijkstraGenesis → () #

Generic DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Associated Types

type Rep DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

type Rep DijkstraGenesis = D1 ('MetaData "DijkstraGenesis" "Cardano.Ledger.Dijkstra.Genesis" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "dgUpgradePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeDijkstraPParams Identity DijkstraEra))))

Methods

from ∷ DijkstraGenesis → Rep DijkstraGenesis x #

to ∷ Rep DijkstraGenesis x → DijkstraGenesis #

Show DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

showsPrec ∷ Int → DijkstraGenesis → ShowS #

show ∷ DijkstraGenesis → String #

showList ∷ [DijkstraGenesis] → ShowS #

Eq DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

(==) ∷ DijkstraGenesis → DijkstraGenesis → Bool #

(/=) ∷ DijkstraGenesis → DijkstraGenesis → Bool #

NoThunks DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

Methods

noThunks ∷ Context → DijkstraGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → DijkstraGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy DijkstraGenesis → String Source #

type Rep DijkstraGenesis 
Instance details

Defined in Cardano.Ledger.Dijkstra.Genesis

type Rep DijkstraGenesis = D1 ('MetaData "DijkstraGenesis" "Cardano.Ledger.Dijkstra.Genesis" "cardano-ledger-dijkstra-0.2.0.0-inplace" 'True) (C1 ('MetaCons "DijkstraGenesis" 'PrefixI 'True) (S1 ('MetaSel ('Just "dgUpgradePParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeDijkstraPParams Identity DijkstraEra))))

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