cardano-ledger-api-1.16.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Leios

Synopsis

Documentation

validateLeiosCert ∷ Era era ⇒ Globals → LeiosCertEnv → LeiosCert → Either (NonEmpty (DijkstraLeiosCertPredFailure era)) () Source #

data LeiosCertEnv Source #

Constructors

LeiosCertEnv 

Fields

Instances

Instances details
NFData LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

rnf ∷ LeiosCertEnv → () #

Generic LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Associated Types

type Rep LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

type Rep LeiosCertEnv = D1 ('MetaData "LeiosCertEnv" "Cardano.Ledger.Dijkstra.Rules.LeiosCert" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) (C1 ('MetaCons "LeiosCertEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "lseCurrentSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "lseAnnouncementSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "lseAnnouncedInBlockHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentBlockHeader)) :*: S1 ('MetaSel ('Just "lseLeiosCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LeiosCommittee))) :*: ((S1 ('MetaSel ('Just "lseThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "lseAnnouncementPeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32)) :*: (S1 ('MetaSel ('Just "lseVotePeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32) :*: S1 ('MetaSel ('Just "lseDiffusionPeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32)))))

Methods

from ∷ LeiosCertEnv → Rep LeiosCertEnv x #

to ∷ Rep LeiosCertEnv x → LeiosCertEnv #

Show LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

showsPrec ∷ Int → LeiosCertEnv → ShowS #

show ∷ LeiosCertEnv → String #

showList ∷ [LeiosCertEnv] → ShowS #

Eq LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

(==) ∷ LeiosCertEnv → LeiosCertEnv → Bool #

(/=) ∷ LeiosCertEnv → LeiosCertEnv → Bool #

type Rep LeiosCertEnv 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

type Rep LeiosCertEnv = D1 ('MetaData "LeiosCertEnv" "Cardano.Ledger.Dijkstra.Rules.LeiosCert" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) (C1 ('MetaCons "LeiosCertEnv" 'PrefixI 'True) (((S1 ('MetaSel ('Just "lseCurrentSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "lseAnnouncementSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)) :*: (S1 ('MetaSel ('Just "lseAnnouncedInBlockHeader") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SafeHash EraIndependentBlockHeader)) :*: S1 ('MetaSel ('Just "lseLeiosCommittee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LeiosCommittee))) :*: ((S1 ('MetaSel ('Just "lseThreshold") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "lseAnnouncementPeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32)) :*: (S1 ('MetaSel ('Just "lseVotePeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32) :*: S1 ('MetaSel ('Just "lseDiffusionPeriodLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Milliseconds32)))))

data DijkstraLeiosCertPredFailure era Source #

Constructors

LeiosCertTooEarly (Mismatch 'RelGTEQ SlotNo) 
LeiosCertAnnouncedInPreviousEpoch (Mismatch 'RelEQ EpochNo) 
LeiosCertMalformedCommittee Int 
LeiosCertMalformedSigners 
LeiosCertSignersWithoutKey (NonEmpty Word16) 
LeiosCertInsufficientWeight (Mismatch 'RelGTEQ Rational) 
LeiosCertInvalidSignature 

Instances

Instances details
InjectRuleFailure "BBODY" DijkstraLeiosCertPredFailure DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Bbody

Methods

injectFailure ∷ DijkstraLeiosCertPredFailure DijkstraEra → EraRuleFailure "BBODY" DijkstraEra Source #

InjectRuleFailure "LEIOSCERT" DijkstraLeiosCertPredFailure DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

injectFailure ∷ DijkstraLeiosCertPredFailure DijkstraEra → EraRuleFailure "LEIOSCERT" DijkstraEra Source #

Typeable era ⇒ DecCBOR (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

decCBOR ∷ Decoder s (DijkstraLeiosCertPredFailure era) Source #

dropCBOR ∷ Proxy (DijkstraLeiosCertPredFailure era) → Decoder s () Source #

label ∷ Proxy (DijkstraLeiosCertPredFailure era) → Text Source #

EncCBOR (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

encCBOR ∷ DijkstraLeiosCertPredFailure era → Encoding Source #

NFData (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

rnf ∷ DijkstraLeiosCertPredFailure era → () #

Generic (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Associated Types

type Rep (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

type Rep (DijkstraLeiosCertPredFailure era) = D1 ('MetaData "DijkstraLeiosCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.LeiosCert" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) ((C1 ('MetaCons "LeiosCertTooEarly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ SlotNo))) :+: (C1 ('MetaCons "LeiosCertAnnouncedInPreviousEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ EpochNo))) :+: C1 ('MetaCons "LeiosCertMalformedCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "LeiosCertMalformedSigners" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeiosCertSignersWithoutKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Word16)))) :+: (C1 ('MetaCons "LeiosCertInsufficientWeight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Rational))) :+: C1 ('MetaCons "LeiosCertInvalidSignature" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ DijkstraLeiosCertPredFailure era → Rep (DijkstraLeiosCertPredFailure era) x #

to ∷ Rep (DijkstraLeiosCertPredFailure era) x → DijkstraLeiosCertPredFailure era #

Show (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

showsPrec ∷ Int → DijkstraLeiosCertPredFailure era → ShowS #

show ∷ DijkstraLeiosCertPredFailure era → String #

showList ∷ [DijkstraLeiosCertPredFailure era] → ShowS #

Eq (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

(==) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

(/=) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

Ord (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

Methods

compare ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Ordering #

(<) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

(<=) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

(>) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

(>=) ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → Bool #

max ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era #

min ∷ DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era → DijkstraLeiosCertPredFailure era #

type Rep (DijkstraLeiosCertPredFailure era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.LeiosCert

type Rep (DijkstraLeiosCertPredFailure era) = D1 ('MetaData "DijkstraLeiosCertPredFailure" "Cardano.Ledger.Dijkstra.Rules.LeiosCert" "cardano-ledger-dijkstra-0.5.0.0-inplace" 'False) ((C1 ('MetaCons "LeiosCertTooEarly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ SlotNo))) :+: (C1 ('MetaCons "LeiosCertAnnouncedInPreviousEpoch" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelEQ EpochNo))) :+: C1 ('MetaCons "LeiosCertMalformedCommittee" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))) :+: ((C1 ('MetaCons "LeiosCertMalformedSigners" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "LeiosCertSignersWithoutKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty Word16)))) :+: (C1 ('MetaCons "LeiosCertInsufficientWeight" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Mismatch 'RelGTEQ Rational))) :+: C1 ('MetaCons "LeiosCertInvalidSignature" 'PrefixI 'False) (U1 ∷ Type → Type))))

data LeiosCert Source #

A Leios certificate over an endorser block (CIP-164): a bitfield of which committee seats signed, plus their aggregate signature. Build via aggregateLeiosCert, verify via verifyLeiosCert.

Instances

Instances details
DecCBOR LeiosCert 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBOR ∷ Decoder s LeiosCert Source #

dropCBOR ∷ Proxy LeiosCert → Decoder s () Source #

label ∷ Proxy LeiosCert → Text Source #

EncCBOR LeiosCert 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ LeiosCert → Encoding Source #

NFData LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

Methods

rnf ∷ LeiosCert → () #

Generic LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

Associated Types

type Rep LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

type Rep LeiosCert = D1 ('MetaData "LeiosCert" "Cardano.Crypto.Leios" "cardano-crypto-leios-0.3.0.0-c392e6467bc7a47eaa12642597821ef0f87d0eda8f4be3553d06c440ea33356c" 'False) (C1 ('MetaCons "LeiosCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "leiosCertSigners") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BitField) :*: S1 ('MetaSel ('Just "leiosCertSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LeiosSignature)))

Methods

from ∷ LeiosCert → Rep LeiosCert x #

to ∷ Rep LeiosCert x → LeiosCert #

Show LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

Methods

showsPrec ∷ Int → LeiosCert → ShowS #

show ∷ LeiosCert → String #

showList ∷ [LeiosCert] → ShowS #

Eq LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

Methods

(==) ∷ LeiosCert → LeiosCert → Bool #

(/=) ∷ LeiosCert → LeiosCert → Bool #

NoThunks LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

Methods

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

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

showTypeOf ∷ Proxy LeiosCert → String Source #

type Rep LeiosCert 
Instance details

Defined in Cardano.Crypto.Leios

type Rep LeiosCert = D1 ('MetaData "LeiosCert" "Cardano.Crypto.Leios" "cardano-crypto-leios-0.3.0.0-c392e6467bc7a47eaa12642597821ef0f87d0eda8f4be3553d06c440ea33356c" 'False) (C1 ('MetaCons "LeiosCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "leiosCertSigners") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 BitField) :*: S1 ('MetaSel ('Just "leiosCertSignature") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 LeiosSignature)))