Safe Haskell	Safe-Inferred
Language	Haskell2010

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 #
Generic DRep Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep DRep ∷ 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 #
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 Source # 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 → () #
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 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)))
type Share DRep Source #
Instance details Defined in Cardano.Ledger.DRep type Share DRep = Interns (Credential 'DRepRole)

data DRepState Source #

Constructors

DRepState
Fields drepExpiry ∷ !EpochNo drepAnchor ∷ !(StrictMaybe Anchor) drepDeposit ∷ !(CompactForm Coin) drepDelegs ∷ !(Set (Credential 'Staking))

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 #
Generic DRepState Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep DRepState ∷ Type → Type # 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 #
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 Source # 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 → () #
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 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))))))
type Share DRepState Source #
Instance details Defined in Cardano.Ledger.DRep type Share DRepState = Interns (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 #