cardano-ledger-byron-1.0.2.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Delegation

Synopsis

Documentation

data APayload a Source #

The delegation Payload contains a list of delegation Certificates

Constructors

UnsafeAPayload 

Fields

Instances

Instances details
Functor APayload Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

fmap ∷ (a → b) → APayload a → APayload b Source #

(<$) ∷ a → APayload b → APayload a Source #

FromCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

ToCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

toCBORPayloadEncoding Source #

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

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

DecCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

EncCBOR Payload Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

encCBORPayloadEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy PayloadSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Payload] → Size Source #

ToJSON a ⇒ ToJSON (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Generic (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Associated Types

type Rep (APayload a) ∷ TypeType Source #

Methods

fromAPayload a → Rep (APayload a) x Source #

toRep (APayload a) x → APayload a Source #

Show a ⇒ Show (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

FromCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Decoded (APayload ByteString) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Associated Types

type BaseType (APayload ByteString) Source #

DecCBOR (APayload ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

NFData a ⇒ NFData (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

rnfAPayload a → () Source #

Buildable (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

buildAPayload a → Builder Source #

Eq a ⇒ Eq (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

Methods

(==)APayload a → APayload a → Bool Source #

(/=)APayload a → APayload a → Bool Source #

type Rep (APayload a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

type Rep (APayload a) = D1 ('MetaData "APayload" "Cardano.Chain.Delegation.Payload" "cardano-ledger-byron-1.0.2.0-inplace" 'False) (C1 ('MetaCons "UnsafeAPayload" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPayload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ACertificate a]) :*: S1 ('MetaSel ('Just "getAnnotation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))
type BaseType (APayload ByteString) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Payload

newtype Map Source #

Constructors

Map 

Instances

Instances details
Generic Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Associated Types

type Rep MapTypeType Source #

Methods

fromMapRep Map x Source #

toRep Map x → Map Source #

Show Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

showsPrecIntMapShowS Source #

showMapString Source #

showList ∷ [Map] → ShowS Source #

FromCBOR Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

ToCBOR Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

toCBORMapEncoding Source #

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

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

DecCBOR Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

EncCBOR Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

encCBORMapEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy MapSize Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Map] → Size Source #

NFData Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

rnfMap → () Source #

Eq Map Source # 
Instance details

Defined in Cardano.Chain.Delegation.Map

Methods

(==)MapMapBool Source #

(/=)MapMapBool Source #

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

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.0.2.0-inplace" 'True) (C1 ('MetaCons "Map" 'PrefixI 'True) (S1 ('MetaSel ('Just "unMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Bimap KeyHash KeyHash))))

Query

Update

insertKeyHashKeyHashMapMap Source #

Conversion/traversal

Certificate

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

Instances

Instances details
Functor ACertificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

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

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

FromCBOR Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

ToCBOR Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

toCBORCertificateEncoding Source #

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

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

DecCBOR Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

EncCBOR Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

encCBORCertificateEncoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy CertificateSize Source #

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

MonadError SchemaError m ⇒ FromJSON m Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Monad m ⇒ ToJSON m Certificate Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

toJSONCertificate → m JSValue Source #

ToJSON a ⇒ ToJSON (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Generic (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Associated Types

type Rep (ACertificate a) ∷ TypeType Source #

Show a ⇒ Show (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

FromCBOR (ACertificate ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Decoded (ACertificate ByteString) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Associated Types

type BaseType (ACertificate ByteString) Source #

DecCBOR (ACertificate ByteSpan) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

NFData a ⇒ NFData (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

rnfACertificate a → () Source #

Buildable (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Methods

buildACertificate a → Builder Source #

Eq a ⇒ Eq (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

Ord a ⇒ Ord (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

NoThunks a ⇒ NoThunks (ACertificate a) Source # 
Instance details

Defined in Cardano.Chain.Delegation.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.0.2.0-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)))))
type BaseType (ACertificate ByteString) Source # 
Instance details

Defined in Cardano.Chain.Delegation.Certificate

type CertificateId = Hash Certificate Source #

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

Certificate Constructors

signCertificateProtocolMagicIdVerificationKeyEpochNumberSafeSignerCertificate 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 

Create a certificate using the provided signature.

Certificate Accessor

Certificate Predicate