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

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

Type Parameters

M
in S
out T
out A
in B

Type declaration

- <R>(next): ((received) => ContT<R, M, T>)
- Generic computation combinator with two-terminal pair.
```
+-- environment M ----------+
|                           |
|     |---------------|     |
| S ->|               |-> A |
|     |  Computation  |     |
| T <-|               |<- B |
|     |---------------|     |
|                           |
+---------------------------+
```
  Type Parameters
  - R
  Parameters
  - next: ((sending) => ContT<R, M, B>)
    - (sending): ContT<R, M, B>
      Parameters
      sending: A
      Returns ContT<R, M, B>
  Returns ((received) => ContT<R, M, T>)
  - - (received): ContT<R, M, T>
    - Parameters
      received: S
      Returns ContT<R, M, T>

Generated using TypeDoc