Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Conway.Genesis

Contents

Orphan instances

Synopsis

data ConwayGenesis = ConwayGenesis {
- cgUpgradePParams ∷ !(UpgradeConwayPParams Identity)
- cgConstitution ∷ !(Constitution ConwayEra)
- cgCommittee ∷ !(Committee ConwayEra)
- cgDelegs ∷ ListMap (Credential 'Staking) Delegatee
- cgInitialDReps ∷ ListMap (Credential 'DRepRole) DRepState
- cgExtraConfig ∷ !(StrictMaybe ConwayExtraConfig)
}
data ConwayExtraConfig = ConwayExtraConfig {
- cecDelegs ∷ !(InjectionData (Credential 'Staking) Delegatee)
- cecInitialDReps ∷ !(InjectionData (Credential 'DRepRole) DRepState)
}
cgDelegsL ∷ Lens' ConwayGenesis (ListMap (Credential 'Staking) Delegatee)
cgExtraConfigL ∷ Lens' ConwayGenesis (StrictMaybe ConwayExtraConfig)

Documentation

data ConwayGenesis Source #

Constructors

ConwayGenesis
Fields cgUpgradePParams ∷ !(UpgradeConwayPParams Identity) cgConstitution ∷ !(Constitution ConwayEra) cgCommittee ∷ !(Committee ConwayEra) cgDelegs ∷ ListMap (Credential 'Staking) Delegatee cgInitialDReps ∷ ListMap (Credential 'DRepRole) DRepState cgExtraConfig ∷ !(StrictMaybe ConwayExtraConfig) Optional extra configuration for streaming injection.

Instances

Instances details

FromJSON ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

parseJSON ∷ Value → Parser ConwayGenesis Source #

parseJSONList ∷ Value → Parser [ConwayGenesis] Source #

omittedField ∷ Maybe ConwayGenesis Source #

ToJSON ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toJSON ∷ ConwayGenesis → Value Source #

toEncoding ∷ ConwayGenesis → Encoding Source #

toJSONList ∷ [ConwayGenesis] → Value Source #

toEncodingList ∷ [ConwayGenesis] → Encoding Source #

omitField ∷ ConwayGenesis → Bool Source #

FromCBOR ConwayGenesis Source #

Genesis are always encoded with the version of era they are defined in.

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

fromCBOR ∷ Decoder s ConwayGenesis Source #

label ∷ Proxy ConwayGenesis → Text Source #

ToCBOR ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toCBOR ∷ ConwayGenesis → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ConwayGenesis → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGenesis] → Size Source #

DecCBOR ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

decCBOR ∷ Decoder s ConwayGenesis Source #

dropCBOR ∷ Proxy ConwayGenesis → Decoder s () Source #

label ∷ Proxy ConwayGenesis → Text Source #

EncCBOR ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

encCBOR ∷ ConwayGenesis → Encoding Source #

ToKeyValuePairs ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ConwayGenesis → [kv] Source #

NFData ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

rnf ∷ ConwayGenesis → () #

Generic ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Rep ConwayGenesis

Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Rep ConwayGenesis = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGenesis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgUpgradePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeConwayPParams Identity)) :*: (S1 ('MetaSel ('Just "cgConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution ConwayEra)) :*: S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee ConwayEra)))) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking) Delegatee)) :*: (S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole) DRepState)) :*: S1 ('MetaSel ('Just "cgExtraConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ConwayExtraConfig))))))

Methods

from ∷ ConwayGenesis → Rep ConwayGenesis x #

to ∷ Rep ConwayGenesis x → ConwayGenesis #

Show ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

showsPrec ∷ Int → ConwayGenesis → ShowS #

show ∷ ConwayGenesis → String #

showList ∷ [ConwayGenesis] → ShowS #

Eq ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

(==) ∷ ConwayGenesis → ConwayGenesis → Bool #

(/=) ∷ ConwayGenesis → ConwayGenesis → Bool #

NoThunks ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

noThunks ∷ Context → ConwayGenesis → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayGenesis → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ConwayGenesis → String Source #

type Rep ConwayGenesis Source #

Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Rep ConwayGenesis = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.23.0.0-inplace" 'False) (C1 ('MetaCons "ConwayGenesis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgUpgradePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeConwayPParams Identity)) :*: (S1 ('MetaSel ('Just "cgConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution ConwayEra)) :*: S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee ConwayEra)))) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking) Delegatee)) :*: (S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole) DRepState)) :*: S1 ('MetaSel ('Just "cgExtraConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe ConwayExtraConfig))))))

data ConwayExtraConfig Source #

Extra configuration for injecting Conway-specific Genesis data

Constructors

ConwayExtraConfig
Fields cecDelegs ∷ !(InjectionData (Credential 'Staking) Delegatee) Delegations to DReps and stake pools. cecInitialDReps ∷ !(InjectionData (Credential 'DRepRole) DRepState) Initial DRep registrations.