Type alias Optic<S, T, A, B>

Optic<in S, out T, out A, in B>: Optical<IdentityHkt, S, T, A, B>

Computation combinator with two-terminal pair.

    |---------------|
S ->|               |-> A
    |  Computation  |
T <-|               |<- B
    |---------------|

Type Parameters

  • in S

  • out T

  • out A

  • in B

Generated using TypeDoc