type Rep PerasRoundNo
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasRoundNo → Rep PerasRoundNo x #

to ∷ Rep PerasRoundNo x → PerasRoundNo #

Show PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasRoundNo → ShowS #

show ∷ PerasRoundNo → String #

showList ∷ [PerasRoundNo] → ShowS #

Eq PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasRoundNo → PerasRoundNo → Bool #

(/=) ∷ PerasRoundNo → PerasRoundNo → Bool #

Ord PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasRoundNo → PerasRoundNo → Ordering #

(<) ∷ PerasRoundNo → PerasRoundNo → Bool #

(<=) ∷ PerasRoundNo → PerasRoundNo → Bool #

(>) ∷ PerasRoundNo → PerasRoundNo → Bool #

(>=) ∷ PerasRoundNo → PerasRoundNo → Bool #

max ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

min ∷ PerasRoundNo → PerasRoundNo → PerasRoundNo #

NoThunks PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy PerasRoundNo → String Source #

Condense PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

condense ∷ PerasRoundNo → String Source #

Serialise PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

encode ∷ PerasRoundNo → Encoding Source #

decode ∷ Decoder s PerasRoundNo Source #

encodeList ∷ [PerasRoundNo] → Encoding Source #

decodeList ∷ Decoder s [PerasRoundNo] Source #

ShowProxy PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showProxy ∷ Proxy PerasRoundNo → String Source #

type Rep PerasRoundNo Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasRoundNo = D1 ('MetaData "PerasRoundNo" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "PerasRoundNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasRoundNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype PerasWeight Source #

Constructors

PerasWeight
Fields unPerasWeight ∷ Word64

Instances

Instances details

Monoid PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

mempty ∷ PerasWeight #

mappend ∷ PerasWeight → PerasWeight → PerasWeight #

mconcat ∷ [PerasWeight] → PerasWeight #

Semigroup PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(<>) ∷ PerasWeight → PerasWeight → PerasWeight #

sconcat ∷ NonEmpty PerasWeight → PerasWeight #

stimes ∷ Integral b ⇒ b → PerasWeight → PerasWeight #

Generic PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep PerasWeight
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras type Rep PerasWeight = D1 ('MetaData "PerasWeight" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "PerasWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ PerasWeight → Rep PerasWeight x #

to ∷ Rep PerasWeight x → PerasWeight #

Show PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasWeight → ShowS #

show ∷ PerasWeight → String #

showList ∷ [PerasWeight] → ShowS #

Eq PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasWeight → PerasWeight → Bool #

(/=) ∷ PerasWeight → PerasWeight → Bool #

Ord PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasWeight → PerasWeight → Ordering #

(<) ∷ PerasWeight → PerasWeight → Bool #

(<=) ∷ PerasWeight → PerasWeight → Bool #

(>) ∷ PerasWeight → PerasWeight → Bool #

(>=) ∷ PerasWeight → PerasWeight → Bool #

max ∷ PerasWeight → PerasWeight → PerasWeight #

min ∷ PerasWeight → PerasWeight → PerasWeight #

NoThunks PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

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

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

showTypeOf ∷ Proxy PerasWeight → String Source #

Condense PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

condense ∷ PerasWeight → String Source #

type Rep PerasWeight Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep PerasWeight = D1 ('MetaData "PerasWeight" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'True) (C1 ('MetaCons "PerasWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPerasWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

boostPerCert ∷ PerasWeight Source #

TODO: this will become a Ledger protocol parameter see https://github.com/tweag/cardano-peras/issues/119

class (Show (PerasCfg blk), NoThunks (PerasCert blk)) ⇒ BlockSupportsPeras blk where Source #

Associated Types

data PerasCfg blk Source #

data PerasCert blk Source #

data PerasValidationErr blk Source #

Methods

validatePerasCert ∷ PerasCfg blk → PerasCert blk → Either (PerasValidationErr blk) (ValidatedPerasCert blk) Source #

Instances

Instances details

StandardHash blk ⇒ BlockSupportsPeras blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

newtype PerasCfg blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras newtype PerasCfg blk = PerasCfg { perasCfgWeightBoost ∷ PerasWeight }
data PerasCert blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasCert blk = PerasCert { pcCertRound ∷ PerasRoundNo pcCertBoostedBlock ∷ Point blk }
data PerasValidationErr blk
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras data PerasValidationErr blk = PerasValidationErr

Methods

validatePerasCert ∷ PerasCfg blk → PerasCert blk → Either (PerasValidationErr blk) (ValidatedPerasCert blk) Source #

data family PerasCert blk Source #

Instances

Instances details

StandardHash blk ⇒ HasPerasCert PerasCert blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCert ∷ PerasCert blk → PerasCert blk Source #

ShowProxy blk ⇒ ShowProxy (PerasCert blk ∷ Type) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showProxy ∷ Proxy (PerasCert blk) → String Source #

Generic (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (PerasCert blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasCert blk) = D1 ('MetaData "PerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "PerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pcCertBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))

Methods

from ∷ PerasCert blk → Rep (PerasCert blk) x #

to ∷ Rep (PerasCert blk) x → PerasCert blk #

StandardHash blk ⇒ Show (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → PerasCert blk → ShowS #

show ∷ PerasCert blk → String #

showList ∷ [PerasCert blk] → ShowS #

StandardHash blk ⇒ Eq (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ PerasCert blk → PerasCert blk → Bool #

(/=) ∷ PerasCert blk → PerasCert blk → Bool #

StandardHash blk ⇒ Ord (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ PerasCert blk → PerasCert blk → Ordering #

(<) ∷ PerasCert blk → PerasCert blk → Bool #

(<=) ∷ PerasCert blk → PerasCert blk → Bool #

(>) ∷ PerasCert blk → PerasCert blk → Bool #

(>=) ∷ PerasCert blk → PerasCert blk → Bool #

max ∷ PerasCert blk → PerasCert blk → PerasCert blk #

min ∷ PerasCert blk → PerasCert blk → PerasCert blk #

StandardHash blk ⇒ NoThunks (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

noThunks ∷ Context → PerasCert blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PerasCert blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PerasCert blk) → String Source #

Serialise (HeaderHash blk) ⇒ Serialise (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

encode ∷ PerasCert blk → Encoding Source #

decode ∷ Decoder s (PerasCert blk) Source #

encodeList ∷ [PerasCert blk] → Encoding Source #

decodeList ∷ Decoder s [PerasCert blk] Source #

data PerasCert blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

data PerasCert blk = PerasCert {

pcCertRound ∷ PerasRoundNo
pcCertBoostedBlock ∷ Point blk

}

type Rep (PerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (PerasCert blk) = D1 ('MetaData "PerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "PerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "pcCertRound") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PerasRoundNo) :*: S1 ('MetaSel ('Just "pcCertBoostedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Point blk))))

data ValidatedPerasCert blk Source #

Constructors

ValidatedPerasCert
Fields vpcCert ∷ !(PerasCert blk) vpcCertBoost ∷ !PerasWeight

Instances

Instances details

StandardHash blk ⇒ HasPerasCert ValidatedPerasCert blk Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

getPerasCert ∷ ValidatedPerasCert blk → PerasCert blk Source #

Generic (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Associated Types

type Rep (ValidatedPerasCert blk)

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasCert blk) = D1 ('MetaData "ValidatedPerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpcCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCert blk)) :*: S1 ('MetaSel ('Just "vpcCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)))

Methods

from ∷ ValidatedPerasCert blk → Rep (ValidatedPerasCert blk) x #

to ∷ Rep (ValidatedPerasCert blk) x → ValidatedPerasCert blk #

StandardHash blk ⇒ Show (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

showsPrec ∷ Int → ValidatedPerasCert blk → ShowS #

show ∷ ValidatedPerasCert blk → String #

showList ∷ [ValidatedPerasCert blk] → ShowS #

StandardHash blk ⇒ Eq (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

(==) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

(/=) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

StandardHash blk ⇒ Ord (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

compare ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Ordering #

(<) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

(<=) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

(>) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

(>=) ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → Bool #

max ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → ValidatedPerasCert blk #

min ∷ ValidatedPerasCert blk → ValidatedPerasCert blk → ValidatedPerasCert blk #

StandardHash blk ⇒ NoThunks (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

Methods

noThunks ∷ Context → ValidatedPerasCert blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ValidatedPerasCert blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ValidatedPerasCert blk) → String Source #

type Rep (ValidatedPerasCert blk) Source #

Instance details

Defined in Ouroboros.Consensus.Block.SupportsPeras

type Rep (ValidatedPerasCert blk) = D1 ('MetaData "ValidatedPerasCert" "Ouroboros.Consensus.Block.SupportsPeras" "ouroboros-consensus-0.27.0.0-inplace" 'False) (C1 ('MetaCons "ValidatedPerasCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "vpcCert") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerasCert blk)) :*: S1 ('MetaSel ('Just "vpcCertBoost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PerasWeight)))

makePerasCfg ∷ Maybe (BlockConfig blk) → PerasCfg blk Source #

Derive a PerasCfg from a BlockConfig

TODO: this currently doesn't depend on BlockConfig at all, but likely will depend on it in the future see https://github.com/tweag/cardano-peras/issues/73

class StandardHash blk ⇒ HasPerasCert (cert ∷ Type → Type) blk where Source #

Methods

getPerasCert ∷ cert blk → PerasCert blk Source #

Instances

Instances details

StandardHash blk ⇒ HasPerasCert PerasCert blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCert ∷ PerasCert blk → PerasCert blk Source #
StandardHash blk ⇒ HasPerasCert ValidatedPerasCert blk Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods getPerasCert ∷ ValidatedPerasCert blk → PerasCert blk Source #

getPerasCertRound ∷ HasPerasCert cert blk ⇒ cert blk → PerasRoundNo Source #

getPerasCertBoostedBlock ∷ HasPerasCert cert blk ⇒ cert blk → Point blk Source #

getPerasCertBoost ∷ ValidatedPerasCert blk → PerasWeight Source #

Ouroboros Peras round length

newtype PerasRoundLength Source #

Constructors

PerasRoundLength
Fields unPerasRoundLength ∷ Word64

Instances

Instances details

Num PerasRoundLength Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods (+) ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength # (-) ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength # (*) ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength # negate ∷ PerasRoundLength → PerasRoundLength # abs ∷ PerasRoundLength → PerasRoundLength # signum ∷ PerasRoundLength → PerasRoundLength # fromInteger ∷ Integer → PerasRoundLength #
Show PerasRoundLength Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods showsPrec ∷ Int → PerasRoundLength → ShowS # show ∷ PerasRoundLength → String # showList ∷ [PerasRoundLength] → ShowS #
Eq PerasRoundLength Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods (==) ∷ PerasRoundLength → PerasRoundLength → Bool # (/=) ∷ PerasRoundLength → PerasRoundLength → Bool #
Ord PerasRoundLength Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods compare ∷ PerasRoundLength → PerasRoundLength → Ordering # (<) ∷ PerasRoundLength → PerasRoundLength → Bool # (<=) ∷ PerasRoundLength → PerasRoundLength → Bool # (>) ∷ PerasRoundLength → PerasRoundLength → Bool # (>=) ∷ PerasRoundLength → PerasRoundLength → Bool # max ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength # min ∷ PerasRoundLength → PerasRoundLength → PerasRoundLength #
NoThunks PerasRoundLength Source #
Instance details Defined in Ouroboros.Consensus.Block.SupportsPeras Methods noThunks ∷ Context → PerasRoundLength → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → PerasRoundLength → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy PerasRoundLength → String Source #

defaultPerasRoundLength ∷ PerasRoundLength Source #

See the Protocol parameters section of the Peras design report: https://tweag.github.io/cardano-peras/peras-design.pdf#section.2.1 TODO: this will become a Ledger protocol parameter see https://github.com/tweag/cardano-peras/issues/119