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

Cardano.Ledger.Keys

Synopsis

VKey

newtype VKey (kd ∷ KeyRole) Source #

Discriminated verification key

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

Constructors

VKey 

Fields

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 #

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 #

EncCBOR (VKey kd) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Internal

Methods

encCBOR ∷ VKey kd → Encoding Source #

NFData (VKey kd) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Internal

Methods

rnf ∷ VKey kd → () #

Generic (VKey kd) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Internal

Associated Types

type Rep (VKey kd) 
Instance details

Defined in Cardano.Ledger.Keys.Internal

type Rep (VKey kd) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN DSIGN))))

Methods

from ∷ VKey kd → Rep (VKey kd) x #

to ∷ Rep (VKey kd) x → VKey kd #

Show (VKey kd) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Internal

Methods

showsPrec ∷ Int → VKey kd → ShowS #

show ∷ VKey kd → String #

showList ∷ [VKey kd] → ShowS #

Eq (VKey kd) Source # 
Instance details

Defined in Cardano.Ledger.Keys.Internal

Methods

(==) ∷ VKey kd → VKey kd → Bool #

(/=) ∷ VKey kd → VKey kd → Bool #

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.19.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

GenesisRole 
GenesisDelegate 
Payment 
Staking 
StakePool 
BlockIssuer 
Witness 
DRepRole 
HotCommitteeRole 
ColdCommitteeRole 
Guard 

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

Minimal complete definition

Nothing

Methods

coerceKeyRole ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). 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 ∷ ∀ (r ∷ KeyRole) (r' ∷ KeyRole). 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 ∷ ∀ a (r ∷ KeyRole). 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

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 #

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 #

EncCBOR (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ KeyHash r → Encoding 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 → () #

Generic (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep (KeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep (KeyHash r) = Rep (Hash ADDRHASH (VerKeyDSIGN DSIGN))

Methods

from ∷ KeyHash r → Rep (KeyHash r) x #

to ∷ Rep (KeyHash r) x → KeyHash r #

Show (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → KeyHash r → ShowS #

show ∷ KeyHash r → String #

showList ∷ [KeyHash r] → ShowS #

Eq (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ KeyHash r → KeyHash r → Bool #

(/=) ∷ KeyHash r → KeyHash r → Bool #

Ord (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ KeyHash r → KeyHash r → Ordering #

(<) ∷ KeyHash r → KeyHash r → Bool #

(<=) ∷ KeyHash r → KeyHash r → Bool #

(>) ∷ KeyHash r → KeyHash r → Bool #

(>=) ∷ KeyHash r → KeyHash r → Bool #

max ∷ KeyHash r → KeyHash r → KeyHash r #

min ∷ KeyHash r → KeyHash r → KeyHash r #

MemPack (KeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

typeName ∷ String Source #

packedByteCount ∷ KeyHash r → Int Source #

packM ∷ KeyHash r → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (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 ∷ ∀ (kd ∷ KeyRole). 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 ∷ ∀ a (kd ∷ KeyRole). Signable DSIGN a ⇒ VKey kd → a → SignedDSIGN DSIGN a → Bool Source #

Verify a digital 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

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 #

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 #

EncCBOR (VRFVerKeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

encCBOR ∷ VRFVerKeyHash r → Encoding 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 → () #

Generic (VRFVerKeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep (VRFVerKeyHash r) 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep (VRFVerKeyHash r) = Rep (Hash HASH KeyRoleVRF)

Methods

from ∷ VRFVerKeyHash r → Rep (VRFVerKeyHash r) x #

to ∷ Rep (VRFVerKeyHash r) x → VRFVerKeyHash r #

Show (VRFVerKeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → VRFVerKeyHash r → ShowS #

show ∷ VRFVerKeyHash r → String #

showList ∷ [VRFVerKeyHash r] → ShowS #

Eq (VRFVerKeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

(/=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

Ord (VRFVerKeyHash r) Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ VRFVerKeyHash r → VRFVerKeyHash r → Ordering #

(<) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

(<=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

(>) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

(>=) ∷ VRFVerKeyHash r → VRFVerKeyHash r → Bool #

max ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r #

min ∷ VRFVerKeyHash r → VRFVerKeyHash r → VRFVerKeyHash r #

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 ∷ ∀ v (r ∷ KeyRoleVRF). Hash HASH (VerKeyVRF v) → VRFVerKeyHash r Source #

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

Genesis delegations

data GenDelegPair Source #

Constructors

GenDelegPair 

Fields

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 #

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 #

NFData GenDelegPair Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf ∷ GenDelegPair → () #

Generic GenDelegPair Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep GenDelegPair 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep GenDelegPair = D1 ('MetaData "GenDelegPair" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.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))))

Methods

from ∷ GenDelegPair → Rep GenDelegPair x #

to ∷ Rep GenDelegPair x → GenDelegPair #

Show GenDelegPair Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → GenDelegPair → ShowS #

show ∷ GenDelegPair → String #

showList ∷ [GenDelegPair] → ShowS #

Eq GenDelegPair Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ GenDelegPair → GenDelegPair → Bool #

(/=) ∷ GenDelegPair → GenDelegPair → Bool #

Ord GenDelegPair Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

compare ∷ GenDelegPair → GenDelegPair → Ordering #

(<) ∷ GenDelegPair → GenDelegPair → Bool #

(<=) ∷ GenDelegPair → GenDelegPair → Bool #

(>) ∷ GenDelegPair → GenDelegPair → Bool #

(>=) ∷ GenDelegPair → GenDelegPair → Bool #

max ∷ GenDelegPair → GenDelegPair → GenDelegPair #

min ∷ GenDelegPair → GenDelegPair → GenDelegPair #

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.19.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

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 #

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 #

NFData GenDelegs Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

rnf ∷ GenDelegs → () #

Generic GenDelegs Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Associated Types

type Rep GenDelegs 
Instance details

Defined in Cardano.Ledger.Hashes

type Rep GenDelegs = D1 ('MetaData "GenDelegs" "Cardano.Ledger.Hashes" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'GenesisRole) GenDelegPair))))

Methods

from ∷ GenDelegs → Rep GenDelegs x #

to ∷ Rep GenDelegs x → GenDelegs #

Show GenDelegs Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

showsPrec ∷ Int → GenDelegs → ShowS #

show ∷ GenDelegs → String #

showList ∷ [GenDelegs] → ShowS #

Eq GenDelegs Source # 
Instance details

Defined in Cardano.Ledger.Hashes

Methods

(==) ∷ GenDelegs → GenDelegs → Bool #

(/=) ∷ GenDelegs → GenDelegs → Bool #

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.19.0.0-inplace" 'True) (C1 ('MetaCons "GenDelegs" 'PrefixI 'True) (S1 ('MetaSel ('Just "unGenDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'GenesisRole) GenDelegPair))))

module Cardano.Ledger.Keys.WitVKey

module Cardano.Ledger.Keys.Bootstrap

To be removed

Re-exports from cardano-crypto-class

decodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ Decoder s (SignedDSIGN v a) Source #

encodeSignedDSIGN ∷ DSIGNAlgorithm v ⇒ SignedDSIGN v a → Encoding Source #

hashWithSerialiser ∷ HashAlgorithm h ⇒ (a → Encoding) → a → Hash h a Source #

A variation on hashWith, but specially for CBOR encodings.