Index of types


_0 [Session]	Empty type.
C
choice [Session]	The type of a binary choice, where `'a` is the protocol to be performed if `True is selected and `'b` is the protocol to be performed if `False is selected.
E
et [Session]	The type of endpoints that can only be closed.
I
it [Session]	The type of endpoints for receiving messages of type `'a`.
O
ot [Session]	The type of endpoints for sending messages of type `'a`.
S
seq [Session]	The type of a sequentially composed protocol, where `'a` is the protocol to be performed first, followed by `'b`.
st [Session]	The type of endpoints for receiving messages of type `'a` and sending messages of type `'b`.
T
t [Service]	The type of a service that accepts sessions of type `'a`.
t [Session.Monadic]	The type of a computation that returns a result of type `'a` while using a session endpoint and changing its type from `'t0` to `'t1`.