Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Conway.Genesis

Contents

Orphan instances

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

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 #
Generic ConwayGenesis Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis Associated Types type Rep ConwayGenesis ∷ Type → Type Source # Methods from ∷ ConwayGenesis → Rep ConwayGenesis x Source # to ∷ Rep ConwayGenesis x → ConwayGenesis Source #
Show ConwayGenesis Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods showsPrec ∷ Int → ConwayGenesis → ShowS Source # show ∷ ConwayGenesis → String Source # showList ∷ [ConwayGenesis] → ShowS Source #
DecCBOR ConwayGenesis Source #	Genesis are always encoded with the version of era they are defined in.
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy ConwayGenesis → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ConwayGenesis] → Size Source #
Eq ConwayGenesis Source #
Instance details Defined in Cardano.Ledger.Conway.Genesis Methods (==) ∷ ConwayGenesis → ConwayGenesis → Bool Source # (/=) ∷ ConwayGenesis → ConwayGenesis → Bool Source #
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.19.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))))))

toConwayGenesisPairs ∷ KeyValue e a ⇒ ConwayGenesis → [a] Source #

cgDelegsL ∷ Lens' ConwayGenesis (ListMap (Credential 'Staking) Delegatee) Source #

Orphan instances

EraGenesis ConwayEra Source #
Instance details Associated Types type Genesis ConwayEra Source #