cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Genesis

Documentation

data ConwayGenesis c Source #

Constructors

ConwayGenesis 

Fields

Instances

Instances details
Crypto c ⇒ FromJSON (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

parseJSON ∷ Value → Parser (ConwayGenesis c) Source #

parseJSONList ∷ Value → Parser [ConwayGenesis c] Source #

omittedField ∷ Maybe (ConwayGenesis c) Source #

Crypto c ⇒ ToJSON (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

toJSON ∷ ConwayGenesis c → Value Source #

toEncoding ∷ ConwayGenesis c → Encoding Source #

toJSONList ∷ [ConwayGenesis c] → Value Source #

toEncodingList ∷ [ConwayGenesis c] → Encoding Source #

omitField ∷ ConwayGenesis c → Bool Source #

Generic (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Associated Types

type Rep (ConwayGenesis c) ∷ Type → Type Source #

Methods

from ∷ ConwayGenesis c → Rep (ConwayGenesis c) x Source #

to ∷ Rep (ConwayGenesis c) x → ConwayGenesis c Source #

Show (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

showsPrec ∷ Int → ConwayGenesis c → ShowS Source #

show ∷ ConwayGenesis c → String Source #

showList ∷ [ConwayGenesis c] → ShowS Source #

Crypto c ⇒ DecCBOR (ConwayGenesis c) 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 c) Source #

dropCBOR ∷ Proxy (ConwayGenesis c) → Decoder s () Source #

label ∷ Proxy (ConwayGenesis c) → Text Source #

Crypto c ⇒ EncCBOR (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

encCBOR ∷ ConwayGenesis c → Encoding Source #

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

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

Eq (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

(==) ∷ ConwayGenesis c → ConwayGenesis c → Bool Source #

(/=) ∷ ConwayGenesis c → ConwayGenesis c → Bool Source #

Crypto c ⇒ NoThunks (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

Methods

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

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

showTypeOf ∷ Proxy (ConwayGenesis c) → String Source #

type Rep (ConwayGenesis c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Genesis

type Rep (ConwayGenesis c) = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.14.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 c)))) :*: (S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee (ConwayEra c))) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking c) (Delegatee c))) :*: S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole c) (DRepState c)))))))

toConwayGenesisPairs ∷ (Crypto c, KeyValue e a) ⇒ ConwayGenesis c → [a] Source #

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