Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
pattern DRepCredential ∷ Credential 'DRepRole c → DRep c |
Instances
DRepState | |
|
Instances
Crypto c ⇒ FromJSON (DRepState c) Source # | |
Crypto c ⇒ ToJSON (DRepState c) Source # | |
Generic (DRepState c) Source # | |
Show (DRepState c) Source # | |
Crypto c ⇒ DecCBOR (DRepState c) Source # | |
Crypto c ⇒ EncCBOR (DRepState c) Source # | |
Crypto c ⇒ NFData (DRepState c) Source # | |
Defined in Cardano.Ledger.DRep | |
Eq (DRepState c) Source # | |
Ord (DRepState c) Source # | |
Defined in Cardano.Ledger.DRep | |
NoThunks (DRepState era) Source # | |
type Rep (DRepState c) Source # | |
Defined in Cardano.Ledger.DRep type Rep (DRepState c) = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.12.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)))) |
drepAnchorL ∷ Lens' (DRepState c) (StrictMaybe (Anchor c)) Source #