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.Proofs

2 types
10 values

Packagetyped-protocols-1.2.2.0
Exports12
LicenceApache-2.0

valueconnect

:: (Monad m, SingI pr)
=> Peer ps pr 'NonPipelined initSt m a
-> Peer ps (FlipAgency pr) 'NonPipelined initSt m b
-> m (a, b, TerminalStates ps)

valueconnectLookahead

:: (Monad m, SingI pr)
=> [Bool]
-> PeerLookahead ps pr st m a
-> Peer ps (FlipAgency pr) 'NonPipelined st m b
-> m (a, b, TerminalStates ps)

valueconnectPipelined

:: (Monad m, SingI pr)
=> [Bool]
-> PeerPipelined ps pr st m a
-> Peer ps (FlipAgency pr) 'NonPipelined st m b
-> m (a, b, TerminalStates ps)

valueembedLookaheadUsingFixedSender

:: Functor m
=> PeerLookaheadFixedSender ps pr st m a
-> PeerLookahead ps pr st m a

valueenqueue :: a -> Queue n a -> Queue ('S n) a

valueforgetLookahead

:: Functor m
=> [Bool]
-> PeerLookahead ps pr st m a
-> Peer ps pr 'NonPipelined st m a

valueforgetPipelined

:: Functor m
=> [Bool]
-> PeerPipelined ps pr st m a
-> Peer ps pr 'NonPipelined st m a

valuepipelineInterleaving

:: Int
-> [Bool]
-> [req]
-> [resp]
-> [Either req resp]

valuepromoteToLookahead

:: Functor m
=> Peer ps pr 'NonPipelined st m a
-> PeerLookahead ps pr st m a

valuepromoteToPipelined

:: Functor m
=> Peer ps pr 'NonPipelined st m a
-> PeerPipelined ps pr st m a

datadata Queue (n :: N) a where

Constructors

EmptyQ :: Queue 'Z a
ConsQ :: a -> Queue n1 a -> Queue ('S n1) a

datadata TerminalStates ps where

Constructors

TerminalStates :: StateAgency st ~ 'NobodyAgency => StateToken st -> StateToken st -> TerminalStates ps