cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.DRep

Documentation

data DRep c Source #

Bundled Patterns

pattern DRepCredentialCredential 'DRepRole c → DRep c 

Instances

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

Defined in Cardano.Ledger.DRep

Crypto c ⇒ FromJSONKey (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

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

Defined in Cardano.Ledger.DRep

Crypto c ⇒ ToJSONKey (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Generic (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep (DRep c) ∷ TypeType Source #

Methods

fromDRep c → Rep (DRep c) x Source #

toRep (DRep c) x → DRep c Source #

Show (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

showsPrecIntDRep c → ShowS Source #

showDRep c → String Source #

showList ∷ [DRep c] → ShowS Source #

Crypto c ⇒ DecCBOR (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

decCBORDecoder s (DRep c) Source #

dropCBORProxy (DRep c) → Decoder s () Source #

labelProxy (DRep c) → Text Source #

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

Defined in Cardano.Ledger.DRep

Methods

encCBORDRep c → Encoding Source #

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

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

NFData (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRep c → () Source #

Eq (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==)DRep c → DRep c → Bool Source #

(/=)DRep c → DRep c → Bool Source #

Ord (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

compareDRep c → DRep c → Ordering Source #

(<)DRep c → DRep c → Bool Source #

(<=)DRep c → DRep c → Bool Source #

(>)DRep c → DRep c → Bool Source #

(>=)DRep c → DRep c → Bool Source #

maxDRep c → DRep c → DRep c Source #

minDRep c → DRep c → DRep c Source #

NoThunks (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRep c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRep c) = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole c))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ScriptHash c)))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1TypeType)))

data DRepState c Source #

Constructors

DRepState 

Instances

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

Defined in Cardano.Ledger.DRep

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

Defined in Cardano.Ledger.DRep

Generic (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep (DRepState c) ∷ TypeType Source #

Methods

fromDRepState c → Rep (DRepState c) x Source #

toRep (DRepState c) x → DRepState c Source #

Show (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Crypto c ⇒ DecCBOR (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

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

Defined in Cardano.Ledger.DRep

Methods

encCBORDRepState c → Encoding Source #

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

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

Crypto c ⇒ NFData (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnfDRepState c → () Source #

Eq (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==)DRepState c → DRepState c → Bool Source #

(/=)DRepState c → DRepState c → Bool Source #

Ord (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

NoThunks (DRepState era) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRepState c) Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep (DRepState c) = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "DRepState" 'PrefixI 'True) (S1 ('MetaSel ('Just "drepExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "drepAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))) :*: S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))