Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.Transition

Contents

Orphan instances

Synopsis

data family TransitionConfig era
toAlonzoTransitionConfigPairs ∷ (KeyValue e a, Crypto c) ⇒ TransitionConfig (AlonzoEra c) → [a]

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

toAlonzoTransitionConfigPairs ∷ (KeyValue e a, Crypto c) ⇒ TransitionConfig (AlonzoEra c) → [a] Source #

Orphan instances

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