Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Dijkstra.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

EraTransition era ⇒ FromJSON (TransitionConfig era)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods parseJSON ∷ Value → Parser (TransitionConfig era) Source # parseJSONList ∷ Value → Parser [TransitionConfig era] Source # omittedField ∷ Maybe (TransitionConfig era) Source #
ToKeyValuePairs (TransitionConfig era) ⇒ ToJSON (TransitionConfig era)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toJSON ∷ TransitionConfig era → Value Source # toEncoding ∷ TransitionConfig era → Encoding Source # toJSONList ∷ [TransitionConfig era] → Value Source # toEncodingList ∷ [TransitionConfig era] → Encoding Source # omitField ∷ TransitionConfig era → Bool Source #
Generic (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Associated Types type Rep (TransitionConfig DijkstraEra) ∷ Type → Type # Methods from ∷ TransitionConfig DijkstraEra → Rep (TransitionConfig DijkstraEra) x # to ∷ Rep (TransitionConfig DijkstraEra) x → TransitionConfig DijkstraEra #
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 DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods showsPrec ∷ Int → TransitionConfig DijkstraEra → ShowS # show ∷ TransitionConfig DijkstraEra → String # showList ∷ [TransitionConfig DijkstraEra] → 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 #
EraTransition era ⇒ ToKeyValuePairs (TransitionConfig era)
Instance details Defined in Cardano.Ledger.Shelley.Transition Methods toKeyValuePairs ∷ KeyValue e kv ⇒ TransitionConfig era → [kv] Source #
Eq (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods (==) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool # (/=) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → 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 DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition Methods noThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → 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
Instance details Defined in Cardano.Ledger.Alonzo.Transition data TransitionConfig AlonzoEra = AlonzoTransitionConfig { atcAlonzoGenesis ∷ !AlonzoGenesis atcMaryTransitionConfig ∷ !(TransitionConfig MaryEra) }
newtype TransitionConfig BabbageEra
Instance details Defined in Cardano.Ledger.Babbage.Transition newtype TransitionConfig BabbageEra = BabbageTransitionConfig { btcAlonzoTransitionConfig ∷ TransitionConfig AlonzoEra }
data TransitionConfig ConwayEra
Instance details Defined in Cardano.Ledger.Conway.Transition data TransitionConfig ConwayEra = ConwayTransitionConfig { ctcConwayGenesis ∷ !ConwayGenesis ctcBabbageTransitionConfig ∷ !(TransitionConfig BabbageEra) }
data TransitionConfig DijkstraEra Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition data TransitionConfig DijkstraEra = DijkstraTransitionConfig { dtcDijkstraGenesis ∷ !DijkstraGenesis dtcConwayTransitionConfig ∷ !(TransitionConfig ConwayEra) }
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)
Instance details Defined in Cardano.Ledger.Alonzo.Transition type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.14.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 ConwayEra)
Instance details Defined in Cardano.Ledger.Conway.Transition type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.20.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ConwayGenesis) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig BabbageEra))))
type Rep (TransitionConfig DijkstraEra) Source #
Instance details Defined in Cardano.Ledger.Dijkstra.Transition type Rep (TransitionConfig DijkstraEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Dijkstra.Transition" "cardano-ledger-dijkstra-0.1.0.0-inplace" 'False) (C1 ('MetaCons "DijkstraTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "dtcDijkstraGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DijkstraGenesis) :*: S1 ('MetaSel ('Just "dtcConwayTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig ConwayEra))))
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.17.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Orphan instances

ConwayEraTransition DijkstraEra Source #
Instance details Methods tcConwayGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ConwayGenesis Source #
EraTransition DijkstraEra Source #
Instance details Associated Types data TransitionConfig DijkstraEra Source # Methods mkTransitionConfig ∷ TranslationContext DijkstraEra → TransitionConfig (PreviousEra DijkstraEra) → TransitionConfig DijkstraEra Source # injectIntoTestState ∷ TransitionConfig DijkstraEra → NewEpochState DijkstraEra → NewEpochState DijkstraEra Source # tcPreviousEraConfigL ∷ Lens' (TransitionConfig DijkstraEra) (TransitionConfig (PreviousEra DijkstraEra)) Source # tcTranslationContextL ∷ Lens' (TransitionConfig DijkstraEra) (TranslationContext DijkstraEra) Source # tcShelleyGenesisL ∷ Lens' (TransitionConfig DijkstraEra) ShelleyGenesis Source # tcInitialPParamsG ∷ SimpleGetter (TransitionConfig DijkstraEra) (PParams DijkstraEra) Source # toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig DijkstraEra → [a] parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig DijkstraEra)
Generic (TransitionConfig DijkstraEra) Source #
Instance details Associated Types type Rep (TransitionConfig DijkstraEra) ∷ Type → Type # Methods from ∷ TransitionConfig DijkstraEra → Rep (TransitionConfig DijkstraEra) x # to ∷ Rep (TransitionConfig DijkstraEra) x → TransitionConfig DijkstraEra #
Show (TransitionConfig DijkstraEra) Source #
Instance details Methods showsPrec ∷ Int → TransitionConfig DijkstraEra → ShowS # show ∷ TransitionConfig DijkstraEra → String # showList ∷ [TransitionConfig DijkstraEra] → ShowS #
Eq (TransitionConfig DijkstraEra) Source #
Instance details Methods (==) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool # (/=) ∷ TransitionConfig DijkstraEra → TransitionConfig DijkstraEra → Bool #
NoThunks (TransitionConfig DijkstraEra) Source #
Instance details Methods noThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TransitionConfig DijkstraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (TransitionConfig DijkstraEra) → String Source #