Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Transition

Contents

Orphan instances

Synopsis

data family TransitionConfig era
toAlonzoTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig AlonzoEra → [a]

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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig AlonzoEra) Source # parseJSONList ∷ Value → Parser [TransitionConfig AlonzoEra] Source # omittedField ∷ Maybe (TransitionConfig AlonzoEra) 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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods toJSON ∷ TransitionConfig AlonzoEra → Value Source # toEncoding ∷ TransitionConfig AlonzoEra → Encoding Source # toJSONList ∷ [TransitionConfig AlonzoEra] → Value Source # toEncodingList ∷ [TransitionConfig AlonzoEra] → Encoding Source # omitField ∷ TransitionConfig AlonzoEra → 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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Associated Types type Rep (TransitionConfig AlonzoEra) ∷ Type → Type Source # Methods from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x Source # to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra 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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS Source # show ∷ TransitionConfig AlonzoEra → String Source # showList ∷ [TransitionConfig AlonzoEra] → 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 AlonzoEra) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition Methods (==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool Source # (/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → 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 AlonzoEra) Source #
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 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 Source #
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }
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) Source #
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)))

toAlonzoTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig AlonzoEra → [a] Source #

Orphan instances

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