Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.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 AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig AllegraEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig AllegraEra] Source # omittedField ∷ Maybe (TransitionConfig AllegraEra) 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 AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods toJSON ∷ TransitionConfig AllegraEra → Value Source # toEncoding ∷ TransitionConfig AllegraEra → Encoding Source # toJSONList ∷ [TransitionConfig AllegraEra] → Value Source # toEncodingList ∷ [TransitionConfig AllegraEra] → Encoding Source # omitField ∷ TransitionConfig AllegraEra → 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 # Methods from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x # to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #
Show (TransitionConfig AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS # show ∷ TransitionConfig AllegraEra → String # showList ∷ [TransitionConfig AllegraEra] → 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) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods (==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool # (/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → 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) Source #
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 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 Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig AllegraEra = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig ShelleyEra }
newtype TransitionConfig ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Transition newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig { stcShelleyGenesis ∷ ShelleyGenesis }
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 AllegraEra Source #
Instance details Associated Types data TransitionConfig AllegraEra Source # 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 #
FromJSON (TransitionConfig AllegraEra) Source #
Instance details Methods parseJSON ∷ Value → Parser (TransitionConfig AllegraEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig AllegraEra] Source # omittedField ∷ Maybe (TransitionConfig AllegraEra) Source #
ToJSON (TransitionConfig AllegraEra) Source #
Instance details Methods toJSON ∷ TransitionConfig AllegraEra → Value Source # toEncoding ∷ TransitionConfig AllegraEra → Encoding Source # toJSONList ∷ [TransitionConfig AllegraEra] → Value Source # toEncodingList ∷ [TransitionConfig AllegraEra] → Encoding Source # omitField ∷ TransitionConfig AllegraEra → Bool Source #
Show (TransitionConfig AllegraEra) Source #
Instance details Methods showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS # show ∷ TransitionConfig AllegraEra → String # showList ∷ [TransitionConfig AllegraEra] → ShowS #
Eq (TransitionConfig AllegraEra) Source #
Instance details Methods (==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool # (/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #
NoThunks (TransitionConfig AllegraEra) Source #
Instance details Methods noThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #