cardano-ledger-allegra-1.9.0.0: Allegra ledger era that introduces time lock support.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Allegra.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) Source # 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

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

Defined in Cardano.Ledger.Allegra.Transition

Methods

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

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

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}
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 AllegraEra Source # 
Instance details

Associated Types

newtype TransitionConfig AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.Transition

newtype TransitionConfig AllegraEra = AllegraTransitionConfig {}

Methods

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

injectIntoTestState ∷ TransitionConfig AllegraEra → NewEpochState AllegraEra → NewEpochState AllegraEra Source #

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

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

tcShelleyGenesisL ∷ Lens' (TransitionConfig AllegraEra) ShelleyGenesis Source #

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

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

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AllegraEra)

Show (TransitionConfig AllegraEra) Source # 
Instance details

Methods

showsPrec ∷ Int → TransitionConfig AllegraEra → ShowS #

show ∷ TransitionConfig AllegraEra → String #

showList ∷ [TransitionConfig AllegraEra] → ShowS #

Eq (TransitionConfig AllegraEra) Source # 
Instance details

Methods

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

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

NoThunks (TransitionConfig AllegraEra) Source # 
Instance details

Methods

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

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

showTypeOf ∷ Proxy (TransitionConfig AllegraEra) → String Source #