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 LedgerPeerSnapshot (a :: LedgerPeersKind) where
- LedgerPeerSnapshotV2 :: (WithOrigin SlotNo, [(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))]) -> LedgerPeerSnapshot 'BigLedgerPeers
- LedgerBigPeerSnapshotV23 :: !(Point SomeHashableBlock) -> !NetworkMagic -> ![(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> LedgerPeerSnapshot 'BigLedgerPeers
- LedgerAllPeerSnapshotV23 :: !(Point SomeHashableBlock) -> !NetworkMagic -> ![(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> LedgerPeerSnapshot 'AllLedgerPeers
newtype LedgerPeerSnapshotWithBlock blk (a :: LedgerPeersKind) = LedgerPeerSnapshotWithBlock {
- parseLedgerPeerSnapshotWithBlock :: LedgerPeerSnapshot a
}
data SomeLedgerPeerSnapshot = Typeable k => SomeLedgerPeerSnapshot !(Proxy k) !(LedgerPeerSnapshot k)
data SomeHashableBlock = (StandardHash blk, ToCBOR (HeaderHash blk), FromCBOR (HeaderHash blk), ToJSON (HeaderHash blk), Typeable blk) => SomeHashableBlock !(Proxy blk) !(HeaderHash blk)
data LedgerPeerSnapshotSRVSupport
- = LedgerPeerSnapshotSupportsSRV
- | LedgerPeerSnapshotDoesntSupportSRV
encodeLedgerPeerSnapshot :: forall (a :: LedgerPeersKind). LedgerPeerSnapshotSRVSupport -> LedgerPeerSnapshot a -> Encoding
encodeLedgerPeerSnapshot' :: LedgerPeerSnapshotSRVSupport -> SomeLedgerPeerSnapshot -> Encoding
decodeLedgerPeerSnapshot :: forall s blk. (FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), ToJSON (HeaderHash blk), StandardHash blk, Typeable blk) => Proxy blk -> Decoder s SomeLedgerPeerSnapshot
encodeWithOrigin :: WithOrigin SlotNo -> Encoding
decodeWithOrigin :: Decoder s (WithOrigin SlotNo)
encodeLedgerPeerSnapshotPoint :: Point SomeHashableBlock -> Encoding
decodeLedgerPeerSnapshotPoint :: (FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), ToJSON (HeaderHash blk), Typeable blk, StandardHash blk) => Proxy blk -> Decoder s (Point SomeHashableBlock)
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-0.24.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-0.24.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-0.24.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-0.24.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

Instances

Instances details

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

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 SomeHashableBlock) -> !NetworkMagic -> ![(AccPoolStake, (PoolStake, NonEmpty LedgerRelayAccessPoint))] -> LedgerPeerSnapshot 'BigLedgerPeers
LedgerAllPeerSnapshotV23 :: !(Point SomeHashableBlock) -> !NetworkMagic -> ![(PoolStake, NonEmpty LedgerRelayAccessPoint)] -> LedgerPeerSnapshot 'AllLedgerPeers

Instances

Instances details

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 #

newtype LedgerPeerSnapshotWithBlock blk (a :: LedgerPeersKind) Source #

facility to aid JSON decode instances

Constructors

LedgerPeerSnapshotWithBlock
Fields parseLedgerPeerSnapshotWithBlock :: LedgerPeerSnapshot a

Instances

Instances details

(StandardHash blk, ToJSON (HeaderHash blk), FromJSON (HeaderHash blk), FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), Typeable blk) => FromJSON (LedgerPeerSnapshotWithBlock blk 'AllLedgerPeers) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser (LedgerPeerSnapshotWithBlock blk 'AllLedgerPeers) # parseJSONList :: Value -> Parser [LedgerPeerSnapshotWithBlock blk 'AllLedgerPeers] # omittedField :: Maybe (LedgerPeerSnapshotWithBlock blk 'AllLedgerPeers) #
(StandardHash blk, FromJSON (HeaderHash blk), ToJSON (HeaderHash blk), FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), Typeable blk) => FromJSON (LedgerPeerSnapshotWithBlock blk 'BigLedgerPeers) Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods parseJSON :: Value -> Parser (LedgerPeerSnapshotWithBlock blk 'BigLedgerPeers) # parseJSONList :: Value -> Parser [LedgerPeerSnapshotWithBlock blk 'BigLedgerPeers] # omittedField :: Maybe (LedgerPeerSnapshotWithBlock blk 'BigLedgerPeers) #

data SomeLedgerPeerSnapshot Source #

facility for encoding the snapshot in CBOR for backwards compatibility

Constructors

Typeable k => SomeLedgerPeerSnapshot !(Proxy k) !(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 #

data SomeHashableBlock Source #

We hide the block type to avoid parametrizing ouroboros-network with it

Constructors

(StandardHash blk, ToCBOR (HeaderHash blk), FromCBOR (HeaderHash blk), ToJSON (HeaderHash blk), Typeable blk) => SomeHashableBlock !(Proxy blk) !(HeaderHash blk)

Instances

Instances details

ToJSON SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods toJSON :: SomeHashableBlock -> Value # toEncoding :: SomeHashableBlock -> Encoding # toJSONList :: [SomeHashableBlock] -> Value # toEncodingList :: [SomeHashableBlock] -> Encoding # omitField :: SomeHashableBlock -> Bool #
Show SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods showsPrec :: Int -> SomeHashableBlock -> ShowS # show :: SomeHashableBlock -> String # showList :: [SomeHashableBlock] -> ShowS #
Eq SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods (==) :: SomeHashableBlock -> SomeHashableBlock -> Bool # (/=) :: SomeHashableBlock -> SomeHashableBlock -> Bool #
Ord SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods compare :: SomeHashableBlock -> SomeHashableBlock -> Ordering # (<) :: SomeHashableBlock -> SomeHashableBlock -> Bool # (<=) :: SomeHashableBlock -> SomeHashableBlock -> Bool # (>) :: SomeHashableBlock -> SomeHashableBlock -> Bool # (>=) :: SomeHashableBlock -> SomeHashableBlock -> Bool # max :: SomeHashableBlock -> SomeHashableBlock -> SomeHashableBlock # min :: SomeHashableBlock -> SomeHashableBlock -> SomeHashableBlock #
NoThunks SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type Methods noThunks :: Context -> SomeHashableBlock -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> SomeHashableBlock -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy SomeHashableBlock -> String #
StandardHash SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type
type HeaderHash SomeHashableBlock Source #
Instance details Defined in Ouroboros.Network.PeerSelection.LedgerPeers.Type type HeaderHash SomeHashableBlock = SomeHashableBlock

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 #

encodeLedgerPeerSnapshot' :: LedgerPeerSnapshotSRVSupport -> SomeLedgerPeerSnapshot -> Encoding Source #

decodeLedgerPeerSnapshot :: forall s blk. (FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), ToJSON (HeaderHash blk), StandardHash blk, Typeable blk) => Proxy blk -> Decoder s SomeLedgerPeerSnapshot Source #

encodeWithOrigin :: WithOrigin SlotNo -> Encoding Source #

decodeWithOrigin :: Decoder s (WithOrigin SlotNo) Source #

encodeLedgerPeerSnapshotPoint :: Point SomeHashableBlock -> Encoding Source #

decodeLedgerPeerSnapshotPoint :: (FromCBOR (HeaderHash blk), ToCBOR (HeaderHash blk), ToJSON (HeaderHash blk), Typeable blk, StandardHash blk) => Proxy blk -> Decoder s (Point SomeHashableBlock) 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 #