Safe Haskell	None
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 HASH (VerKeyVRF (VRF c)))
}
newtype PoolDistr c = PoolDistr {
- unPoolDistr ∷ Map (KeyHash 'StakePool) (IndividualPoolStake c)
}
fromLedgerIndividualPoolStake ∷ IndividualPoolStake → IndividualPoolStake c
fromLedgerPoolDistr ∷ PoolDistr → 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 HASH (VerKeyVRF (VRF c)))

Instances

Instances details

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 #

Generic (IndividualPoolStake c) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types

Associated Types

type Rep (IndividualPoolStake c)

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.25.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 HASH (VerKeyVRF (VRF c))))))

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 #

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.25.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 HASH (VerKeyVRF (VRF c))))))

newtype PoolDistr c Source #

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

Constructors

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

Instances

Instances details

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 #

Generic (PoolDistr c) Source #

Instance details

Defined in Ouroboros.Consensus.Shelley.Ledger.Query.Types

Associated Types

type Rep (PoolDistr c)

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.25.0.0-inplace" 'True) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) (IndividualPoolStake c)))))

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 #

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.25.0.0-inplace" 'True) (C1 ('MetaCons "PoolDistr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPoolDistr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'StakePool) (IndividualPoolStake c)))))

fromLedgerIndividualPoolStake ∷ IndividualPoolStake → IndividualPoolStake c Source #

fromLedgerPoolDistr ∷ PoolDistr → PoolDistr c Source #