Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.Transition

Contents

Orphan instances

Synopsis

data family TransitionConfig era

Documentation

data family TransitionConfig era Source #

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

Instances

Instances details

FromJSON (TransitionConfig BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig BabbageEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig BabbageEra] Source # omittedField ∷ Maybe (TransitionConfig BabbageEra) 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 BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods toJSON ∷ TransitionConfig BabbageEra → Value Source # toEncoding ∷ TransitionConfig BabbageEra → Encoding Source # toJSONList ∷ [TransitionConfig BabbageEra] → Value Source # toEncodingList ∷ [TransitionConfig BabbageEra] → Encoding Source # omitField ∷ TransitionConfig BabbageEra → 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 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 BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS Source # show ∷ TransitionConfig BabbageEra → String Source # showList ∷ [TransitionConfig BabbageEra] → 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 BabbageEra) Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition Methods (==) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool Source # (/=) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → 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 BabbageEra) Source #
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 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 Source #
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }
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 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)))

Orphan instances

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