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

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

Orphan instances

Crypto c ⇒ FromJSON (TransitionConfig (BabbageEra c)) Source #
Instance details Methods parseJSON ∷ Value → Parser (TransitionConfig (BabbageEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (BabbageEra c)] Source # omittedField ∷ Maybe (TransitionConfig (BabbageEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (BabbageEra c)) Source #
Instance details Methods toJSON ∷ TransitionConfig (BabbageEra c) → Value Source # toEncoding ∷ TransitionConfig (BabbageEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (BabbageEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (BabbageEra c)] → Encoding Source # omitField ∷ TransitionConfig (BabbageEra c) → Bool Source #
Crypto c ⇒ Show (TransitionConfig (BabbageEra c)) Source #
Instance details Methods showsPrec ∷ Int → TransitionConfig (BabbageEra c) → ShowS Source # show ∷ TransitionConfig (BabbageEra c) → String Source # showList ∷ [TransitionConfig (BabbageEra c)] → ShowS Source #
Crypto c ⇒ EraTransition (BabbageEra c) Source #
Instance details Associated Types data TransitionConfig (BabbageEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (BabbageEra c) → TransitionConfig (PreviousEra (BabbageEra c)) → TransitionConfig (BabbageEra c) Source # injectIntoTestState ∷ TransitionConfig (BabbageEra c) → NewEpochState (BabbageEra c) → NewEpochState (BabbageEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (BabbageEra c)) (TransitionConfig (PreviousEra (BabbageEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (BabbageEra c)) (TranslationContext (BabbageEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (BabbageEra c)) (ShelleyGenesis (EraCrypto (BabbageEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (BabbageEra c)) (PParams (BabbageEra c)) Source #
Crypto c ⇒ Eq (TransitionConfig (BabbageEra c)) Source #
Instance details Methods (==) ∷ TransitionConfig (BabbageEra c) → TransitionConfig (BabbageEra c) → Bool Source # (/=) ∷ TransitionConfig (BabbageEra c) → TransitionConfig (BabbageEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (BabbageEra c)) Source #
Instance details Methods noThunks ∷ Context → TransitionConfig (BabbageEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (BabbageEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (BabbageEra c)) → String Source #