cardano-ledger-core-1.19.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.DRep

Documentation

data DRep Source #

Constructors

DRepKeyHash !(KeyHash 'DRepRole) 
DRepScriptHash !ScriptHash 
DRepAlwaysAbstain 
DRepAlwaysNoConfidence 

Bundled Patterns

pattern DRepCredential ∷ Credential 'DRepRole → DRep 

Instances

Instances details
FromJSON DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

parseJSON ∷ Value → Parser DRep Source #

parseJSONList ∷ Value → Parser [DRep] Source #

omittedField ∷ Maybe DRep Source #

FromJSONKey DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

fromJSONKey ∷ FromJSONKeyFunction DRep Source #

fromJSONKeyList ∷ FromJSONKeyFunction [DRep] Source #

ToJSON DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

toJSON ∷ DRep → Value Source #

toEncoding ∷ DRep → Encoding Source #

toJSONList ∷ [DRep] → Value Source #

toEncodingList ∷ [DRep] → Encoding Source #

omitField ∷ DRep → Bool Source #

ToJSONKey DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

toJSONKey ∷ ToJSONKeyFunction DRep Source #

toJSONKeyList ∷ ToJSONKeyFunction [DRep] Source #

DecCBOR DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

decCBOR ∷ Decoder s DRep Source #

dropCBOR ∷ Proxy DRep → Decoder s () Source #

label ∷ Proxy DRep → Text Source #

DecShareCBOR DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Share DRep 
Instance details

Defined in Cardano.Ledger.DRep

type Share DRep = Interns (Credential 'DRepRole)

Methods

getShare ∷ DRep → Share DRep Source #

decShareCBOR ∷ Share DRep → Decoder s DRep Source #

decSharePlusCBOR ∷ StateT (Share DRep) (Decoder s) DRep Source #

EncCBOR DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBOR ∷ DRep → Encoding Source #

NFData DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnf ∷ DRep → () #

Generic DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep DRep 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRep = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ DRep → Rep DRep x #

to ∷ Rep DRep x → DRep #

Show DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

showsPrec ∷ Int → DRep → ShowS #

show ∷ DRep → String #

showList ∷ [DRep] → ShowS #

Eq DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==) ∷ DRep → DRep → Bool #

(/=) ∷ DRep → DRep → Bool #

Ord DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

compare ∷ DRep → DRep → Ordering #

(<) ∷ DRep → DRep → Bool #

(<=) ∷ DRep → DRep → Bool #

(>) ∷ DRep → DRep → Bool #

(>=) ∷ DRep → DRep → Bool #

max ∷ DRep → DRep → DRep #

min ∷ DRep → DRep → DRep #

NoThunks DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

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

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

showTypeOf ∷ Proxy DRep → String Source #

type Share DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Share DRep = Interns (Credential 'DRepRole)
type Rep DRep Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRep = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptHash))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 ∷ Type → Type)))

data DRepState Source #

Constructors

DRepState 

Fields

Instances

Instances details
FromJSON DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

parseJSON ∷ Value → Parser DRepState Source #

parseJSONList ∷ Value → Parser [DRepState] Source #

omittedField ∷ Maybe DRepState Source #

ToJSON DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

toJSON ∷ DRepState → Value Source #

toEncoding ∷ DRepState → Encoding Source #

toJSONList ∷ [DRepState] → Value Source #

toEncodingList ∷ [DRepState] → Encoding Source #

omitField ∷ DRepState → Bool Source #

DecCBOR DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

decCBOR ∷ Decoder s DRepState Source #

dropCBOR ∷ Proxy DRepState → Decoder s () Source #

label ∷ Proxy DRepState → Text Source #

DecShareCBOR DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Share DRepState 
Instance details

Defined in Cardano.Ledger.DRep

type Share DRepState = Interns (Credential 'Staking)

Methods

getShare ∷ DRepState → Share DRepState Source #

decShareCBOR ∷ Share DRepState → Decoder s DRepState Source #

decSharePlusCBOR ∷ StateT (Share DRepState) (Decoder s) DRepState Source #

EncCBOR DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

encCBOR ∷ DRepState → Encoding Source #

NFData DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

rnf ∷ DRepState → () #

Generic DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Associated Types

type Rep DRepState 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRepState = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.19.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))) :*: (S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))

Methods

from ∷ DRepState → Rep DRepState x #

to ∷ Rep DRepState x → DRepState #

Show DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

showsPrec ∷ Int → DRepState → ShowS #

show ∷ DRepState → String #

showList ∷ [DRepState] → ShowS #

Eq DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

(==) ∷ DRepState → DRepState → Bool #

(/=) ∷ DRepState → DRepState → Bool #

Ord DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

compare ∷ DRepState → DRepState → Ordering #

(<) ∷ DRepState → DRepState → Bool #

(<=) ∷ DRepState → DRepState → Bool #

(>) ∷ DRepState → DRepState → Bool #

(>=) ∷ DRepState → DRepState → Bool #

max ∷ DRepState → DRepState → DRepState #

min ∷ DRepState → DRepState → DRepState #

NoThunks DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

Methods

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

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

showTypeOf ∷ Proxy DRepState → String Source #

type Share DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Share DRepState = Interns (Credential 'Staking)
type Rep DRepState Source # 
Instance details

Defined in Cardano.Ledger.DRep

type Rep DRepState = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.19.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))) :*: (S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking))))))

credToDRep ∷ Credential 'DRepRole → DRep Source #

dRepToText ∷ DRep → Text Source #

dRepToCred ∷ DRep → Maybe (Credential 'DRepRole) Source #

drepExpiryL ∷ Lens' DRepState EpochNo Source #

drepAnchorL ∷ Lens' DRepState (StrictMaybe Anchor) Source #

drepDepositL ∷ Lens' DRepState Coin Source #

drepDelegsL ∷ Lens' DRepState (Set (Credential 'Staking)) Source #