Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Keys

Contents

VKey
Key Roles
Key Hashes
Signature
VRF Key Hashes
Genesis delegations
To be removed
- Re-exports from cardano-crypto-class
Deprecated
- DSIGN
- KES
- VRF

Synopsis

newtype VKey (kd ∷ KeyRole) = VKey {
- unVKey ∷ VerKeyDSIGN DSIGN
}
data KeyRole
- = Genesis
- | GenesisDelegate
- | Payment
- | Staking
- | StakePool
- | BlockIssuer
- | Witness
- | DRepRole
- | HotCommitteeRole
- | ColdCommitteeRole
class HasKeyRole (a ∷ KeyRole → Type) where
- coerceKeyRole ∷ a r → a r'
asWitness ∷ HasKeyRole a ⇒ a r → a 'Witness
newtype KeyHash (r ∷ KeyRole) = KeyHash {
- unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)
}
hashKey ∷ VKey kd → KeyHash kd
type DSIGN = Ed25519DSIGN
type DSignable = Signable DSIGN
signedDSIGN ∷ Signable DSIGN a ⇒ SignKeyDSIGN DSIGN → a → SignedDSIGN DSIGN a
verifySignedDSIGN ∷ Signable DSIGN a ⇒ VKey kd → a → SignedDSIGN DSIGN a → Bool
hashSignature ∷ SignedDSIGN (Hash h) → Hash (SignedDSIGN (Hash h))
data KeyRoleVRF
- = StakePoolVRF
- | GenDelegVRF
- | BlockIssuerVRF
newtype VRFVerKeyHash (r ∷ KeyRoleVRF) = VRFVerKeyHash {
- unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF
}
toVRFVerKeyHash ∷ Hash HASH (VerKeyVRF v) → VRFVerKeyHash (r ∷ KeyRoleVRF)
fromVRFVerKeyHash ∷ VRFVerKeyHash (r ∷ KeyRoleVRF) → Hash HASH (VerKeyVRF v)
data GenDelegPair = GenDelegPair {
- genDelegKeyHash ∷ !(KeyHash 'GenesisDelegate)
- genDelegVrfHash ∷ !(VRFVerKeyHash 'GenDelegVRF)
}
newtype GenDelegs = GenDelegs {
- unGenDelegs ∷ Map (KeyHash 'Genesis) GenDelegPair
}
module Cardano.Ledger.Keys.WitVKey
module Cardano.Ledger.Keys.Bootstrap
decodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ Decoder s (SignedDSIGN v a)
encodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ SignedDSIGN v a → Encoding
hashWithSerialiser ∷ HashAlgorithm h ⇒ (a → Encoding) → a → Hash h a
type Hash = Hash HASH
type SignedDSIGN = SignedDSIGN DSIGN
type SignKeyDSIGN = SignKeyDSIGN DSIGN
type KESignable c = Signable (KES c)
type SignedKES c = SignedKES (KES c)
type SignKeyKES c = SignKeyKES (KES c)
type VerKeyKES c = VerKeyKES (KES c)
type VRFSignable c = Signable (VRF c)
type CertifiedVRF c = CertifiedVRF (VRF c)
type SignKeyVRF c = SignKeyVRF (VRF c)
type VerKeyVRF c = VerKeyVRF (VRF c)
hashVerKeyVRF ∷ Crypto c ⇒ VerKeyVRF (VRF c) → VRFVerKeyHash (r ∷ KeyRoleVRF)

VKey

newtype VKey (kd ∷ KeyRole) Source #

Discriminated verification key

We wrap the basic VerKeyDSIGN in order to add the key role.

Constructors

VKey
Fields unVKey ∷ VerKeyDSIGN DSIGN

Instances

Instances details

HasKeyRole VKey Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). VKey r → VKey r' Source #
Generic (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Associated Types type Rep (VKey kd) ∷ Type → Type Source # Methods from ∷ VKey kd → Rep (VKey kd) x Source # to ∷ Rep (VKey kd) x → VKey kd Source #
Show (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods showsPrec ∷ Int → VKey kd → ShowS Source # show ∷ VKey kd → String Source # showList ∷ [VKey kd] → ShowS Source #
Typeable kd ⇒ FromCBOR (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods fromCBOR ∷ Decoder s (VKey kd) Source # label ∷ Proxy (VKey kd) → Text Source #
Typeable kd ⇒ ToCBOR (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods toCBOR ∷ VKey kd → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VKey kd) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VKey kd] → Size Source #
Typeable kd ⇒ DecCBOR (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods decCBOR ∷ Decoder s (VKey kd) Source # dropCBOR ∷ Proxy (VKey kd) → Decoder s () Source # label ∷ Proxy (VKey kd) → Text Source #
Typeable kd ⇒ EncCBOR (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods encCBOR ∷ VKey kd → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VKey kd) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VKey kd] → Size Source #
NFData (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods rnf ∷ VKey kd → () Source #
Eq (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods (==) ∷ VKey kd → VKey kd → Bool Source # (/=) ∷ VKey kd → VKey kd → Bool Source #
NoThunks (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods noThunks ∷ Context → VKey kd → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VKey kd → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VKey kd) → String Source #
type Rep (VKey kd) Source #
Instance details Defined in Cardano.Ledger.Keys.Internal type Rep (VKey kd) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN DSIGN))))

Key Roles

data KeyRole Source #

The role of a key.

All key roles are fixed and unique, except for the Witness role. In particular, keys can be cast to a Witness role with the help of asWitness, because same witness can be valid for many roles.

In fact, it is perfectly allowable for a key to be used in many roles by the end user; there is nothing prohibiting somebody using the same underlying key or a script as their payment and staking credential, as well as the key for their stake pool. However, in the ledger code mixing up keys with different roles could be catastrophic, that is why we have this separation.

Constructors

Genesis
GenesisDelegate
Payment
Staking
StakePool
BlockIssuer
Witness
DRepRole
HotCommitteeRole
ColdCommitteeRole

Instances

Instances details

Show KeyRole Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods showsPrec ∷ Int → KeyRole → ShowS Source # show ∷ KeyRole → String Source # showList ∷ [KeyRole] → ShowS Source #

class HasKeyRole (a ∷ KeyRole → Type) where Source #

Minimal complete definition

Nothing

Methods

coerceKeyRole ∷ a r → a r' Source #

General coercion of key roles.

The presence of this function is mostly to help the user realise where they are converting key roles.

default coerceKeyRole ∷ Coercible (a r) (a r') ⇒ a r → a r' Source #

Instances

Instances details

HasKeyRole Credential Source #
Instance details Defined in Cardano.Ledger.Credential Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). Credential r → Credential r' Source #
HasKeyRole KeyHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). KeyHash r → KeyHash r' Source #
HasKeyRole VKey Source #
Instance details Defined in Cardano.Ledger.Keys.Internal Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). VKey r → VKey r' Source #

asWitness ∷ HasKeyRole a ⇒ a r → a 'Witness Source #

Use a key as a witness.

This is the most common coercion between key roles, because most keys can be used as witnesses to some types of transaction. As such, we provide an explicit coercion for it.

Key Hashes

newtype KeyHash (r ∷ KeyRole) Source #

Discriminated hash of public Key

Constructors

KeyHash
Fields unKeyHash ∷ Hash ADDRHASH (VerKeyDSIGN DSIGN)

Instances

Instances details

HasKeyRole KeyHash Source #
Instance details Defined in Cardano.Ledger.Hashes Methods coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). KeyHash r → KeyHash r' Source #
FromJSON (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (KeyHash r) Source # parseJSONList ∷ Value → Parser [KeyHash r] Source # omittedField ∷ Maybe (KeyHash r) Source #
FromJSONKey (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (KeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [KeyHash r] Source #
ToJSON (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ KeyHash r → Value Source # toEncoding ∷ KeyHash r → Encoding Source # toJSONList ∷ [KeyHash r] → Value Source # toEncodingList ∷ [KeyHash r] → Encoding Source # omitField ∷ KeyHash r → Bool Source #
ToJSONKey (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (KeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [KeyHash r] Source #
Generic (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (KeyHash r) ∷ Type → Type Source # Methods from ∷ KeyHash r → Rep (KeyHash r) x Source # to ∷ Rep (KeyHash r) x → KeyHash r Source #
Show (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → KeyHash r → ShowS Source # show ∷ KeyHash r → String Source # showList ∷ [KeyHash r] → ShowS Source #
Typeable r ⇒ FromCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (KeyHash r) Source # label ∷ Proxy (KeyHash r) → Text Source #
Typeable r ⇒ ToCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ KeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (KeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [KeyHash r] → Size Source #
Typeable r ⇒ DecCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (KeyHash r) Source # dropCBOR ∷ Proxy (KeyHash r) → Decoder s () Source # label ∷ Proxy (KeyHash r) → Text Source #
Typeable r ⇒ EncCBOR (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ KeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (KeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [KeyHash r] → Size Source #
Default (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ KeyHash r Source #
NFData (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ KeyHash r → () Source #
Eq (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ KeyHash r → KeyHash r → Bool Source # (/=) ∷ KeyHash r → KeyHash r → Bool Source #
Ord (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ KeyHash r → KeyHash r → Ordering Source # (<) ∷ KeyHash r → KeyHash r → Bool Source # (<=) ∷ KeyHash r → KeyHash r → Bool Source # (>) ∷ KeyHash r → KeyHash r → Bool Source # (>=) ∷ KeyHash r → KeyHash r → Bool Source # max ∷ KeyHash r → KeyHash r → KeyHash r Source # min ∷ KeyHash r → KeyHash r → KeyHash r Source #
NoThunks (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → KeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (KeyHash r) → String Source #
type Rep (KeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))

hashKey ∷ VKey kd → KeyHash kd Source #

Hash a given public key

Signature

type DSIGN = Ed25519DSIGN Source #

Cryptographic signing algorithm used on Cardano blockchain.

type DSignable = Signable DSIGN Source #

signedDSIGN ∷ Signable DSIGN a ⇒ SignKeyDSIGN DSIGN → a → SignedDSIGN DSIGN a Source #

Produce a digital signature

verifySignedDSIGN ∷ Signable DSIGN a ⇒ VKey kd → a → SignedDSIGN DSIGN a → Bool Source #

Verify a digital signature

hashSignature ∷ SignedDSIGN (Hash h) → Hash (SignedDSIGN (Hash h)) Source #

Deprecated: In favor of hashTxBodySignature. Fallback on hashWith if you need more general hashing functionality.

Hash a given signature

VRF Key Hashes

data KeyRoleVRF Source #

Constructors

StakePoolVRF
GenDelegVRF
BlockIssuerVRF

newtype VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

Discriminated hash of VRF Verification Key

Constructors

VRFVerKeyHash
Fields unVRFVerKeyHash ∷ Hash HASH KeyRoleVRF

Instances

Instances details

FromJSON (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser (VRFVerKeyHash r) Source # parseJSONList ∷ Value → Parser [VRFVerKeyHash r] Source # omittedField ∷ Maybe (VRFVerKeyHash r) Source #
FromJSONKey (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromJSONKey ∷ FromJSONKeyFunction (VRFVerKeyHash r) Source # fromJSONKeyList ∷ FromJSONKeyFunction [VRFVerKeyHash r] Source #
ToJSON (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ VRFVerKeyHash r → Value Source # toEncoding ∷ VRFVerKeyHash r → Encoding Source # toJSONList ∷ [VRFVerKeyHash r] → Value Source # toEncodingList ∷ [VRFVerKeyHash r] → Encoding Source # omitField ∷ VRFVerKeyHash r → Bool Source #
ToJSONKey (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSONKey ∷ ToJSONKeyFunction (VRFVerKeyHash r) Source # toJSONKeyList ∷ ToJSONKeyFunction [VRFVerKeyHash r] Source #
Generic (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep (VRFVerKeyHash r) ∷ Type → Type Source # Methods from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x Source # to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r Source #
Show (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → VRFVerKeyHash r → ShowS Source # show ∷ VRFVerKeyHash r → String Source # showList ∷ [VRFVerKeyHash r] → ShowS Source #
Typeable r ⇒ FromCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR ∷ Decoder s (VRFVerKeyHash r) Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
Typeable r ⇒ ToCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toCBOR ∷ VRFVerKeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size Source #
Typeable r ⇒ DecCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s (VRFVerKeyHash r) Source # dropCBOR ∷ Proxy (VRFVerKeyHash r) → Decoder s () Source # label ∷ Proxy (VRFVerKeyHash r) → Text Source #
Typeable r ⇒ EncCBOR (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ VRFVerKeyHash r → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (VRFVerKeyHash r) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [VRFVerKeyHash r] → Size Source #
Default (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods def ∷ VRFVerKeyHash r Source #
NFData (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ VRFVerKeyHash r → () Source #
Eq (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source #
Ord (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering Source # (<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # (>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool Source # max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source # min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r Source #
NoThunks (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → VRFVerKeyHash r → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (VRFVerKeyHash r) → String Source #
type Rep (VRFVerKeyHash r) Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)

toVRFVerKeyHash ∷ Hash HASH (VerKeyVRF v) → VRFVerKeyHash (r ∷ KeyRoleVRF) Source #

fromVRFVerKeyHash ∷ VRFVerKeyHash (r ∷ KeyRoleVRF) → Hash HASH (VerKeyVRF v) Source #

Genesis delegations

data GenDelegPair Source #

Constructors

GenDelegPair
Fields genDelegKeyHash ∷ !(KeyHash 'GenesisDelegate) genDelegVrfHash ∷ !(VRFVerKeyHash 'GenDelegVRF)

Instances

Instances details

FromJSON GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser GenDelegPair Source # parseJSONList ∷ Value → Parser [GenDelegPair] Source # omittedField ∷ Maybe GenDelegPair Source #
ToJSON GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ GenDelegPair → Value Source # toEncoding ∷ GenDelegPair → Encoding Source # toJSONList ∷ [GenDelegPair] → Value Source # toEncodingList ∷ [GenDelegPair] → Encoding Source # omitField ∷ GenDelegPair → Bool Source #
Generic GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep GenDelegPair ∷ Type → Type Source # Methods from ∷ GenDelegPair → Rep GenDelegPair x Source # to ∷ Rep GenDelegPair x → GenDelegPair Source #
Show GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → GenDelegPair → ShowS Source # show ∷ GenDelegPair → String Source # showList ∷ [GenDelegPair] → ShowS Source #
DecCBOR GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s GenDelegPair Source # dropCBOR ∷ Proxy GenDelegPair → Decoder s () Source # label ∷ Proxy GenDelegPair → Text Source #
EncCBOR GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ GenDelegPair → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GenDelegPair → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GenDelegPair] → Size Source #
NFData GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ GenDelegPair → () Source #
Eq GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ GenDelegPair → GenDelegPair → Bool Source # (/=) ∷ GenDelegPair → GenDelegPair → Bool Source #
Ord GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods compare ∷ GenDelegPair → GenDelegPair → Ordering Source # (<) ∷ GenDelegPair → GenDelegPair → Bool Source # (<=) ∷ GenDelegPair → GenDelegPair → Bool Source # (>) ∷ GenDelegPair → GenDelegPair → Bool Source # (>=) ∷ GenDelegPair → GenDelegPair → Bool Source # max ∷ GenDelegPair → GenDelegPair → GenDelegPair Source # min ∷ GenDelegPair → GenDelegPair → GenDelegPair Source #
NoThunks GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → GenDelegPair → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenDelegPair → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenDelegPair → String Source #
type Rep GenDelegPair Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep GenDelegPair = D1 ('MetaData "GenDelegPair" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.17.0.0-inplace" 'False) (C1 ('MetaCons "GenDelegPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "genDelegKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate)) :*: S1 ('MetaSel ('Just "genDelegVrfHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VRFVerKeyHash 'GenDelegVRF))))

newtype GenDelegs Source #

Constructors

GenDelegs
Fields unGenDelegs ∷ Map (KeyHash 'Genesis) GenDelegPair

Instances

Instances details

FromJSON GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON ∷ Value → Parser GenDelegs Source # parseJSONList ∷ Value → Parser [GenDelegs] Source # omittedField ∷ Maybe GenDelegs Source #
ToJSON GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods toJSON ∷ GenDelegs → Value Source # toEncoding ∷ GenDelegs → Encoding Source # toJSONList ∷ [GenDelegs] → Value Source # toEncodingList ∷ [GenDelegs] → Encoding Source # omitField ∷ GenDelegs → Bool Source #
Generic GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep GenDelegs ∷ Type → Type Source # Methods from ∷ GenDelegs → Rep GenDelegs x Source # to ∷ Rep GenDelegs x → GenDelegs Source #
Show GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec ∷ Int → GenDelegs → ShowS Source # show ∷ GenDelegs → String Source # showList ∷ [GenDelegs] → ShowS Source #
DecCBOR GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods decCBOR ∷ Decoder s GenDelegs Source # dropCBOR ∷ Proxy GenDelegs → Decoder s () Source # label ∷ Proxy GenDelegs → Text Source #
EncCBOR GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods encCBOR ∷ GenDelegs → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GenDelegs → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GenDelegs] → Size Source #
NFData GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods rnf ∷ GenDelegs → () Source #
Eq GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods (==) ∷ GenDelegs → GenDelegs → Bool Source # (/=) ∷ GenDelegs → GenDelegs → Bool Source #
NoThunks GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes Methods noThunks ∷ Context → GenDelegs → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenDelegs → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenDelegs → String Source #
type Rep GenDelegs Source #
Instance details Defined in Cardano.Ledger.Hashes type Rep GenDelegs = D1 ('MetaData "GenDelegs" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'Genesis) GenDelegPair))))