Type Alias Optical<M, S, T, A, B>

Optical: <R>(
next: (sending: A) => ContT<R, M, B>,
) => (received: S) => ContT<R, M, T>

Generic computation combinator with two-terminal pair.

+-- environment M ----------+
|                           |
|     |---------------|     |
| S ->|               |-> A |
|     |  Computation  |     |
| T <-|               |<- B |
|     |---------------|     |
|                           |
+---------------------------+

Type Parameters

M
in S
out T
out A
in B

Type Declaration

- <R>(next: (sending: A) => ContT<R, M, B>): (received: S) => ContT<R, M, T>
- Type Parameters
  - R
  Parameters
  - next: (sending: A) => ContT<R, M, B>
  Returns (received: S) => ContT<R, M, T>