Network.TypedProtocol.Peer.Client · typed-protocols-1.2.2.0

pattern

pattern Await :: () => (StateTokenI st, StateAgency st ~ 'ServerAgency, Outstanding pl ~ 'Z, OutstandingSenders pl ~ 'Z) => (forall (st' :: ps). Message ps st st' -> Client ps pl st' m a) -> Client ps pl st m a

#

pattern

pattern Collect :: () => (StateTokenI st, ActiveState st) => Maybe (Client ps ('Pipelined ('S n) c) st m a) -> (c -> Client ps ('Pipelined n c) st m a) -> Client ps ('Pipelined ('S n) c) st m a

#

pattern

pattern Done :: () => (StateTokenI st, StateAgency st ~ 'NobodyAgency, Outstanding pl ~ 'Z, OutstandingSenders pl ~ 'Z) => a -> Client ps pl st m a

#

patternpattern Effect :: m (Client ps pl st m a) -> Client ps pl st m a

#

pattern

pattern ReceiverAwait :: () => (StateTokenI st, ActiveState st, StateAgency st ~ 'ServerAgency) => (forall (st' :: ps). Message ps st st' -> Receiver ps st' stdone m c) -> Receiver ps st stdone m c

#

patternpattern ReceiverDone :: c -> Receiver ps stdone stdone m c

#

patternpattern ReceiverEffect :: m (Receiver ps st stdone m c) -> Receiver ps st stdone m c

#

pattern

pattern Yield :: () => (StateTokenI st, StateTokenI st', StateAgency st ~ 'ClientAgency, Outstanding pl ~ 'Z, OutstandingSenders pl ~ 'Z) => Message ps st st' -> Client ps pl st' m a -> Client ps pl st m a

#

pattern

pattern YieldPipelined :: () => (StateTokenI st, StateTokenI st', StateAgency st ~ 'ClientAgency) => Message ps st st' -> Receiver ps st' st'' m c -> Client ps ('Pipelined ('S n) c) st'' m a -> Client ps ('Pipelined n c) st m a