Safe Haskell | Safe |
---|---|
Language | Haskell98 |
These type synonyms simplify type signatures when proxies do not use all their type variables.
Synonyms
type CoProducer p a' = p a' () () C Source #
A CoPipe
that produces values flowing upstream
CoProducer
s never respond
.
type CoConsumer p b' = p C () b' () Source #
A CoConsumer
that consumes values flowing upstream
CoConsumer
s never request
.
type Client p a' a = p a' a () C Source #
Client a' a
sends requests of type a'
and receives responses of
type a
.
Client
s never respond
.
type Server p b' b = p C () b' b Source #
Server b' b
receives requests of type b'
and sends responses of type
b
.
Server
s never request
.