Safe Haskell	None
Language	Haskell2010

Ouroboros.Network.Mux

Contents

Basic notions
Mux mini-protocol callback
Mux mini-protocol callback in MuxMode
MiniProtocol description
MiniProtocol bundle
Non-P2P API
Re-exports

Synopsis

data ProtocolTemperature
- = Established
- | Warm
- | Hot
data SingProtocolTemperature (pt :: ProtocolTemperature) where
- SingHot :: SingProtocolTemperature 'Hot
- SingWarm :: SingProtocolTemperature 'Warm
- SingEstablished :: SingProtocolTemperature 'Established
data SomeTokProtocolTemperature where
- SomeTokProtocolTemperature :: forall (pt :: ProtocolTemperature). SingProtocolTemperature pt -> SomeTokProtocolTemperature
data WithProtocolTemperature (pt :: ProtocolTemperature) a where
- WithHot :: forall a. !a -> WithProtocolTemperature 'Hot a
- WithWarm :: forall a. !a -> WithProtocolTemperature 'Warm a
- WithEstablished :: forall a. !a -> WithProtocolTemperature 'Established a
withoutProtocolTemperature :: forall (pt :: ProtocolTemperature) a. WithProtocolTemperature pt a -> a
data WithSomeProtocolTemperature a where
- WithSomeProtocolTemperature :: forall (pt :: ProtocolTemperature) a. WithProtocolTemperature pt a -> WithSomeProtocolTemperature a
withoutSomeProtocolTemperature :: WithSomeProtocolTemperature a -> a
data TemperatureBundle a = TemperatureBundle {
- withHot :: !(WithProtocolTemperature 'Hot a)
- withWarm :: !(WithProtocolTemperature 'Warm a)
- withEstablished :: !(WithProtocolTemperature 'Established a)
}
projectBundle :: forall (pt :: ProtocolTemperature) a. SingProtocolTemperature pt -> TemperatureBundle a -> a
newtype MiniProtocolCb ctx bytes (m :: Type -> Type) a = MiniProtocolCb {
- runMiniProtocolCb :: ctx -> Channel m bytes -> m (a, Maybe bytes)
}
mkMiniProtocolCbFromPeer :: forall (pr :: PeerRole) ps (st :: ps) failure bytes ctx (m :: Type -> Type) a. (MonadThrow m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps), Codec ps failure m bytes, Peer ps pr 'NonPipelined st m a)) -> MiniProtocolCb ctx bytes m a
mkMiniProtocolCbFromPeerPipelined :: forall (pr :: PeerRole) ps (st :: ps) failure ctx bytes (m :: Type -> Type) a. (MonadAsync m, MonadThrow m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps), Codec ps failure m bytes, PeerPipelined ps pr st m a)) -> MiniProtocolCb ctx bytes m a
mkMiniProtocolCbFromPeerSt :: forall (pr :: PeerRole) ps f (st :: ps) failure bytes ctx (m :: Type -> Type) a. (MonadAsync m, MonadMask m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps f), Codec ps failure f m bytes, f st, Peer ps pr st f m a)) -> MiniProtocolCb ctx bytes m a
data RunMiniProtocol (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b where
- InitiatorProtocolOnly :: forall initiatorCtx bytes (m :: Type -> Type) a responderCtx. MiniProtocolCb initiatorCtx bytes m a -> RunMiniProtocol 'InitiatorMode initiatorCtx responderCtx bytes m a Void
- ResponderProtocolOnly :: forall responderCtx bytes (m :: Type -> Type) b initiatorCtx. MiniProtocolCb responderCtx bytes m b -> RunMiniProtocol 'ResponderMode initiatorCtx responderCtx bytes m Void b
- InitiatorAndResponderProtocol :: forall initiatorCtx bytes (m :: Type -> Type) a responderCtx b. MiniProtocolCb initiatorCtx bytes m a -> MiniProtocolCb responderCtx bytes m b -> RunMiniProtocol 'InitiatorResponderMode initiatorCtx responderCtx bytes m a b
type RunMiniProtocolWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = RunMiniProtocol mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b
type RunMiniProtocolWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = RunMiniProtocol mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b
data MiniProtocol (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b = MiniProtocol {
- miniProtocolNum :: !MiniProtocolNum
- miniProtocolLimits :: !MiniProtocolLimits
- miniProtocolRun :: !(RunMiniProtocol mode initiatorCtx responderCtx bytes m a b)
}
type MiniProtocolWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = MiniProtocol mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b
type MiniProtocolWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = MiniProtocol mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b
newtype MiniProtocolNum = MiniProtocolNum Word16
newtype MiniProtocolLimits = MiniProtocolLimits {
- maximumIngressQueue :: Int
}
type OuroborosBundle (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b = TemperatureBundle [MiniProtocol mode initiatorCtx responderCtx bytes m a b]
type OuroborosBundleWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosBundle mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b
type OuroborosBundleWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosBundle mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b
newtype OuroborosApplication (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b = OuroborosApplication {
- getOuroborosApplication :: [MiniProtocol mode initiatorCtx responderCtx bytes m a b]
}
type OuroborosApplicationWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosApplication mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b
mkMiniProtocolInfos :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosBundle mode initiatorCtx responderCtx bytes m a b -> [MiniProtocolInfo mode]
fromOuroborosBundle :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosBundle mode initiatorCtx responderCtx bytes m a b -> OuroborosApplication mode initiatorCtx responderCtx bytes m a b
toMiniProtocolInfos :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosApplication mode initiatorCtx responderCtx bytes m a b -> [MiniProtocolInfo mode]
contramapInitiatorCtx :: forall initiatorCtx' initiatorCtx (mode :: Mode) responderCtx bytes (m :: Type -> Type) a b. (initiatorCtx' -> initiatorCtx) -> OuroborosApplication mode initiatorCtx responderCtx bytes m a b -> OuroborosApplication mode initiatorCtx' responderCtx bytes m a b
type family HasInitiator (mode :: Mode) :: Bool where ...
type family HasResponder (mode :: Mode) :: Bool where ...

Basic notions

data ProtocolTemperature Source #

There are three kinds of applications: warm, hot and established (ones that run in both warm and hot states).

Constructors

Established
Warm
Hot

Instances

Instances details

Show ProtocolTemperature Source #
Instance details Defined in Ouroboros.Network.Mux Methods showsPrec :: Int -> ProtocolTemperature -> ShowS # show :: ProtocolTemperature -> String # showList :: [ProtocolTemperature] -> ShowS #
Eq ProtocolTemperature Source #
Instance details Defined in Ouroboros.Network.Mux Methods (==) :: ProtocolTemperature -> ProtocolTemperature -> Bool # (/=) :: ProtocolTemperature -> ProtocolTemperature -> Bool #
Ord ProtocolTemperature Source #
Instance details Defined in Ouroboros.Network.Mux Methods compare :: ProtocolTemperature -> ProtocolTemperature -> Ordering # (<) :: ProtocolTemperature -> ProtocolTemperature -> Bool # (<=) :: ProtocolTemperature -> ProtocolTemperature -> Bool # (>) :: ProtocolTemperature -> ProtocolTemperature -> Bool # (>=) :: ProtocolTemperature -> ProtocolTemperature -> Bool # max :: ProtocolTemperature -> ProtocolTemperature -> ProtocolTemperature # min :: ProtocolTemperature -> ProtocolTemperature -> ProtocolTemperature #

data SingProtocolTemperature (pt :: ProtocolTemperature) where Source #

Singletons for ProtocolTemperature.

Constructors

SingHot :: SingProtocolTemperature 'Hot
SingWarm :: SingProtocolTemperature 'Warm
SingEstablished :: SingProtocolTemperature 'Established

data SomeTokProtocolTemperature where Source #

Constructors

SomeTokProtocolTemperature :: forall (pt :: ProtocolTemperature). SingProtocolTemperature pt -> SomeTokProtocolTemperature

data WithProtocolTemperature (pt :: ProtocolTemperature) a where Source #

We keep hot, warm and established application (or their context) distinct. It's only needed for a handy projectBundle map.

Constructors

WithHot :: forall a. !a -> WithProtocolTemperature 'Hot a
WithWarm :: forall a. !a -> WithProtocolTemperature 'Warm a
WithEstablished :: forall a. !a -> WithProtocolTemperature 'Established a

Instances

Instances details

Applicative (WithProtocolTemperature 'Established) Source #
Instance details Defined in Ouroboros.Network.Mux Methods pure :: a -> WithProtocolTemperature 'Established a # (<>) :: WithProtocolTemperature 'Established (a -> b) -> WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established b # liftA2 :: (a -> b -> c) -> WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established b -> WithProtocolTemperature 'Established c # (>) :: WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established b -> WithProtocolTemperature 'Established b # (<*) :: WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established b -> WithProtocolTemperature 'Established a #
Applicative (WithProtocolTemperature 'Hot) Source #
Instance details Defined in Ouroboros.Network.Mux Methods pure :: a -> WithProtocolTemperature 'Hot a # (<>) :: WithProtocolTemperature 'Hot (a -> b) -> WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot b # liftA2 :: (a -> b -> c) -> WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot b -> WithProtocolTemperature 'Hot c # (>) :: WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot b -> WithProtocolTemperature 'Hot b # (<*) :: WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot b -> WithProtocolTemperature 'Hot a #
Applicative (WithProtocolTemperature 'Warm) Source #
Instance details Defined in Ouroboros.Network.Mux Methods pure :: a -> WithProtocolTemperature 'Warm a # (<>) :: WithProtocolTemperature 'Warm (a -> b) -> WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm b # liftA2 :: (a -> b -> c) -> WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm b -> WithProtocolTemperature 'Warm c # (>) :: WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm b -> WithProtocolTemperature 'Warm b # (<*) :: WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm b -> WithProtocolTemperature 'Warm a #
Functor (WithProtocolTemperature pt) Source #
Instance details Defined in Ouroboros.Network.Mux Methods fmap :: (a -> b) -> WithProtocolTemperature pt a -> WithProtocolTemperature pt b # (<$) :: a -> WithProtocolTemperature pt b -> WithProtocolTemperature pt a #
Foldable (WithProtocolTemperature pt) Source #
Instance details Defined in Ouroboros.Network.Mux Methods fold :: Monoid m => WithProtocolTemperature pt m -> m # foldMap :: Monoid m => (a -> m) -> WithProtocolTemperature pt a -> m # foldMap' :: Monoid m => (a -> m) -> WithProtocolTemperature pt a -> m # foldr :: (a -> b -> b) -> b -> WithProtocolTemperature pt a -> b # foldr' :: (a -> b -> b) -> b -> WithProtocolTemperature pt a -> b # foldl :: (b -> a -> b) -> b -> WithProtocolTemperature pt a -> b # foldl' :: (b -> a -> b) -> b -> WithProtocolTemperature pt a -> b # foldr1 :: (a -> a -> a) -> WithProtocolTemperature pt a -> a # foldl1 :: (a -> a -> a) -> WithProtocolTemperature pt a -> a # toList :: WithProtocolTemperature pt a -> [a] # null :: WithProtocolTemperature pt a -> Bool # length :: WithProtocolTemperature pt a -> Int # elem :: Eq a => a -> WithProtocolTemperature pt a -> Bool # maximum :: Ord a => WithProtocolTemperature pt a -> a # minimum :: Ord a => WithProtocolTemperature pt a -> a # sum :: Num a => WithProtocolTemperature pt a -> a # product :: Num a => WithProtocolTemperature pt a -> a #
Traversable (WithProtocolTemperature pt) Source #
Instance details Defined in Ouroboros.Network.Mux Methods traverse :: Applicative f => (a -> f b) -> WithProtocolTemperature pt a -> f (WithProtocolTemperature pt b) # sequenceA :: Applicative f => WithProtocolTemperature pt (f a) -> f (WithProtocolTemperature pt a) # mapM :: Monad m => (a -> m b) -> WithProtocolTemperature pt a -> m (WithProtocolTemperature pt b) # sequence :: Monad m => WithProtocolTemperature pt (m a) -> m (WithProtocolTemperature pt a) #
Monoid a => Monoid (WithProtocolTemperature 'Established a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods mempty :: WithProtocolTemperature 'Established a # mappend :: WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established a # mconcat :: [WithProtocolTemperature 'Established a] -> WithProtocolTemperature 'Established a #
Monoid a => Monoid (WithProtocolTemperature 'Hot a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods mempty :: WithProtocolTemperature 'Hot a # mappend :: WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot a # mconcat :: [WithProtocolTemperature 'Hot a] -> WithProtocolTemperature 'Hot a #
Monoid a => Monoid (WithProtocolTemperature 'Warm a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods mempty :: WithProtocolTemperature 'Warm a # mappend :: WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm a # mconcat :: [WithProtocolTemperature 'Warm a] -> WithProtocolTemperature 'Warm a #
Semigroup a => Semigroup (WithProtocolTemperature 'Established a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (<>) :: WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established a # sconcat :: NonEmpty (WithProtocolTemperature 'Established a) -> WithProtocolTemperature 'Established a # stimes :: Integral b => b -> WithProtocolTemperature 'Established a -> WithProtocolTemperature 'Established a #
Semigroup a => Semigroup (WithProtocolTemperature 'Hot a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (<>) :: WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot a # sconcat :: NonEmpty (WithProtocolTemperature 'Hot a) -> WithProtocolTemperature 'Hot a # stimes :: Integral b => b -> WithProtocolTemperature 'Hot a -> WithProtocolTemperature 'Hot a #
Semigroup a => Semigroup (WithProtocolTemperature 'Warm a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (<>) :: WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm a # sconcat :: NonEmpty (WithProtocolTemperature 'Warm a) -> WithProtocolTemperature 'Warm a # stimes :: Integral b => b -> WithProtocolTemperature 'Warm a -> WithProtocolTemperature 'Warm a #
Show a => Show (WithProtocolTemperature pt a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods showsPrec :: Int -> WithProtocolTemperature pt a -> ShowS # show :: WithProtocolTemperature pt a -> String # showList :: [WithProtocolTemperature pt a] -> ShowS #
Eq a => Eq (WithProtocolTemperature pt a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (==) :: WithProtocolTemperature pt a -> WithProtocolTemperature pt a -> Bool # (/=) :: WithProtocolTemperature pt a -> WithProtocolTemperature pt a -> Bool #

withoutProtocolTemperature :: forall (pt :: ProtocolTemperature) a. WithProtocolTemperature pt a -> a Source #

data WithSomeProtocolTemperature a where Source #

Constructors

WithSomeProtocolTemperature :: forall (pt :: ProtocolTemperature) a. WithProtocolTemperature pt a -> WithSomeProtocolTemperature a

Instances

Instances details

Functor WithSomeProtocolTemperature Source #
Instance details Defined in Ouroboros.Network.Mux Methods fmap :: (a -> b) -> WithSomeProtocolTemperature a -> WithSomeProtocolTemperature b # (<$) :: a -> WithSomeProtocolTemperature b -> WithSomeProtocolTemperature a #
Show a => Show (WithSomeProtocolTemperature a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods showsPrec :: Int -> WithSomeProtocolTemperature a -> ShowS # show :: WithSomeProtocolTemperature a -> String # showList :: [WithSomeProtocolTemperature a] -> ShowS #

withoutSomeProtocolTemperature :: WithSomeProtocolTemperature a -> a Source #

data TemperatureBundle a Source #

A bundle of HotApp, WarmApp and EstablishedApp.

Constructors

TemperatureBundle
Fields withHot :: !(WithProtocolTemperature 'Hot a) hot mini-protocols withWarm :: !(WithProtocolTemperature 'Warm a) warm mini-protocols withEstablished :: !(WithProtocolTemperature 'Established a) established mini-protocols

Instances

Instances details

Applicative TemperatureBundle Source #
Instance details Defined in Ouroboros.Network.Mux Methods pure :: a -> TemperatureBundle a # (<>) :: TemperatureBundle (a -> b) -> TemperatureBundle a -> TemperatureBundle b # liftA2 :: (a -> b -> c) -> TemperatureBundle a -> TemperatureBundle b -> TemperatureBundle c # (>) :: TemperatureBundle a -> TemperatureBundle b -> TemperatureBundle b # (<*) :: TemperatureBundle a -> TemperatureBundle b -> TemperatureBundle a #
Functor TemperatureBundle Source #
Instance details Defined in Ouroboros.Network.Mux Methods fmap :: (a -> b) -> TemperatureBundle a -> TemperatureBundle b # (<$) :: a -> TemperatureBundle b -> TemperatureBundle a #
Foldable TemperatureBundle Source #
Instance details Defined in Ouroboros.Network.Mux Methods fold :: Monoid m => TemperatureBundle m -> m # foldMap :: Monoid m => (a -> m) -> TemperatureBundle a -> m # foldMap' :: Monoid m => (a -> m) -> TemperatureBundle a -> m # foldr :: (a -> b -> b) -> b -> TemperatureBundle a -> b # foldr' :: (a -> b -> b) -> b -> TemperatureBundle a -> b # foldl :: (b -> a -> b) -> b -> TemperatureBundle a -> b # foldl' :: (b -> a -> b) -> b -> TemperatureBundle a -> b # foldr1 :: (a -> a -> a) -> TemperatureBundle a -> a # foldl1 :: (a -> a -> a) -> TemperatureBundle a -> a # toList :: TemperatureBundle a -> [a] # null :: TemperatureBundle a -> Bool # length :: TemperatureBundle a -> Int # elem :: Eq a => a -> TemperatureBundle a -> Bool # maximum :: Ord a => TemperatureBundle a -> a # minimum :: Ord a => TemperatureBundle a -> a # sum :: Num a => TemperatureBundle a -> a # product :: Num a => TemperatureBundle a -> a #
Traversable TemperatureBundle Source #
Instance details Defined in Ouroboros.Network.Mux Methods traverse :: Applicative f => (a -> f b) -> TemperatureBundle a -> f (TemperatureBundle b) # sequenceA :: Applicative f => TemperatureBundle (f a) -> f (TemperatureBundle a) # mapM :: Monad m => (a -> m b) -> TemperatureBundle a -> m (TemperatureBundle b) # sequence :: Monad m => TemperatureBundle (m a) -> m (TemperatureBundle a) #
Monoid a => Monoid (TemperatureBundle a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods mempty :: TemperatureBundle a # mappend :: TemperatureBundle a -> TemperatureBundle a -> TemperatureBundle a # mconcat :: [TemperatureBundle a] -> TemperatureBundle a #
Semigroup a => Semigroup (TemperatureBundle a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (<>) :: TemperatureBundle a -> TemperatureBundle a -> TemperatureBundle a # sconcat :: NonEmpty (TemperatureBundle a) -> TemperatureBundle a # stimes :: Integral b => b -> TemperatureBundle a -> TemperatureBundle a #
Show a => Show (TemperatureBundle a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods showsPrec :: Int -> TemperatureBundle a -> ShowS # show :: TemperatureBundle a -> String # showList :: [TemperatureBundle a] -> ShowS #
Eq a => Eq (TemperatureBundle a) Source #
Instance details Defined in Ouroboros.Network.Mux Methods (==) :: TemperatureBundle a -> TemperatureBundle a -> Bool # (/=) :: TemperatureBundle a -> TemperatureBundle a -> Bool #

projectBundle :: forall (pt :: ProtocolTemperature) a. SingProtocolTemperature pt -> TemperatureBundle a -> a Source #

Mux mini-protocol callback

newtype MiniProtocolCb ctx bytes (m :: Type -> Type) a Source #

A callback executed by each muxed mini-protocol.

Constructors

MiniProtocolCb
Fields runMiniProtocolCb :: ctx -> Channel m bytes -> m (a, Maybe bytes)

mkMiniProtocolCbFromPeer :: forall (pr :: PeerRole) ps (st :: ps) failure bytes ctx (m :: Type -> Type) a. (MonadThrow m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps), Codec ps failure m bytes, Peer ps pr 'NonPipelined st m a)) -> MiniProtocolCb ctx bytes m a Source #

Create a MuxPeer from a tracer, codec and Peer.

mkMiniProtocolCbFromPeerPipelined :: forall (pr :: PeerRole) ps (st :: ps) failure ctx bytes (m :: Type -> Type) a. (MonadAsync m, MonadThrow m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps), Codec ps failure m bytes, PeerPipelined ps pr st m a)) -> MiniProtocolCb ctx bytes m a Source #

Create a MuxPeer from a tracer, codec and PeerPipelined.

mkMiniProtocolCbFromPeerSt :: forall (pr :: PeerRole) ps f (st :: ps) failure bytes ctx (m :: Type -> Type) a. (MonadAsync m, MonadMask m, ShowProxy ps, forall (st' :: ps) stok. stok ~ StateToken st' => Show stok, Show failure) => (ctx -> (Tracer m (TraceSendRecv ps f), Codec ps failure f m bytes, f st, Peer ps pr st f m a)) -> MiniProtocolCb ctx bytes m a Source #

Create a MuxPeer from a tracer, codec and Peer.

Mux mini-protocol callback in MuxMode

data RunMiniProtocol (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b where Source #

RunMiniProtocol. It also capture context (the IsBigLedgerPeer) which is passed to the mini-protocol when a mini-protocol is started.

Constructors

InitiatorProtocolOnly :: forall initiatorCtx bytes (m :: Type -> Type) a responderCtx. MiniProtocolCb initiatorCtx bytes m a -> RunMiniProtocol 'InitiatorMode initiatorCtx responderCtx bytes m a Void
ResponderProtocolOnly :: forall responderCtx bytes (m :: Type -> Type) b initiatorCtx. MiniProtocolCb responderCtx bytes m b -> RunMiniProtocol 'ResponderMode initiatorCtx responderCtx bytes m Void b
InitiatorAndResponderProtocol :: forall initiatorCtx bytes (m :: Type -> Type) a responderCtx b. MiniProtocolCb initiatorCtx bytes m a -> MiniProtocolCb responderCtx bytes m b -> RunMiniProtocol 'InitiatorResponderMode initiatorCtx responderCtx bytes m a b

type RunMiniProtocolWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = RunMiniProtocol mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b Source #

RunMiniProtocol with ExpandedInitiatorContext and ResponderContext.

Used to run P2P node-to-node applications.

type RunMiniProtocolWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = RunMiniProtocol mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b Source #

RunMiniProtocol with MinimalInitiatorContext and ResponderContext.

Use to run node-to-client application as well as in some non p2p contexts.

MiniProtocol description

data MiniProtocol (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b Source #

Each mini-protocol is represented by its

mini-protocol number,
ingress size limit, and
callbacks.

Constructors

MiniProtocol
Fields miniProtocolNum :: !MiniProtocolNum miniProtocolLimits :: !MiniProtocolLimits miniProtocolRun :: !(RunMiniProtocol mode initiatorCtx responderCtx bytes m a b)

type MiniProtocolWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = MiniProtocol mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b Source #

MiniProtocol type used in P2P.

type MiniProtocolWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = MiniProtocol mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b Source #

MiniProtocol type used in non-P2P.

newtype MiniProtocolNum #

The wire format includes the protocol numbers, and it's vital that these are stable. They are not necessarily dense however, as new ones are added and some old ones retired. So we use a dedicated class for this rather than reusing Enum. This also covers unrecognised protocol numbers on the decoding side.

Constructors

MiniProtocolNum Word16

Instances

Instances details

Enum MiniProtocolNum
Instance details Defined in Network.Mux.Types Methods succ :: MiniProtocolNum -> MiniProtocolNum # pred :: MiniProtocolNum -> MiniProtocolNum # toEnum :: Int -> MiniProtocolNum # fromEnum :: MiniProtocolNum -> Int # enumFrom :: MiniProtocolNum -> [MiniProtocolNum] # enumFromThen :: MiniProtocolNum -> MiniProtocolNum -> [MiniProtocolNum] # enumFromTo :: MiniProtocolNum -> MiniProtocolNum -> [MiniProtocolNum] # enumFromThenTo :: MiniProtocolNum -> MiniProtocolNum -> MiniProtocolNum -> [MiniProtocolNum] #
Ix MiniProtocolNum
Instance details Defined in Network.Mux.Types Methods range :: (MiniProtocolNum, MiniProtocolNum) -> [MiniProtocolNum] # index :: (MiniProtocolNum, MiniProtocolNum) -> MiniProtocolNum -> Int # unsafeIndex :: (MiniProtocolNum, MiniProtocolNum) -> MiniProtocolNum -> Int # inRange :: (MiniProtocolNum, MiniProtocolNum) -> MiniProtocolNum -> Bool # rangeSize :: (MiniProtocolNum, MiniProtocolNum) -> Int # unsafeRangeSize :: (MiniProtocolNum, MiniProtocolNum) -> Int #
Show MiniProtocolNum
Instance details Defined in Network.Mux.Types Methods showsPrec :: Int -> MiniProtocolNum -> ShowS # show :: MiniProtocolNum -> String # showList :: [MiniProtocolNum] -> ShowS #
Eq MiniProtocolNum
Instance details Defined in Network.Mux.Types Methods (==) :: MiniProtocolNum -> MiniProtocolNum -> Bool # (/=) :: MiniProtocolNum -> MiniProtocolNum -> Bool #
Ord MiniProtocolNum
Instance details Defined in Network.Mux.Types Methods compare :: MiniProtocolNum -> MiniProtocolNum -> Ordering # (<) :: MiniProtocolNum -> MiniProtocolNum -> Bool # (<=) :: MiniProtocolNum -> MiniProtocolNum -> Bool # (>) :: MiniProtocolNum -> MiniProtocolNum -> Bool # (>=) :: MiniProtocolNum -> MiniProtocolNum -> Bool # max :: MiniProtocolNum -> MiniProtocolNum -> MiniProtocolNum # min :: MiniProtocolNum -> MiniProtocolNum -> MiniProtocolNum #

newtype MiniProtocolLimits #

Per Miniprotocol limits

Constructors

MiniProtocolLimits
Fields maximumIngressQueue :: Int Limit on the maximum number of bytes that can be queued in the miniprotocol's ingress queue.

MiniProtocol bundle

type OuroborosBundle (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b = TemperatureBundle [MiniProtocol mode initiatorCtx responderCtx bytes m a b] Source #

type OuroborosBundleWithExpandedCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosBundle mode (ExpandedInitiatorContext peerAddr m) (ResponderContext peerAddr) bytes m a b Source #

OuroborosBundle used in P2P.

type OuroborosBundleWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosBundle mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b Source #

Non-P2P API

newtype OuroborosApplication (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b Source #

Like MuxApplication but using a MuxPeer rather than a raw Channel -> m a action.

Note: Only used in some non-P2P contexts.

Constructors

OuroborosApplication
Fields getOuroborosApplication :: [MiniProtocol mode initiatorCtx responderCtx bytes m a b]

type OuroborosApplicationWithMinimalCtx (mode :: Mode) peerAddr bytes (m :: Type -> Type) a b = OuroborosApplication mode (MinimalInitiatorContext peerAddr) (ResponderContext peerAddr) bytes m a b Source #

OuroborosApplication used in NonP2P mode.

mkMiniProtocolInfos :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosBundle mode initiatorCtx responderCtx bytes m a b -> [MiniProtocolInfo mode] Source #

Make MiniProtocolBundle, which is used to create a mux interface with newMux.

fromOuroborosBundle :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosBundle mode initiatorCtx responderCtx bytes m a b -> OuroborosApplication mode initiatorCtx responderCtx bytes m a b Source #

toMiniProtocolInfos :: forall (mode :: Mode) initiatorCtx responderCtx bytes (m :: Type -> Type) a b. OuroborosApplication mode initiatorCtx responderCtx bytes m a b -> [MiniProtocolInfo mode] Source #

contramapInitiatorCtx :: forall initiatorCtx' initiatorCtx (mode :: Mode) responderCtx bytes (m :: Type -> Type) a b. (initiatorCtx' -> initiatorCtx) -> OuroborosApplication mode initiatorCtx responderCtx bytes m a b -> OuroborosApplication mode initiatorCtx' responderCtx bytes m a b Source #

Re-exports

from Network.Mux

type family HasInitiator (mode :: Mode) :: Bool where ... #

Equations

HasInitiator 'InitiatorMode = 'True
HasInitiator 'ResponderMode = 'False
HasInitiator 'InitiatorResponderMode = 'True

type family HasResponder (mode :: Mode) :: Bool where ... #

Equations

HasResponder 'InitiatorMode = 'False
HasResponder 'ResponderMode = 'True
HasResponder 'InitiatorResponderMode = 'True