Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.DRep

Documentation

data DRep c Source #

Constructors

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

Bundled Patterns

pattern DRepCredential ∷ Credential 'DRepRole c → DRep c

Instances

Instances details

Crypto c ⇒ FromJSON (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods parseJSON ∷ Value → Parser (DRep c) Source # parseJSONList ∷ Value → Parser [DRep c] Source # omittedField ∷ Maybe (DRep c) Source #
Crypto c ⇒ FromJSONKey (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods fromJSONKey ∷ FromJSONKeyFunction (DRep c) Source # fromJSONKeyList ∷ FromJSONKeyFunction [DRep c] Source #
Crypto c ⇒ ToJSON (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSON ∷ DRep c → Value Source # toEncoding ∷ DRep c → Encoding Source # toJSONList ∷ [DRep c] → Value Source # toEncodingList ∷ [DRep c] → Encoding Source # omitField ∷ DRep c → Bool Source #
Crypto c ⇒ ToJSONKey (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSONKey ∷ ToJSONKeyFunction (DRep c) Source # toJSONKeyList ∷ ToJSONKeyFunction [DRep c] Source #
Generic (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep (DRep c) ∷ Type → Type Source # Methods from ∷ DRep c → Rep (DRep c) x Source # to ∷ Rep (DRep c) x → DRep c Source #
Show (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods showsPrec ∷ Int → DRep c → ShowS Source # show ∷ DRep c → String Source # showList ∷ [DRep c] → ShowS Source #
Crypto c ⇒ DecCBOR (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods decCBOR ∷ Decoder s (DRep c) Source # dropCBOR ∷ Proxy (DRep c) → Decoder s () Source # label ∷ Proxy (DRep c) → Text Source #
Crypto c ⇒ EncCBOR (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods encCBOR ∷ DRep 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 rnf ∷ DRep 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 compare ∷ DRep 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 # max ∷ DRep c → DRep c → DRep c Source # min ∷ DRep c → DRep c → DRep c Source #
NoThunks (DRep c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods noThunks ∷ Context → DRep c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRep c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRep c) → String Source #
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.16.0.0-inplace" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole c))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ScriptHash c)))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 ∷ Type → Type)))

data DRepState c Source #

Constructors

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

Instances

Instances details

Crypto c ⇒ FromJSON (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods parseJSON ∷ Value → Parser (DRepState c) Source # parseJSONList ∷ Value → Parser [DRepState c] Source # omittedField ∷ Maybe (DRepState c) Source #
Crypto c ⇒ ToJSON (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods toJSON ∷ DRepState c → Value Source # toEncoding ∷ DRepState c → Encoding Source # toJSONList ∷ [DRepState c] → Value Source # toEncodingList ∷ [DRepState c] → Encoding Source # omitField ∷ DRepState c → Bool Source #
Generic (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Associated Types type Rep (DRepState c) ∷ Type → Type Source # Methods from ∷ DRepState c → Rep (DRepState c) x Source # to ∷ Rep (DRepState c) x → DRepState c Source #
Show (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods showsPrec ∷ Int → DRepState c → ShowS Source # show ∷ DRepState c → String Source # showList ∷ [DRepState c] → ShowS Source #
Crypto c ⇒ DecCBOR (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods decCBOR ∷ Decoder s (DRepState c) Source # dropCBOR ∷ Proxy (DRepState c) → Decoder s () Source # label ∷ Proxy (DRepState c) → Text Source #
Crypto c ⇒ EncCBOR (DRepState c) Source #
Instance details Defined in Cardano.Ledger.DRep Methods encCBOR ∷ DRepState 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 rnf ∷ DRepState 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 Methods compare ∷ DRepState c → DRepState c → Ordering Source # (<) ∷ DRepState c → DRepState c → Bool Source # (<=) ∷ DRepState c → DRepState c → Bool Source # (>) ∷ DRepState c → DRepState c → Bool Source # (>=) ∷ DRepState c → DRepState c → Bool Source # max ∷ DRepState c → DRepState c → DRepState c Source # min ∷ DRepState c → DRepState c → DRepState c Source #
NoThunks (DRepState era) Source #
Instance details Defined in Cardano.Ledger.DRep Methods noThunks ∷ Context → DRepState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → DRepState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (DRepState era) → String Source #
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.16.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) :*: S1 ('MetaSel ('Just "drepDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (Credential 'Staking c))))))

drepExpiryL ∷ Lens' (DRepState c) EpochNo Source #

drepAnchorL ∷ Lens' (DRepState c) (StrictMaybe (Anchor c)) Source #

drepDepositL ∷ Lens' (DRepState c) Coin Source #

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