Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Shelley.Ledger.Query.Types

Description

This module contains copies of older versions of types from Ledger in order to retain backwards-compatibility. Eventually, types likes this should be defined in Ledger instead of here, see https://github.com/IntersectMBO/cardano-ledger/issues/4415.

Synopsis

data IndividualPoolStake c = IndividualPoolStake {
- individualPoolStake ∷ !Rational
- individualPoolStakeVrf ∷ !(Hash c (VerKeyVRF c))
}
newtype PoolDistr c = PoolDistr {
- unPoolDistr ∷ Map (KeyHash StakePool c) (IndividualPoolStake c)
}
fromLedgerIndividualPoolStake ∷ IndividualPoolStake c → IndividualPoolStake c
fromLedgerPoolDistr ∷ PoolDistr c → PoolDistr c

Documentation

data IndividualPoolStake c Source #

Copy of IndividualPoolStake before https://github.com/IntersectMBO/cardano-ledger/pull/4324.

Constructors

IndividualPoolStake
Fields individualPoolStake ∷ !Rational individualPoolStakeVrf ∷ !(Hash c (VerKeyVRF c))

Instances

Instances details

Generic (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Associated Types type Rep (IndividualPoolStake c) ∷ Type → Type # Methods from ∷ IndividualPoolStake c → Rep (IndividualPoolStake c) x # to ∷ Rep (IndividualPoolStake c) x → IndividualPoolStake c #
Show (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods showsPrec ∷ Int → IndividualPoolStake c → ShowS # show ∷ IndividualPoolStake c → String # showList ∷ [IndividualPoolStake c] → ShowS #
Crypto c ⇒ DecCBOR (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods decCBOR ∷ Decoder s (IndividualPoolStake c) Source # dropCBOR ∷ Proxy (IndividualPoolStake c) → Decoder s () Source # label ∷ Proxy (IndividualPoolStake c) → Text Source #
Crypto c ⇒ EncCBOR (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods encCBOR ∷ IndividualPoolStake c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (IndividualPoolStake c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [IndividualPoolStake c] → Size Source #
Eq (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods (==) ∷ IndividualPoolStake c → IndividualPoolStake c → Bool # (/=) ∷ IndividualPoolStake c → IndividualPoolStake c → Bool #
NoThunks (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods noThunks ∷ Context → IndividualPoolStake c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → IndividualPoolStake c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (IndividualPoolStake c) → String Source #
type Rep (IndividualPoolStake c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types type Rep (IndividualPoolStake c) = D1 ('MetaData "IndividualPoolStake" "Ouroboros.Consensus.Shelley.Ledger.Query.Types" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'False) (C1 ('MetaCons "IndividualPoolStake" 'PrefixI 'True) (S1 ('MetaSel ('Just "individualPoolStake") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :*: S1 ('MetaSel ('Just "individualPoolStakeVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c)))))

newtype PoolDistr c Source #

Copy of PoolDistr before https://github.com/IntersectMBO/cardano-ledger/pull/4324.

Constructors

PoolDistr
Fields unPoolDistr ∷ Map (KeyHash StakePool c) (IndividualPoolStake c)

Instances

Instances details

Generic (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Associated Types type Rep (PoolDistr c) ∷ Type → Type # Methods from ∷ PoolDistr c → Rep (PoolDistr c) x # to ∷ Rep (PoolDistr c) x → PoolDistr c #
Show (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods showsPrec ∷ Int → PoolDistr c → ShowS # show ∷ PoolDistr c → String # showList ∷ [PoolDistr c] → ShowS #
Crypto c ⇒ DecCBOR (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods decCBOR ∷ Decoder s (PoolDistr c) Source # dropCBOR ∷ Proxy (PoolDistr c) → Decoder s () Source # label ∷ Proxy (PoolDistr c) → Text Source #
Crypto c ⇒ EncCBOR (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods encCBOR ∷ PoolDistr c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (PoolDistr c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [PoolDistr c] → Size Source #
Eq (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types Methods (==) ∷ PoolDistr c → PoolDistr c → Bool # (/=) ∷ PoolDistr c → PoolDistr c → Bool #
type Rep (PoolDistr c) Source #
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types type Rep (PoolDistr c) = D1 ('MetaData "PoolDistr" "Ouroboros.Consensus.Shelley.Ledger.Query.Types" "ouroboros-consensus-cardano-0.20.0.0-inplace" 'True) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool c) (IndividualPoolStake c)))))

fromLedgerIndividualPoolStake ∷ IndividualPoolStake c → IndividualPoolStake c Source #

fromLedgerPoolDistr ∷ PoolDistr c → PoolDistr c Source #