Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduletyped-protocols-1.2.2.0

Network.TypedProtocol.Driver

2 types
4 values

Packagetyped-protocols-1.2.2.0
Exports6
LicenceApache-2.0

valuerunLookaheadFixedSenderPeerWithDriver

:: (MonadAsync m, MonadEvaluate m, NFData a)
=> Driver ps pr dstate m
-> PeerLookaheadFixedSender ps pr st m a
-> m (a, dstate)

valuerunLookaheadPeerWithDriver

:: (MonadAsync m, MonadEvaluate m, NFData a)
=> Driver ps pr dstate m
-> PeerLookahead ps pr st m a
-> m (a, dstate)

valuerunPeerWithDriver

:: (Monad m, MonadEvaluate m, NFData a)
=> Driver ps pr dstate m
-> Peer ps pr 'NonPipelined st m a
-> m (a, dstate)

valuerunPipelinedPeerWithDriver

:: (MonadAsync m, MonadEvaluate m, NFData a)
=> Driver ps pr dstate m
-> PeerPipelined ps pr st m a
-> m (a, dstate)

datadata Driver ps (pr :: PeerRole) dstate (m :: Type -> Type)

Constructors

Driver
- sendMessage :: forall (st :: ps) (st' :: ps). (StateTokenI st, StateTokenI st', ActiveState st) => WeHaveAgencyProof pr st -> Message ps st st' -> m ()
- recvMessage :: forall (st :: ps). (StateTokenI st, ActiveState st) => TheyHaveAgencyProof pr st -> dstate -> m (SomeMessage st, dstate)
- initialDState :: dstate

datadata SomeMessage (st :: ps) where

Constructors

SomeMessage :: (StateTokenI st, StateTokenI st', ActiveState st) => Message ps st st' -> SomeMessage st