Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.PeerSelection.LedgerPeers.Type

Contents

Re-exports

Description

Various types related to ledger peers. This module is re-exported from Ouroboros.Network.PeerSelection.LedgerPeers.

Synopsis

newtype PoolStake = PoolStake {
- unPoolStake :: Rational
}
newtype AccPoolStake = AccPoolStake {
- unAccPoolStake :: Rational
}
data IsLedgerPeer
- = IsLedgerPeer
- | IsNotLedgerPeer
data IsBigLedgerPeer
- = IsBigLedgerPeer
- | IsNotBigLedgerPeer
data LedgerPeersConsensusInterface extraAPI (m :: Type -> Type) = LedgerPeersConsensusInterface {
- lpGetLatestSlot :: STM m (WithOrigin SlotNo)
- lpGetLedgerPeers :: STM m [(PoolStake, NonEmpty LedgerRelayAccessPoint)]
- lpExtraAPI :: extraAPI
}
getRelayAccessPointsFromLedger :: forall (m :: Type -> Type) extraAPI. MonadSTM m => SRVPrefix -> LedgerPeersConsensusInterface extraAPI m -> STM m [(PoolStake, NonEmpty RelayAccessPoint)]
mapExtraAPI :: forall a b (m :: Type -> Type). (a -> b) -> LedgerPeersConsensusInterface a m -> LedgerPeersConsensusInterface b m
data UseLedgerPeers
- = DontUseLedgerPeers
- | UseLedgerPeers AfterSlot
data AfterSlot
- = Always
- | After SlotNo
data LedgerPeersKind
- = AllLedgerPeers
- | BigLedgerPeers
data SingLedgerPeersKind (k :: LedgerPeersKind) where
- SingAllLedgerPeers :: SingLedgerPeersKind 'AllLedgerPeers
- SingBigLedgerPeers :: SingLedgerPeersKind 'BigLedgerPeers
data SomeLedgerPeersKind where
- SomeLedgerPeersKind :: forall (k :: LedgerPeersKind). SingLedgerPeersKind k -> SomeLedgerPeersKind
data LedgerPeerSnapshot (a :: LedgerPeersKind) where
- LedgerPeerSnapshotV2 :: (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]) -> LedgerPeerSnapshot 'BigLedgerPeers
- LedgerBigPeerSnapshotV23 :: !(Point RawBlockHash) -> !NetworkMagic -> ![(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> LedgerPeerSnapshot 'BigLedgerPeers
- LedgerAllPeerSnapshotV23 :: !(Point RawBlockHash) -> !NetworkMagic -> ![(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> LedgerPeerSnapshot 'AllLedgerPeers
ledgerPeerSnapshotKind :: forall (a :: LedgerPeersKind). LedgerPeerSnapshot a -> SingLedgerPeersKind a
data SomeLedgerPeerSnapshot = SomeLedgerPeerSnapshot !(LedgerPeerSnapshot k)
someLedgerPeerSnapshotKind :: SomeLedgerPeerSnapshot -> SomeLedgerPeersKind
newtype RawBlockHash = RawBlockHash ShortByteString
data LedgerPeerSnapshotSRVSupport
- = LedgerPeerSnapshotSupportsSRV
- | LedgerPeerSnapshotDoesntSupportSRV
encodeLedgerPeerSnapshot :: forall (a :: LedgerPeersKind). LedgerPeerSnapshotSRVSupport -> LedgerPeerSnapshot a -> Encoding
decodeLedgerPeerSnapshot :: forall s (ledgerPeersKind :: LedgerPeersKind). SingLedgerPeersKind ledgerPeersKind -> Decoder s (LedgerPeerSnapshot ledgerPeersKind)
encodeWithOrigin :: WithOrigin SlotNo -> Encoding
decodeWithOrigin :: Decoder s (WithOrigin SlotNo)
encodeLedgerPeerSnapshotPoint :: Point RawBlockHash -> Encoding
decodeLedgerPeerSnapshotPoint :: Decoder s (Point RawBlockHash)
encodeBigStakePools :: [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> Encoding
decodeBigStakePools :: Decoder s [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]
encodeAllStakePools :: [(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> Encoding
decodeAllStakePools :: Decoder s [(PoolStake, NonEmpty LedgerRelayAccessPoint)]
getRelayAccessPointsFromBigLedgerPeersSnapshot :: SRVPrefix -> LedgerPeerSnapshot 'BigLedgerPeers -> (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty RelayAccessPoint))])
getRelayAccessPointsFromAllLedgerPeersSnapshot :: SRVPrefix -> LedgerPeerSnapshot 'AllLedgerPeers -> (WithOrigin SlotNo, [(PoolStake, NonEmpty RelayAccessPoint)])
isLedgerPeersEnabled :: UseLedgerPeers -> Bool
type SRVPrefix = Domain
data RelayAccessPoint
- = RelayAccessDomain !Domain !PortNumber
- | RelayAccessSRVDomain !Domain
- | RelayAccessAddress !IP !PortNumber
data LedgerRelayAccessPoint
- = LedgerRelayAccessDomain !Domain !PortNumber
- | LedgerRelayAccessSRVDomain !Domain
- | LedgerRelayAccessAddress !IP !PortNumber
prefixLedgerRelayAccessPoint :: SRVPrefix -> LedgerRelayAccessPoint -> RelayAccessPoint

Documentation

newtype PoolStake Source #

The relative stake of a stakepool in relation to the total amount staked. A value in the [0, 1] range.

Constructors

PoolStake
Fields unPoolStake :: Rational

Instances

Instances details

FromJSON PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser PoolStake # parseJSONList :: Value -> Parser [PoolStake] # omittedField :: Maybe PoolStake #
ToJSON PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toJSON :: PoolStake -> Value # toEncoding :: PoolStake -> Encoding # toJSONList :: [PoolStake] -> Value # toEncodingList :: [PoolStake] -> Encoding # omitField :: PoolStake -> Bool #
FromCBOR PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods fromCBOR :: Decoder s PoolStake # label :: Proxy PoolStake -> Text #
ToCBOR PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toCBOR :: PoolStake -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy PoolStake -> Size # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PoolStake] -> Size #
NFData PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods rnf :: PoolStake -> () #
Num PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (+) :: PoolStake -> PoolStake -> PoolStake # (-) :: PoolStake -> PoolStake -> PoolStake # (*) :: PoolStake -> PoolStake -> PoolStake # negate :: PoolStake -> PoolStake # abs :: PoolStake -> PoolStake # signum :: PoolStake -> PoolStake # fromInteger :: Integer -> PoolStake #
Fractional PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (/) :: PoolStake -> PoolStake -> PoolStake # recip :: PoolStake -> PoolStake # fromRational :: Rational -> PoolStake #
Show PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> PoolStake -> ShowS # show :: PoolStake -> String # showList :: [PoolStake] -> ShowS #
Eq PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: PoolStake -> PoolStake -> Bool # (/=) :: PoolStake -> PoolStake -> Bool #
Ord PoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods compare :: PoolStake -> PoolStake -> Ordering # (<) :: PoolStake -> PoolStake -> Bool # (<=) :: PoolStake -> PoolStake -> Bool # (>) :: PoolStake -> PoolStake -> Bool # (>=) :: PoolStake -> PoolStake -> Bool # max :: PoolStake -> PoolStake -> PoolStake # min :: PoolStake -> PoolStake -> PoolStake #

newtype AccPoolStake Source #

The accumulated relative stake of a stake pool, like PoolStake but it also includes the relative stake of all preceding pools. A value in the range [0, 1].

Constructors

AccPoolStake
Fields unAccPoolStake :: Rational

Instances

Instances details

FromJSON AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser AccPoolStake # parseJSONList :: Value -> Parser [AccPoolStake] # omittedField :: Maybe AccPoolStake #
ToJSON AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toJSON :: AccPoolStake -> Value # toEncoding :: AccPoolStake -> Encoding # toJSONList :: [AccPoolStake] -> Value # toEncodingList :: [AccPoolStake] -> Encoding # omitField :: AccPoolStake -> Bool #
FromCBOR AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods fromCBOR :: Decoder s AccPoolStake # label :: Proxy AccPoolStake -> Text #
ToCBOR AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toCBOR :: AccPoolStake -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AccPoolStake -> Size # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AccPoolStake] -> Size #
NFData AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods rnf :: AccPoolStake -> () #
Num AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (+) :: AccPoolStake -> AccPoolStake -> AccPoolStake # (-) :: AccPoolStake -> AccPoolStake -> AccPoolStake # (*) :: AccPoolStake -> AccPoolStake -> AccPoolStake # negate :: AccPoolStake -> AccPoolStake # abs :: AccPoolStake -> AccPoolStake # signum :: AccPoolStake -> AccPoolStake # fromInteger :: Integer -> AccPoolStake #
Fractional AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (/) :: AccPoolStake -> AccPoolStake -> AccPoolStake # recip :: AccPoolStake -> AccPoolStake # fromRational :: Rational -> AccPoolStake #
Show AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> AccPoolStake -> ShowS # show :: AccPoolStake -> String # showList :: [AccPoolStake] -> ShowS #
Eq AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: AccPoolStake -> AccPoolStake -> Bool # (/=) :: AccPoolStake -> AccPoolStake -> Bool #
Ord AccPoolStake Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods compare :: AccPoolStake -> AccPoolStake -> Ordering # (<) :: AccPoolStake -> AccPoolStake -> Bool # (<=) :: AccPoolStake -> AccPoolStake -> Bool # (>) :: AccPoolStake -> AccPoolStake -> Bool # (>=) :: AccPoolStake -> AccPoolStake -> Bool # max :: AccPoolStake -> AccPoolStake -> AccPoolStake # min :: AccPoolStake -> AccPoolStake -> AccPoolStake #

data IsLedgerPeer Source #

Identifies a peer as coming from ledger or not.

Constructors

IsLedgerPeer	a ledger peer.
IsNotLedgerPeer

Instances

Instances details

Show IsLedgerPeer Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> IsLedgerPeer -> ShowS # show :: IsLedgerPeer -> String # showList :: [IsLedgerPeer] -> ShowS #
Eq IsLedgerPeer Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: IsLedgerPeer -> IsLedgerPeer -> Bool # (/=) :: IsLedgerPeer -> IsLedgerPeer -> Bool #

data IsBigLedgerPeer Source #

A boolean like type. Big ledger peers are the largest SPOs which control 90% of staked stake.

Note that IsBigLedgerPeer indicates a role that peer plays in the eclipse evasion, e.g. that a peer was explicitly selected as a big ledger peer, e.g. IsNotBigLedgerPeer does not necessarily mean that the peer isn't a big ledger peer. This is because we select root peers from all ledger peers (including big ones).

Constructors

IsBigLedgerPeer
IsNotBigLedgerPeer

Instances

Instances details

Show IsBigLedgerPeer Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> IsBigLedgerPeer -> ShowS # show :: IsBigLedgerPeer -> String # showList :: [IsBigLedgerPeer] -> ShowS #
Eq IsBigLedgerPeer Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: IsBigLedgerPeer -> IsBigLedgerPeer -> Bool # (/=) :: IsBigLedgerPeer -> IsBigLedgerPeer -> Bool #

data LedgerPeersConsensusInterface extraAPI (m :: Type -> Type) Source #

Return ledger state information and ledger peers.

Constructors

LedgerPeersConsensusInterface
Fields lpGetLatestSlot :: STM m (WithOrigin SlotNo) lpGetLedgerPeers :: STM m [(PoolStake, NonEmpty LedgerRelayAccessPoint)] lpExtraAPI :: extraAPI Extension point so that third party users can add more actions

getRelayAccessPointsFromLedger :: forall (m :: Type -> Type) extraAPI. MonadSTM m => SRVPrefix -> LedgerPeersConsensusInterface extraAPI m -> STM m [(PoolStake, NonEmpty RelayAccessPoint)] Source #

mapExtraAPI :: forall a b (m :: Type -> Type). (a -> b) -> LedgerPeersConsensusInterface a m -> LedgerPeersConsensusInterface b m Source #

data UseLedgerPeers Source #

Only use the ledger after the given slot number.

Constructors

DontUseLedgerPeers
UseLedgerPeers AfterSlot

Instances

Instances details

Generic UseLedgerPeers Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Associated Types

type Rep UseLedgerPeers

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

type Rep UseLedgerPeers = D1 ('MetaData "UseLedgerPeers" "Ouroboros.Network.PeerSelection.LedgerPeers.Type" "ouroboros-network-1.0.0.0-inplace-api" 'False) (C1 ('MetaCons "DontUseLedgerPeers" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UseLedgerPeers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AfterSlot)))

Methods

from :: UseLedgerPeers -> Rep UseLedgerPeers x #

to :: Rep UseLedgerPeers x -> UseLedgerPeers #

Show UseLedgerPeers Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

showsPrec :: Int -> UseLedgerPeers -> ShowS #

show :: UseLedgerPeers -> String #

showList :: [UseLedgerPeers] -> ShowS #

Eq UseLedgerPeers Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

(==) :: UseLedgerPeers -> UseLedgerPeers -> Bool #

(/=) :: UseLedgerPeers -> UseLedgerPeers -> Bool #

NoThunks UseLedgerPeers Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

noThunks :: Context -> UseLedgerPeers -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> UseLedgerPeers -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy UseLedgerPeers -> String #

type Rep UseLedgerPeers Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

type Rep UseLedgerPeers = D1 ('MetaData "UseLedgerPeers" "Ouroboros.Network.PeerSelection.LedgerPeers.Type" "ouroboros-network-1.0.0.0-inplace-api" 'False) (C1 ('MetaCons "DontUseLedgerPeers" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UseLedgerPeers" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AfterSlot)))

data AfterSlot Source #

Only use the ledger after the given slot number.

Constructors

Always
After SlotNo

Instances

Instances details

Generic AfterSlot Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Associated Types

type Rep AfterSlot

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

type Rep AfterSlot = D1 ('MetaData "AfterSlot" "Ouroboros.Network.PeerSelection.LedgerPeers.Type" "ouroboros-network-1.0.0.0-inplace-api" 'False) (C1 ('MetaCons "Always" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "After" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))

Methods

from :: AfterSlot -> Rep AfterSlot x #

to :: Rep AfterSlot x -> AfterSlot #

Show AfterSlot Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

showsPrec :: Int -> AfterSlot -> ShowS #

show :: AfterSlot -> String #

showList :: [AfterSlot] -> ShowS #

Eq AfterSlot Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

(==) :: AfterSlot -> AfterSlot -> Bool #

(/=) :: AfterSlot -> AfterSlot -> Bool #

NoThunks AfterSlot Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

Methods

noThunks :: Context -> AfterSlot -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> AfterSlot -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy AfterSlot -> String #

type Rep AfterSlot Source #

Instance details

Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type

type Rep AfterSlot = D1 ('MetaData "AfterSlot" "Ouroboros.Network.PeerSelection.LedgerPeers.Type" "ouroboros-network-1.0.0.0-inplace-api" 'False) (C1 ('MetaCons "Always" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "After" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SlotNo)))

data LedgerPeersKind Source #

Used by functions to indicate what kind of ledger peer to process

Constructors

AllLedgerPeers
BigLedgerPeers

data SingLedgerPeersKind (k :: LedgerPeersKind) where Source #

Singletons for LedgerPeersKinds.

Constructors

SingAllLedgerPeers :: SingLedgerPeersKind 'AllLedgerPeers
SingBigLedgerPeers :: SingLedgerPeersKind 'BigLedgerPeers

Instances

Instances details

Show (SingLedgerPeersKind k) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> SingLedgerPeersKind k -> ShowS # show :: SingLedgerPeersKind k -> String # showList :: [SingLedgerPeersKind k] -> ShowS #
Eq (SingLedgerPeersKind k) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: SingLedgerPeersKind k -> SingLedgerPeersKind k -> Bool # (/=) :: SingLedgerPeersKind k -> SingLedgerPeersKind k -> Bool #

data SomeLedgerPeersKind where Source #

Existentially quantified SingLedgerPeersKinds.

Constructors

SomeLedgerPeersKind :: forall (k :: LedgerPeersKind). SingLedgerPeersKind k -> SomeLedgerPeersKind

Instances

Instances details

Show SomeLedgerPeersKind Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> SomeLedgerPeersKind -> ShowS # show :: SomeLedgerPeersKind -> String # showList :: [SomeLedgerPeersKind] -> ShowS #

data LedgerPeerSnapshot (a :: LedgerPeersKind) where Source #

A snapshot of ledger peers extracted from the ledger state at some point

Constructors

LedgerPeerSnapshotV2 :: (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]) -> LedgerPeerSnapshot 'BigLedgerPeers
LedgerBigPeerSnapshotV23 :: !(Point RawBlockHash) -> !NetworkMagic -> ![(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> LedgerPeerSnapshot 'BigLedgerPeers
LedgerAllPeerSnapshotV23 :: !(Point RawBlockHash) -> !NetworkMagic -> ![(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> LedgerPeerSnapshot 'AllLedgerPeers

Instances

Instances details

FromJSON (LedgerPeerSnapshot 'AllLedgerPeers) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser (LedgerPeerSnapshot 'AllLedgerPeers) # parseJSONList :: Value -> Parser [LedgerPeerSnapshot 'AllLedgerPeers] # omittedField :: Maybe (LedgerPeerSnapshot 'AllLedgerPeers) #
FromJSON (LedgerPeerSnapshot 'BigLedgerPeers) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser (LedgerPeerSnapshot 'BigLedgerPeers) # parseJSONList :: Value -> Parser [LedgerPeerSnapshot 'BigLedgerPeers] # omittedField :: Maybe (LedgerPeerSnapshot 'BigLedgerPeers) #
ToJSON (LedgerPeerSnapshot a) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toJSON :: LedgerPeerSnapshot a -> Value # toEncoding :: LedgerPeerSnapshot a -> Encoding # toJSONList :: [LedgerPeerSnapshot a] -> Value # toEncodingList :: [LedgerPeerSnapshot a] -> Encoding # omitField :: LedgerPeerSnapshot a -> Bool #
Show (LedgerPeerSnapshot a) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> LedgerPeerSnapshot a -> ShowS # show :: LedgerPeerSnapshot a -> String # showList :: [LedgerPeerSnapshot a] -> ShowS #
Eq (LedgerPeerSnapshot a) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: LedgerPeerSnapshot a -> LedgerPeerSnapshot a -> Bool # (/=) :: LedgerPeerSnapshot a -> LedgerPeerSnapshot a -> Bool #

ledgerPeerSnapshotKind :: forall (a :: LedgerPeersKind). LedgerPeerSnapshot a -> SingLedgerPeersKind a Source #

data SomeLedgerPeerSnapshot Source #

facility for encoding the snapshot in CBOR for backwards compatibility

Constructors

SomeLedgerPeerSnapshot !(LedgerPeerSnapshot k)

Instances

Instances details

Show SomeLedgerPeerSnapshot Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> SomeLedgerPeerSnapshot -> ShowS # show :: SomeLedgerPeerSnapshot -> String # showList :: [SomeLedgerPeerSnapshot] -> ShowS #
Eq SomeLedgerPeerSnapshot Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: SomeLedgerPeerSnapshot -> SomeLedgerPeerSnapshot -> Bool # (/=) :: SomeLedgerPeerSnapshot -> SomeLedgerPeerSnapshot -> Bool #

someLedgerPeerSnapshotKind :: SomeLedgerPeerSnapshot -> SomeLedgerPeersKind Source #

newtype RawBlockHash Source #

The raw block hash to be passed into the Consensus layer and reified into a 'HeaderHash blk' using the ConvertRawHash type class from the Abstract module.

Constructors

RawBlockHash ShortByteString

Instances

Instances details

FromJSON RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser RawBlockHash # parseJSONList :: Value -> Parser [RawBlockHash] # omittedField :: Maybe RawBlockHash #
ToJSON RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toJSON :: RawBlockHash -> Value # toEncoding :: RawBlockHash -> Encoding # toJSONList :: [RawBlockHash] -> Value # toEncodingList :: [RawBlockHash] -> Encoding # omitField :: RawBlockHash -> Bool #
FromCBOR RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods fromCBOR :: Decoder s RawBlockHash # label :: Proxy RawBlockHash -> Text #
NFData RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods rnf :: RawBlockHash -> () #
Show RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> RawBlockHash -> ShowS # show :: RawBlockHash -> String # showList :: [RawBlockHash] -> ShowS #
Eq RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: RawBlockHash -> RawBlockHash -> Bool # (/=) :: RawBlockHash -> RawBlockHash -> Bool #
Ord RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods compare :: RawBlockHash -> RawBlockHash -> Ordering # (<) :: RawBlockHash -> RawBlockHash -> Bool # (<=) :: RawBlockHash -> RawBlockHash -> Bool # (>) :: RawBlockHash -> RawBlockHash -> Bool # (>=) :: RawBlockHash -> RawBlockHash -> Bool # max :: RawBlockHash -> RawBlockHash -> RawBlockHash # min :: RawBlockHash -> RawBlockHash -> RawBlockHash #
NoThunks RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods noThunks :: Context -> RawBlockHash -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> RawBlockHash -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy RawBlockHash -> String #
StandardHash RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type
type HeaderHash RawBlockHash Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type type HeaderHash RawBlockHash = RawBlockHash

data LedgerPeerSnapshotSRVSupport Source #

Constructors

LedgerPeerSnapshotSupportsSRV	since `NodeToClientV_22`
LedgerPeerSnapshotDoesntSupportSRV

Instances

Instances details

Show LedgerPeerSnapshotSRVSupport Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> LedgerPeerSnapshotSRVSupport -> ShowS # show :: LedgerPeerSnapshotSRVSupport -> String # showList :: [LedgerPeerSnapshotSRVSupport] -> ShowS #
Eq LedgerPeerSnapshotSRVSupport Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: LedgerPeerSnapshotSRVSupport -> LedgerPeerSnapshotSRVSupport -> Bool # (/=) :: LedgerPeerSnapshotSRVSupport -> LedgerPeerSnapshotSRVSupport -> Bool #

encodeLedgerPeerSnapshot :: forall (a :: LedgerPeersKind). LedgerPeerSnapshotSRVSupport -> LedgerPeerSnapshot a -> Encoding Source #

decodeLedgerPeerSnapshot :: forall s (ledgerPeersKind :: LedgerPeersKind). SingLedgerPeersKind ledgerPeersKind -> Decoder s (LedgerPeerSnapshot ledgerPeersKind) Source #

encodeWithOrigin :: WithOrigin SlotNo -> Encoding Source #

decodeWithOrigin :: Decoder s (WithOrigin SlotNo) Source #

encodeLedgerPeerSnapshotPoint :: Point RawBlockHash -> Encoding Source #

decodeLedgerPeerSnapshotPoint :: Decoder s (Point RawBlockHash) Source #

encodeBigStakePools :: [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> Encoding Source #

decodeBigStakePools :: Decoder s [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] Source #

encodeAllStakePools :: [(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> Encoding Source #

decodeAllStakePools :: Decoder s [(PoolStake, NonEmpty LedgerRelayAccessPoint)] Source #

getRelayAccessPointsFromBigLedgerPeersSnapshot :: SRVPrefix -> LedgerPeerSnapshot 'BigLedgerPeers -> (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty RelayAccessPoint))]) Source #

getRelayAccessPointsFromAllLedgerPeersSnapshot :: SRVPrefix -> LedgerPeerSnapshot 'AllLedgerPeers -> (WithOrigin SlotNo, [(PoolStake, NonEmpty RelayAccessPoint)]) Source #

isLedgerPeersEnabled :: UseLedgerPeers -> Bool Source #

Re-exports

type SRVPrefix = Domain Source #

Type of a DNS SRV prefix as defined by CIP#0155

data RelayAccessPoint Source #

A relay can have either an IP address and a port number or a domain with a port number

Constructors

RelayAccessDomain !Domain !PortNumber
RelayAccessSRVDomain !Domain	SRV domain, prefixed (as defined in CIP#0155)
RelayAccessAddress !IP !PortNumber

Instances

Instances details

FromJSON RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods parseJSON :: Value -> Parser RelayAccessPoint # parseJSONList :: Value -> Parser [RelayAccessPoint] # omittedField :: Maybe RelayAccessPoint #
ToJSON RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toJSON :: RelayAccessPoint -> Value # toEncoding :: RelayAccessPoint -> Encoding # toJSONList :: [RelayAccessPoint] -> Value # toEncodingList :: [RelayAccessPoint] -> Encoding # omitField :: RelayAccessPoint -> Bool #
FromCBOR RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods fromCBOR :: Decoder s RelayAccessPoint # label :: Proxy RelayAccessPoint -> Text #
ToCBOR RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toCBOR :: RelayAccessPoint -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy RelayAccessPoint -> Size # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [RelayAccessPoint] -> Size #
NFData RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods rnf :: RelayAccessPoint -> () #
Show RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods showsPrec :: Int -> RelayAccessPoint -> ShowS # show :: RelayAccessPoint -> String # showList :: [RelayAccessPoint] -> ShowS #
Eq RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods (==) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (/=) :: RelayAccessPoint -> RelayAccessPoint -> Bool #
Ord RelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods compare :: RelayAccessPoint -> RelayAccessPoint -> Ordering # (<) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (<=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>) :: RelayAccessPoint -> RelayAccessPoint -> Bool # (>=) :: RelayAccessPoint -> RelayAccessPoint -> Bool # max :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint # min :: RelayAccessPoint -> RelayAccessPoint -> RelayAccessPoint #

data LedgerRelayAccessPoint Source #

A Relay as registered on the ledger.

The only difference with RelayAccessPoint is that LedgerRelayAccessSRVDomain is not prefixed, as required by CIP#0155.

Constructors

LedgerRelayAccessDomain !Domain !PortNumber
LedgerRelayAccessSRVDomain !Domain	SRV domain as registered on the ledger
LedgerRelayAccessAddress !IP !PortNumber

Instances

Instances details

FromJSON LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods parseJSON :: Value -> Parser LedgerRelayAccessPoint # parseJSONList :: Value -> Parser [LedgerRelayAccessPoint] # omittedField :: Maybe LedgerRelayAccessPoint #
ToJSON LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toJSON :: LedgerRelayAccessPoint -> Value # toEncoding :: LedgerRelayAccessPoint -> Encoding # toJSONList :: [LedgerRelayAccessPoint] -> Value # toEncodingList :: [LedgerRelayAccessPoint] -> Encoding # omitField :: LedgerRelayAccessPoint -> Bool #
FromCBOR LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods fromCBOR :: Decoder s LedgerRelayAccessPoint # label :: Proxy LedgerRelayAccessPoint -> Text #
ToCBOR LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods toCBOR :: LedgerRelayAccessPoint -> Encoding # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy LedgerRelayAccessPoint -> Size # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [LedgerRelayAccessPoint] -> Size #
NFData LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods rnf :: LedgerRelayAccessPoint -> () #
Show LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods showsPrec :: Int -> LedgerRelayAccessPoint -> ShowS # show :: LedgerRelayAccessPoint -> String # showList :: [LedgerRelayAccessPoint] -> ShowS #
Eq LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods (==) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool # (/=) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool #
Ord LedgerRelayAccessPoint Source #
Instance details Defined in Ouroboros.Network.PeerSelection.RelayAccessPoint Methods compare :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Ordering # (<) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool # (<=) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool # (>) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool # (>=) :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> Bool # max :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> LedgerRelayAccessPoint # min :: LedgerRelayAccessPoint -> LedgerRelayAccessPoint -> LedgerRelayAccessPoint #

prefixLedgerRelayAccessPoint :: SRVPrefix -> LedgerRelayAccessPoint -> RelayAccessPoint Source #