cardano-ledger-babbage-1.12.1.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Babbage.Transition

Synopsis

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 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 BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS #

show ∷ TransitionConfig BabbageEra → String #

showList ∷ [TransitionConfig BabbageEra] → 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 BabbageEra) Source # 
Instance details

Defined in Cardano.Ledger.Babbage.Transition

Methods

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

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

Defined in Cardano.Ledger.Babbage.Transition

newtype TransitionConfig BabbageEra = BabbageTransitionConfig {}
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 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)))

Orphan instances

EraTransition BabbageEra Source # 
Instance details

Associated Types

data TransitionConfig BabbageEra Source #

Methods

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

injectIntoTestState ∷ TransitionConfig BabbageEra → NewEpochState BabbageEra → NewEpochState BabbageEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig BabbageEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig BabbageEra)

Show (TransitionConfig BabbageEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TransitionConfig BabbageEra → ShowS #

show ∷ TransitionConfig BabbageEra → String #

showList ∷ [TransitionConfig BabbageEra] → ShowS #

Eq (TransitionConfig BabbageEra) Source # 
Instance details

Methods

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

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

NoThunks (TransitionConfig BabbageEra) Source # 
Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig BabbageEra) → String Source #