Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Network.ConnectionId

Synopsis

data ConnectionId addr = ConnectionId {
- localAddress ∷ !addr
- remoteAddress ∷ !addr
}

Documentation

data ConnectionId addr Source #

Connection is identified by local and remote address.

TODO: the type variable which this data type fills in is called peerid. We should renamed to connectionId.

Constructors

ConnectionId
Fields localAddress ∷ !addr remoteAddress ∷ !addr

Instances

Instances details

Functor ConnectionId Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods fmap ∷ (a → b) → ConnectionId a → ConnectionId b # (<$) ∷ a → ConnectionId b → ConnectionId a #
ShowProxy addr ⇒ ShowProxy (ConnectionId addr ∷ Type) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods showProxy ∷ Proxy (ConnectionId addr) → String Source #
Generic (ConnectionId addr) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Associated Types type Rep (ConnectionId addr) ∷ Type → Type # Methods from ∷ ConnectionId addr → Rep (ConnectionId addr) x # to ∷ Rep (ConnectionId addr) x → ConnectionId addr #
Show addr ⇒ Show (ConnectionId addr) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods showsPrec ∷ Int → ConnectionId addr → ShowS # show ∷ ConnectionId addr → String # showList ∷ [ConnectionId addr] → ShowS #
Eq addr ⇒ Eq (ConnectionId addr) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods (==) ∷ ConnectionId addr → ConnectionId addr → Bool # (/=) ∷ ConnectionId addr → ConnectionId addr → Bool #
Ord addr ⇒ Ord (ConnectionId addr) Source #	Order first by `remoteAddress` then by `localAddress`. Note: we relay on the fact that `remoteAddress` is an order preserving map (which allows us to use `mapKeysMonotonic` in some cases).
Instance details Defined in Ouroboros.Network.ConnectionId Methods compare ∷ ConnectionId addr → ConnectionId addr → Ordering # (<) ∷ ConnectionId addr → ConnectionId addr → Bool # (<=) ∷ ConnectionId addr → ConnectionId addr → Bool # (>) ∷ ConnectionId addr → ConnectionId addr → Bool # (>=) ∷ ConnectionId addr → ConnectionId addr → Bool # max ∷ ConnectionId addr → ConnectionId addr → ConnectionId addr # min ∷ ConnectionId addr → ConnectionId addr → ConnectionId addr #
Hashable a ⇒ Hashable (ConnectionId a) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods hashWithSalt ∷ Int → ConnectionId a → Int Source # hash ∷ ConnectionId a → Int Source #
Typeable addr ⇒ NoThunks (ConnectionId addr) Source #
Instance details Defined in Ouroboros.Network.ConnectionId Methods noThunks ∷ Context → ConnectionId addr → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ConnectionId addr → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ConnectionId addr) → String Source #
type Rep (ConnectionId addr) Source #
Instance details Defined in Ouroboros.Network.ConnectionId type Rep (ConnectionId addr) = D1 ('MetaData "ConnectionId" "Ouroboros.Network.ConnectionId" "ouroboros-network-framework-0.13.1.0-inplace" 'False) (C1 ('MetaCons "ConnectionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "localAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr) :*: S1 ('MetaSel ('Just "remoteAddress") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 addr)))