| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Conway.Transition
Contents
Synopsis
- class (EraTransition era, ConwayEraCertState era) ⇒ ConwayEraTransition era where
- data family TransitionConfig era
- toConwayTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a]
- registerDRepsThenDelegs ∷ ConwayEraTransition era ⇒ TransitionConfig era → NewEpochState era → NewEpochState era
Documentation
class (EraTransition era, ConwayEraCertState era) ⇒ ConwayEraTransition era where Source #
Minimal complete definition
Nothing
Methods
tcConwayGenesisL ∷ Lens' (TransitionConfig era) ConwayGenesis Source #
default tcConwayGenesisL ∷ ConwayEraTransition (PreviousEra era) ⇒ Lens' (TransitionConfig era) ConwayGenesis Source #
Instances
data family TransitionConfig era Source #
Cumulative configuration that is needed to be able to start in a current era
Instances
toConwayTransitionConfigPairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a] Source #
registerDRepsThenDelegs ∷ ConwayEraTransition era ⇒ TransitionConfig era → NewEpochState era → NewEpochState era Source #