cardano-ledger-mary-1.10.0.0: Cardano ledger with multiasset support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Mary.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 #

EraTransition era ⇒ ToKeyValuePairs (TransitionConfig era) 
Instance details

Defined in Cardano.Ledger.Shelley.Transition

Methods

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

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 MaryEra) Source # 
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 MaryEra) Source # 
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 MaryEra) Source # 
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 {}
newtype TransitionConfig MaryEra Source # 
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 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 MaryEra Source # 
Instance details

Associated Types

newtype TransitionConfig MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.Transition

newtype TransitionConfig MaryEra = MaryTransitionConfig {}

Methods

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

injectIntoTestState ∷ TransitionConfig MaryEra → NewEpochState MaryEra → NewEpochState MaryEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig MaryEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig MaryEra)

Show (TransitionConfig MaryEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TransitionConfig MaryEra → ShowS #

show ∷ TransitionConfig MaryEra → String #

showList ∷ [TransitionConfig MaryEra] → ShowS #

Eq (TransitionConfig MaryEra) Source # 
Instance details

Methods

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

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

NoThunks (TransitionConfig MaryEra) Source # 
Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig MaryEra) → String Source #