type Rep Map
Instance details Defined in Cardano.Chain.Delegation.Map type Rep Map = D1 ('MetaData "Map" "Cardano.Chain.Delegation.Map" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "Map" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap KeyHash KeyHash))))

Methods

from ∷ Map → Rep Map x #

to ∷ Rep Map x → Map #

Show Map Source #

Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

showsPrec ∷ Int → Map → ShowS #

show ∷ Map → String #

showList ∷ [Map] → ShowS #

Eq Map Source #

Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

(==) ∷ Map → Map → Bool #

(/=) ∷ Map → Map → Bool #

NoThunks Map Source #

A Bimap contains two regular Maps, which are spine strict; we therefore have to worry about the elements only

Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

noThunks ∷ Context → Map → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Map → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Map → String Source #

type Rep Map Source #

Instance details

Defined in Cardano.Chain.Delegation.Map

type Rep Map = D1 ('MetaData "Map" "Cardano.Chain.Delegation.Map" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "Map" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap KeyHash KeyHash))))

insert ∷ KeyHash → KeyHash → Map → Map Source #

memberR ∷ KeyHash → Map → Bool Source #

notMemberR ∷ KeyHash → Map → Bool Source #

pairMember ∷ (KeyHash, KeyHash) → Map → Bool Source #

lookupR ∷ KeyHash → Map → Maybe KeyHash Source #

data ACertificate a Source #

Delegation certificate allowing the delegateVK to sign blocks on behalf of issuerVK

Each delegator can publish at most one Certificate per EpochNumber, and that EpochNumber must correspond to the current or next EpochNumber at the time of publishing

Constructors

UnsafeACertificate
Fields aEpoch ∷ !(Annotated EpochNumber a) The epoch from which the delegation is valid issuerVK ∷ !VerificationKey The issuer of the certificate, who delegates their right to sign blocks delegateVK ∷ !VerificationKey The delegate, who gains the right to sign blocks signature ∷ !(Signature EpochNumber) The signature that proves the certificate was issued by `issuerVK` annotation ∷ !a

Instances

Instances details

FromCBOR Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

fromCBOR ∷ Decoder s Certificate Source #

label ∷ Proxy Certificate → Text Source #

ToCBOR Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

toCBOR ∷ Certificate → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Certificate → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Certificate] → Size Source #

DecCBOR Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

decCBOR ∷ Decoder s Certificate Source #

dropCBOR ∷ Proxy Certificate → Decoder s () Source #

label ∷ Proxy Certificate → Text Source #

EncCBOR Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

encCBOR ∷ Certificate → Encoding Source #

Functor ACertificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

fmap ∷ (a → b) → ACertificate a → ACertificate b #

(<$) ∷ a → ACertificate b → ACertificate a #

MonadError SchemaError m ⇒ FromJSON m Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

fromJSON ∷ JSValue → m Certificate Source #

Monad m ⇒ ToJSON m Certificate Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

toJSON ∷ Certificate → m JSValue Source #

ToJSON a ⇒ ToJSON (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

toJSON ∷ ACertificate a → Value Source #

toEncoding ∷ ACertificate a → Encoding Source #

toJSONList ∷ [ACertificate a] → Value Source #

toEncodingList ∷ [ACertificate a] → Encoding Source #

omitField ∷ ACertificate a → Bool Source #

FromCBOR (ACertificate ByteSpan) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

fromCBOR ∷ Decoder s (ACertificate ByteSpan) Source #

label ∷ Proxy (ACertificate ByteSpan) → Text Source #

Decoded (ACertificate ByteString) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Associated Types

type BaseType (ACertificate ByteString)
Instance details Defined in Cardano.Chain.Delegation.Certificate type BaseType (ACertificate ByteString) = Certificate

Methods

recoverBytes ∷ ACertificate ByteString → ByteString Source #

DecCBOR (ACertificate ByteSpan) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

decCBOR ∷ Decoder s (ACertificate ByteSpan) Source #

dropCBOR ∷ Proxy (ACertificate ByteSpan) → Decoder s () Source #

label ∷ Proxy (ACertificate ByteSpan) → Text Source #

NFData a ⇒ NFData (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

rnf ∷ ACertificate a → () #

Buildable (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

build ∷ ACertificate a → Builder Source #

Generic (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Associated Types

type Rep (ACertificate a)

Instance details

Defined in Cardano.Chain.Delegation.Certificate

type Rep (ACertificate a) = D1 ('MetaData "ACertificate" "Cardano.Chain.Delegation.Certificate" "cardano-ledger-byron-1.3.0.1-inplace" 'False) (C1 ('MetaCons "UnsafeACertificate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated EpochNumber a)) :*: S1 ('MetaSel ('Just "issuerVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :*: (S1 ('MetaSel ('Just "delegateVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :*: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature EpochNumber)) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))))

Methods

from ∷ ACertificate a → Rep (ACertificate a) x #

to ∷ Rep (ACertificate a) x → ACertificate a #

Show a ⇒ Show (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

showsPrec ∷ Int → ACertificate a → ShowS #

show ∷ ACertificate a → String #

showList ∷ [ACertificate a] → ShowS #

Eq a ⇒ Eq (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

(==) ∷ ACertificate a → ACertificate a → Bool #

(/=) ∷ ACertificate a → ACertificate a → Bool #

Ord a ⇒ Ord (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

compare ∷ ACertificate a → ACertificate a → Ordering #

(<) ∷ ACertificate a → ACertificate a → Bool #

(<=) ∷ ACertificate a → ACertificate a → Bool #

(>) ∷ ACertificate a → ACertificate a → Bool #

(>=) ∷ ACertificate a → ACertificate a → Bool #

max ∷ ACertificate a → ACertificate a → ACertificate a #

min ∷ ACertificate a → ACertificate a → ACertificate a #

NoThunks a ⇒ NoThunks (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

noThunks ∷ Context → ACertificate a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ACertificate a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ACertificate a) → String Source #

type BaseType (ACertificate ByteString) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

type BaseType (ACertificate ByteString) = Certificate

type Rep (ACertificate a) Source #

Instance details

Defined in Cardano.Chain.Delegation.Certificate

type Rep (ACertificate a) = D1 ('MetaData "ACertificate" "Cardano.Chain.Delegation.Certificate" "cardano-ledger-byron-1.3.0.1-inplace" 'False) (C1 ('MetaCons "UnsafeACertificate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aEpoch") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Annotated EpochNumber a)) :*: S1 ('MetaSel ('Just "issuerVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey)) :*: (S1 ('MetaSel ('Just "delegateVK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VerificationKey) :*: (S1 ('MetaSel ('Just "signature") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Signature EpochNumber)) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))))

keysSet ∷ Map → Set KeyHash Source #

isValid ∷ Annotated ProtocolMagicId ByteString → ACertificate ByteString → Bool Source #

A Certificate is valid if the Signature is valid

epoch ∷ ACertificate a → EpochNumber Source #

type Certificate = ACertificate () Source #

type Payload = APayload () Source #

type CertificateId = Hash Certificate Source #

A delegation certificate identifier (the Hash of a Certificate).

signCertificate ∷ ProtocolMagicId → VerificationKey → EpochNumber → SafeSigner → Certificate Source #

Create a Certificate, signing it with the provided safe signer.

unsafeCertificate Source #

Arguments

∷ EpochNumber
→ VerificationKey	The issuer of the certificate. See `UnsafeACertificate`.
→ VerificationKey	The delegate of the certificate. See `UnsafeACertificate`.
→ Signature EpochNumber
→ Certificate