Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Transition

Contents

Orphan instances

Synopsis

class EraTransition era ⇒ ConwayEraTransition era where
- tcDelegsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'Staking) Delegatee)
- tcInitialDRepsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'DRepRole) DRepState)
- tcConwayGenesisL ∷ Lens' (TransitionConfig era) ConwayGenesis
data family TransitionConfig era
toConwayTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a]

Documentation

class EraTransition era ⇒ ConwayEraTransition era where Source #

Methods

tcDelegsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'Staking) Delegatee) Source #

tcInitialDRepsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'DRepRole) DRepState) Source #

tcConwayGenesisL ∷ Lens' (TransitionConfig era) ConwayGenesis Source #

Instances

Instances details

ConwayEraTransition ConwayEra Source #
Instance details Defined in Cardano.Ledger.Conway.Transition Methods tcDelegsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'Staking) Delegatee) Source # tcInitialDRepsL ∷ Lens' (TransitionConfig ConwayEra) (ListMap (Credential 'DRepRole) DRepState) Source # tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #

data family TransitionConfig era Source #

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

Instances

Instances details

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

toConwayTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a] Source #

Orphan instances

EraTransition ConwayEra Source #
Instance details Associated Types data TransitionConfig ConwayEra Source # 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 #
FromJSON (TransitionConfig ConwayEra) Source #
Instance details Methods parseJSON ∷ Value → Parser (TransitionConfig ConwayEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig ConwayEra] Source # omittedField ∷ Maybe (TransitionConfig ConwayEra) Source #
ToJSON (TransitionConfig ConwayEra) Source #
Instance details Methods toJSON ∷ TransitionConfig ConwayEra → Value Source # toEncoding ∷ TransitionConfig ConwayEra → Encoding Source # toJSONList ∷ [TransitionConfig ConwayEra] → Value Source # toEncodingList ∷ [TransitionConfig ConwayEra] → Encoding Source # omitField ∷ TransitionConfig ConwayEra → Bool Source #
Generic (TransitionConfig ConwayEra) Source #
Instance details Associated Types type Rep (TransitionConfig ConwayEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig ConwayEra → Rep (TransitionConfig ConwayEra) x Source # to ∷ Rep (TransitionConfig ConwayEra) x → TransitionConfig ConwayEra Source #
Show (TransitionConfig ConwayEra) Source #
Instance details Methods showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS Source # show ∷ TransitionConfig ConwayEra → String Source # showList ∷ [TransitionConfig ConwayEra] → ShowS Source #
Eq (TransitionConfig ConwayEra) Source #
Instance details Methods (==) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool Source # (/=) ∷ TransitionConfig ConwayEra → TransitionConfig ConwayEra → Bool Source #
NoThunks (TransitionConfig ConwayEra) Source #
Instance details Methods noThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig ConwayEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #