cardano-ledger-conway-1.18.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Transition

Synopsis

Documentation

class EraTransition era ⇒ ConwayEraTransition era where Source #

Methods

tcDelegsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'Staking (EraCrypto era)) (Delegatee (EraCrypto era))) Source #

tcInitialDRepsL ∷ Lens' (TransitionConfig era) (ListMap (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era))) Source #

tcConwayGenesisL ∷ Lens' (TransitionConfig era) (ConwayGenesis (EraCrypto era)) Source #

Instances

Instances details
Crypto c ⇒ ConwayEraTransition (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

tcDelegsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'Staking (EraCrypto (ConwayEra c))) (Delegatee (EraCrypto (ConwayEra c)))) Source #

tcInitialDRepsL ∷ Lens' (TransitionConfig (ConwayEra c)) (ListMap (Credential 'DRepRole (EraCrypto (ConwayEra c))) (DRepState (EraCrypto (ConwayEra c)))) Source #

tcConwayGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ConwayGenesis (EraCrypto (ConwayEra c))) Source #

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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

parseJSON ∷ Value → Parser (TransitionConfig (ConwayEra c)) Source #

parseJSONList ∷ Value → Parser [TransitionConfig (ConwayEra c)] Source #

omittedField ∷ Maybe (TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

toJSON ∷ TransitionConfig (ConwayEra c) → Value Source #

toEncoding ∷ TransitionConfig (ConwayEra c) → Encoding Source #

toJSONList ∷ [TransitionConfig (ConwayEra c)] → Value Source #

toEncodingList ∷ [TransitionConfig (ConwayEra c)] → Encoding Source #

omitField ∷ TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

type Rep (TransitionConfig (ConwayEra c)) ∷ Type → Type Source #

Methods

from ∷ TransitionConfig (ConwayEra c) → Rep (TransitionConfig (ConwayEra c)) x Source #

to ∷ Rep (TransitionConfig (ConwayEra c)) x → TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

showsPrec ∷ Int → TransitionConfig (ConwayEra c) → ShowS Source #

show ∷ TransitionConfig (ConwayEra c) → String Source #

showList ∷ [TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

(==) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra c) → Bool Source #

(/=) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

noThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig (ConwayEra 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 (ConwayEra c)) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig (ConwayEra c)) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.18.0.0-inplace" 'False) (C1 ('MetaCons "ConwayTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "ctcConwayGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGenesis c)) :*: S1 ('MetaSel ('Just "ctcBabbageTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig (BabbageEra 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 {}
data TransitionConfig (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig (AlonzoEra c) = AlonzoTransitionConfig {}
newtype TransitionConfig (BabbageEra c) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig (BabbageEra c) = BabbageTransitionConfig {}
data TransitionConfig (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig (ConwayEra c) = ConwayTransitionConfig {}
newtype TransitionConfig (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig (MaryEra c) = MaryTransitionConfig {}
newtype TransitionConfig (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig (ShelleyEra c) = ShelleyTransitionConfig {}

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

Orphan instances

Crypto c ⇒ FromJSON (TransitionConfig (ConwayEra c)) Source # 
Instance details

Methods

parseJSON ∷ Value → Parser (TransitionConfig (ConwayEra c)) Source #

parseJSONList ∷ Value → Parser [TransitionConfig (ConwayEra c)] Source #

omittedField ∷ Maybe (TransitionConfig (ConwayEra c)) Source #

Crypto c ⇒ ToJSON (TransitionConfig (ConwayEra c)) Source # 
Instance details

Methods

toJSON ∷ TransitionConfig (ConwayEra c) → Value Source #

toEncoding ∷ TransitionConfig (ConwayEra c) → Encoding Source #

toJSONList ∷ [TransitionConfig (ConwayEra c)] → Value Source #

toEncodingList ∷ [TransitionConfig (ConwayEra c)] → Encoding Source #

omitField ∷ TransitionConfig (ConwayEra c) → Bool Source #

Generic (TransitionConfig (ConwayEra c)) Source # 
Instance details

Associated Types

type Rep (TransitionConfig (ConwayEra c)) ∷ Type → Type Source #

Methods

from ∷ TransitionConfig (ConwayEra c) → Rep (TransitionConfig (ConwayEra c)) x Source #

to ∷ Rep (TransitionConfig (ConwayEra c)) x → TransitionConfig (ConwayEra c) Source #

Crypto c ⇒ Show (TransitionConfig (ConwayEra c)) Source # 
Instance details

Methods

showsPrec ∷ Int → TransitionConfig (ConwayEra c) → ShowS Source #

show ∷ TransitionConfig (ConwayEra c) → String Source #

showList ∷ [TransitionConfig (ConwayEra c)] → ShowS Source #

Crypto c ⇒ EraTransition (ConwayEra c) Source # 
Instance details

Associated Types

data TransitionConfig (ConwayEra c) Source #

Methods

mkTransitionConfig ∷ TranslationContext (ConwayEra c) → TransitionConfig (PreviousEra (ConwayEra c)) → TransitionConfig (ConwayEra c) Source #

injectIntoTestState ∷ TransitionConfig (ConwayEra c) → NewEpochState (ConwayEra c) → NewEpochState (ConwayEra c) Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig (ConwayEra c)) (TransitionConfig (PreviousEra (ConwayEra c))) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig (ConwayEra c)) (TranslationContext (ConwayEra c)) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig (ConwayEra c)) (ShelleyGenesis (EraCrypto (ConwayEra c))) Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig (ConwayEra c)) (PParams (ConwayEra c)) Source #

Crypto c ⇒ Eq (TransitionConfig (ConwayEra c)) Source # 
Instance details

Methods

(==) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra c) → Bool Source #

(/=) ∷ TransitionConfig (ConwayEra c) → TransitionConfig (ConwayEra c) → Bool Source #

Crypto c ⇒ NoThunks (TransitionConfig (ConwayEra c)) Source # 
Instance details

Methods

noThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig (ConwayEra c) → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig (ConwayEra c)) → String Source #