ouroboros-consensus-cardano-0.25.0.1: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

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

Documentation

data IndividualPoolStake c Source #

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

Constructors

IndividualPoolStake 

Fields

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.1-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.1-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

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.1-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.1-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 #