ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Ouroboros.Consensus.Committee.Types

Description

Types common to any generic committee selection scheme

Synopsis

Documentation

newtype PoolId Source #

Identifier of a given voter in the committee selection scheme

Constructors

PoolId 

Fields

Instances

Instances details
FromCBOR PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s PoolId Source #

label ∷ Proxy PoolId → Text Source #

ToCBOR PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ PoolId → Encoding Source #

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

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

Eq PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ PoolId → PoolId → Bool #

(/=) ∷ PoolId → PoolId → Bool #

Ord PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

compare ∷ PoolId → PoolId → Ordering #

(<) ∷ PoolId → PoolId → Bool #

(<=) ∷ PoolId → PoolId → Bool #

(>) ∷ PoolId → PoolId → Bool #

(>=) ∷ PoolId → PoolId → Bool #

max ∷ PoolId → PoolId → PoolId #

min ∷ PoolId → PoolId → PoolId #

Generic PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep PoolId 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep PoolId = D1 ('MetaData "PoolId" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PoolId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))

Methods

from ∷ PoolId → Rep PoolId x #

to ∷ Rep PoolId x → PoolId #

Show PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → PoolId → ShowS #

show ∷ PoolId → String #

showList ∷ [PoolId] → ShowS #

NoThunks PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy PoolId → String Source #

type Rep PoolId Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep PoolId = D1 ('MetaData "PoolId" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "PoolId" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'StakePool))))

newtype LedgerStake Source #

Stake of a voter as reflected by the ledger state

Constructors

LedgerStake 

Fields

Instances

Instances details
FromCBOR LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s LedgerStake Source #

label ∷ Proxy LedgerStake → Text Source #

ToCBOR LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ LedgerStake → Encoding Source #

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

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

HasZero LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

isZero ∷ LedgerStake → Bool Source #

Eq LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ LedgerStake → LedgerStake → Bool #

(/=) ∷ LedgerStake → LedgerStake → Bool #

Ord LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

compare ∷ LedgerStake → LedgerStake → Ordering #

(<) ∷ LedgerStake → LedgerStake → Bool #

(<=) ∷ LedgerStake → LedgerStake → Bool #

(>) ∷ LedgerStake → LedgerStake → Bool #

(>=) ∷ LedgerStake → LedgerStake → Bool #

max ∷ LedgerStake → LedgerStake → LedgerStake #

min ∷ LedgerStake → LedgerStake → LedgerStake #

Generic LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep LedgerStake 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep LedgerStake = D1 ('MetaData "LedgerStake" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "LedgerStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLedgerStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ LedgerStake → Rep LedgerStake x #

to ∷ Rep LedgerStake x → LedgerStake #

Num LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(+) ∷ LedgerStake → LedgerStake → LedgerStake #

(-) ∷ LedgerStake → LedgerStake → LedgerStake #

(*) ∷ LedgerStake → LedgerStake → LedgerStake #

negate ∷ LedgerStake → LedgerStake #

abs ∷ LedgerStake → LedgerStake #

signum ∷ LedgerStake → LedgerStake #

fromInteger ∷ Integer → LedgerStake #

Show LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → LedgerStake → ShowS #

show ∷ LedgerStake → String #

showList ∷ [LedgerStake] → ShowS #

NoThunks LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy LedgerStake → String Source #

type Rep LedgerStake Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep LedgerStake = D1 ('MetaData "LedgerStake" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "LedgerStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLedgerStake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

newtype VoteWeight Source #

Relative voting power of a voter in the committee selection scheme

Constructors

VoteWeight 

Fields

Instances

Instances details
FromCBOR VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s VoteWeight Source #

label ∷ Proxy VoteWeight → Text Source #

ToCBOR VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ VoteWeight → Encoding Source #

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

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

NFData VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

rnf ∷ VoteWeight → () #

Monoid VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

mempty ∷ VoteWeight #

mappend ∷ VoteWeight → VoteWeight → VoteWeight #

mconcat ∷ [VoteWeight] → VoteWeight #

Semigroup VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(<>) ∷ VoteWeight → VoteWeight → VoteWeight #

sconcat ∷ NonEmpty VoteWeight → VoteWeight #

stimes ∷ Integral b ⇒ b → VoteWeight → VoteWeight #

Eq VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ VoteWeight → VoteWeight → Bool #

(/=) ∷ VoteWeight → VoteWeight → Bool #

Ord VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

compare ∷ VoteWeight → VoteWeight → Ordering #

(<) ∷ VoteWeight → VoteWeight → Bool #

(<=) ∷ VoteWeight → VoteWeight → Bool #

(>) ∷ VoteWeight → VoteWeight → Bool #

(>=) ∷ VoteWeight → VoteWeight → Bool #

max ∷ VoteWeight → VoteWeight → VoteWeight #

min ∷ VoteWeight → VoteWeight → VoteWeight #

Generic VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep VoteWeight 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep VoteWeight = D1 ('MetaData "VoteWeight" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "VoteWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVoteWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

Methods

from ∷ VoteWeight → Rep VoteWeight x #

to ∷ Rep VoteWeight x → VoteWeight #

Num VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(+) ∷ VoteWeight → VoteWeight → VoteWeight #

(-) ∷ VoteWeight → VoteWeight → VoteWeight #

(*) ∷ VoteWeight → VoteWeight → VoteWeight #

negate ∷ VoteWeight → VoteWeight #

abs ∷ VoteWeight → VoteWeight #

signum ∷ VoteWeight → VoteWeight #

fromInteger ∷ Integer → VoteWeight #

Fractional VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(/) ∷ VoteWeight → VoteWeight → VoteWeight #

recip ∷ VoteWeight → VoteWeight #

fromRational ∷ Rational → VoteWeight #

Show VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → VoteWeight → ShowS #

show ∷ VoteWeight → String #

showList ∷ [VoteWeight] → ShowS #

NoThunks VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy VoteWeight → String Source #

type Rep VoteWeight Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep VoteWeight = D1 ('MetaData "VoteWeight" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "VoteWeight" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVoteWeight") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

newtype TargetCommitteeSize Source #

Target committee size

Constructors

TargetCommitteeSize 

Fields

Instances

Instances details
FromCBOR TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s TargetCommitteeSize Source #

label ∷ Proxy TargetCommitteeSize → Text Source #

ToCBOR TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ TargetCommitteeSize → Encoding Source #

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

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

Eq TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

(==) ∷ TargetCommitteeSize → TargetCommitteeSize → Bool #

(/=) ∷ TargetCommitteeSize → TargetCommitteeSize → Bool #

Generic TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep TargetCommitteeSize 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep TargetCommitteeSize = D1 ('MetaData "TargetCommitteeSize" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "TargetCommitteeSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTargetCommitteeSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ TargetCommitteeSize → Rep TargetCommitteeSize x #

to ∷ Rep TargetCommitteeSize x → TargetCommitteeSize #

Show TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → TargetCommitteeSize → ShowS #

show ∷ TargetCommitteeSize → String #

showList ∷ [TargetCommitteeSize] → ShowS #

NoThunks TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy TargetCommitteeSize → String Source #

type Rep TargetCommitteeSize Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep TargetCommitteeSize = D1 ('MetaData "TargetCommitteeSize" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "TargetCommitteeSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTargetCommitteeSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype Cumulative a Source #

Wrapper to tag accumulated resources

Constructors

Cumulative 

Fields

Instances

Instances details
FromCBOR a ⇒ FromCBOR (Cumulative a) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

fromCBOR ∷ Decoder s (Cumulative a) Source #

label ∷ Proxy (Cumulative a) → Text Source #

ToCBOR a ⇒ ToCBOR (Cumulative a) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Methods

toCBOR ∷ Cumulative a → Encoding Source #

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

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

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

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

Generic (Cumulative a) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

Associated Types

type Rep (Cumulative a) 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep (Cumulative a) = D1 ('MetaData "Cumulative" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "Cumulative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCumulative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

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

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

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

Defined in Ouroboros.Consensus.Committee.Types

Methods

showsPrec ∷ Int → Cumulative a → ShowS #

show ∷ Cumulative a → String #

showList ∷ [Cumulative a] → ShowS #

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

Defined in Ouroboros.Consensus.Committee.Types

Methods

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

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

showTypeOf ∷ Proxy (Cumulative a) → String Source #

type Rep (Cumulative a) Source # 
Instance details

Defined in Ouroboros.Consensus.Committee.Types

type Rep (Cumulative a) = D1 ('MetaData "Cumulative" "Ouroboros.Consensus.Committee.Types" "ouroboros-consensus-4.0.0.0-inplace" 'True) (C1 ('MetaCons "Cumulative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCumulative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))