cardano-ledger-conway-1.21.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Conway.Transition

Synopsis

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

Instances details
ConwayEraTransition ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

tcConwayGenesisL ∷ Lens' (TransitionConfig ConwayEra) ConwayGenesis Source #

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 #

EraTransition era ⇒ ToKeyValuePairs (TransitionConfig era) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ TransitionConfig era → [kv] Source #

Generic (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

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.15.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))))

Methods

from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x #

to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra #

Generic (TransitionConfig ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Associated Types

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.21.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))))

Methods

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

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

Generic (TransitionConfig ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Associated Types

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.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

Methods

from ∷ TransitionConfig ShelleyEra → Rep (TransitionConfig ShelleyEra) x #

to ∷ Rep (TransitionConfig ShelleyEra) x → TransitionConfig ShelleyEra #

Show (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

showList ∷ [TransitionConfig AllegraEra] → ShowS #

Show (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Show (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS #

show ∷ TransitionConfig BabbageEra → String #

showList ∷ [TransitionConfig BabbageEra] → ShowS #

Show (TransitionConfig ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS #

show ∷ TransitionConfig ConwayEra → String #

showList ∷ [TransitionConfig ConwayEra] → ShowS #

Show (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → 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 #

Eq (TransitionConfig AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

(==) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

(/=) ∷ TransitionConfig AllegraEra → TransitionConfig AllegraEra → Bool #

Eq (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

(==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

(/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

Eq (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

(==) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool #

(/=) ∷ TransitionConfig BabbageEra → TransitionConfig BabbageEra → Bool #

Eq (TransitionConfig ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

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

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

Eq (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

(==) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → Bool #

(/=) ∷ TransitionConfig MaryEra → TransitionConfig MaryEra → 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 AllegraEra) 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #

NoThunks (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

NoThunks (TransitionConfig BabbageEra) 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source #

NoThunks (TransitionConfig ConwayEra) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #

NoThunks (TransitionConfig MaryEra) 
Instance details

Defined in Cardano.Ledger.Mary.Transition

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → 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 {}
data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {}
newtype TransitionConfig BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

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

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {}
newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}
newtype TransitionConfig ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

newtype TransitionConfig ShelleyEra = ShelleyTransitionConfig {}
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.15.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) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Transition

type Rep (TransitionConfig ConwayEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Conway.Transition" "cardano-ledger-conway-1.21.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 ShelleyEra) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

type Rep (TransitionConfig ShelleyEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Shelley.Transition" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "stcShelleyGenesis") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShelleyGenesis)))

registerDRepsThenDelegs ∷ ConwayEraTransition era ⇒ TransitionConfig era → NewEpochState era → NewEpochState era Source #

conwayRegisterInitialAccounts ∷ (HasCallStack, EraTransition era, ConwayEraAccounts era) ⇒ ShelleyGenesisStaking → NewEpochState era → NewEpochState era Source #

Register all staking credentials and apply delegations. Make sure StakePools that are bing delegated to are already registered, which can be done with registerInitialStakePools.

conwayRegisterInitialFundsThenStaking ∷ ConwayEraTransition era ⇒ TransitionConfig era → NewEpochState era → NewEpochState era Source #

Orphan instances

EraTransition ConwayEra Source # 
Instance details

Associated Types

data TransitionConfig ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.Transition

data TransitionConfig ConwayEra = ConwayTransitionConfig {}

Methods

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

injectIntoTestState ∷ TransitionConfig ConwayEra → NewEpochState ConwayEra → NewEpochState ConwayEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig ConwayEra) ShelleyGenesis Source #

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

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig ConwayEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig ConwayEra)

Generic (TransitionConfig ConwayEra) Source # 
Instance details

Associated Types

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.21.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))))

Methods

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

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

Show (TransitionConfig ConwayEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TransitionConfig ConwayEra → ShowS #

show ∷ TransitionConfig ConwayEra → String #

showList ∷ [TransitionConfig ConwayEra] → ShowS #

Eq (TransitionConfig ConwayEra) Source # 
Instance details

Methods

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

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

NoThunks (TransitionConfig ConwayEra) Source # 
Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig ConwayEra) → String Source #