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

Crypto c ⇒ FromJSON (TransitionConfig (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig (AllegraEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (AllegraEra c)] Source # omittedField ∷ Maybe (TransitionConfig (AllegraEra 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 (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods toJSON ∷ TransitionConfig (AllegraEra c) → Value Source # toEncoding ∷ TransitionConfig (AllegraEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (AllegraEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (AllegraEra c)] → Encoding Source # omitField ∷ TransitionConfig (AllegraEra 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 (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods showsPrec ∷ Int → TransitionConfig (AllegraEra c) → ShowS Source # show ∷ TransitionConfig (AllegraEra c) → String Source # showList ∷ [TransitionConfig (AllegraEra 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 (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods (==) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra c) → Bool Source # (/=) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra 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 (AllegraEra c)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition Methods noThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (AllegraEra 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 (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) Source #
Instance details Defined in Cardano.Ledger.Allegra.Transition newtype TransitionConfig (AllegraEra c) = AllegraTransitionConfig { atcShelleyTransitionConfig ∷ TransitionConfig (ShelleyEra 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 (AllegraEra c)) Source #
Instance details Methods parseJSON ∷ Value → Parser (TransitionConfig (AllegraEra c)) Source # parseJSONList ∷ Value → Parser [TransitionConfig (AllegraEra c)] Source # omittedField ∷ Maybe (TransitionConfig (AllegraEra c)) Source #
Crypto c ⇒ ToJSON (TransitionConfig (AllegraEra c)) Source #
Instance details Methods toJSON ∷ TransitionConfig (AllegraEra c) → Value Source # toEncoding ∷ TransitionConfig (AllegraEra c) → Encoding Source # toJSONList ∷ [TransitionConfig (AllegraEra c)] → Value Source # toEncodingList ∷ [TransitionConfig (AllegraEra c)] → Encoding Source # omitField ∷ TransitionConfig (AllegraEra c) → Bool Source #
Crypto c ⇒ Show (TransitionConfig (AllegraEra c)) Source #
Instance details Methods showsPrec ∷ Int → TransitionConfig (AllegraEra c) → ShowS Source # show ∷ TransitionConfig (AllegraEra c) → String Source # showList ∷ [TransitionConfig (AllegraEra c)] → ShowS Source #
Crypto c ⇒ EraTransition (AllegraEra c) Source #
Instance details Associated Types data TransitionConfig (AllegraEra c) Source # Methods mkTransitionConfig ∷ TranslationContext (AllegraEra c) → TransitionConfig (PreviousEra (AllegraEra c)) → TransitionConfig (AllegraEra c) Source # injectIntoTestState ∷ TransitionConfig (AllegraEra c) → NewEpochState (AllegraEra c) → NewEpochState (AllegraEra c) Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig (AllegraEra c)) (TransitionConfig (PreviousEra (AllegraEra c))) Source # tcTranslationContextL ∷ Lens' (TransitionConfig (AllegraEra c)) (TranslationContext (AllegraEra c)) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig (AllegraEra c)) (ShelleyGenesis (EraCrypto (AllegraEra c))) Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (AllegraEra c)) (PParams (AllegraEra c)) Source #
Crypto c ⇒ Eq (TransitionConfig (AllegraEra c)) Source #
Instance details Methods (==) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra c) → Bool Source # (/=) ∷ TransitionConfig (AllegraEra c) → TransitionConfig (AllegraEra c) → Bool Source #
Crypto c ⇒ NoThunks (TransitionConfig (AllegraEra c)) Source #
Instance details Methods noThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig (AllegraEra c) → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig (AllegraEra c)) → String Source #