Function focusedT

focusedT<M>(pure): (<S>(data) => (<T, A, B>(o) => OpticalCat<M, S, T, A, B>))
Creates a focused environment to compute about the part of the data structure on M.
Type Parameters
- M
Parameters
- pure: Pure<M>
  A Pure instance for M.
Returns (<S>(data) => (<T, A, B>(o) => OpticalCat<M, S, T, A, B>))
The modified environment.
- - <S>(data): (<T, A, B>(o) => OpticalCat<M, S, T, A, B>)
  - Type Parameters
    - S
    Parameters
    - data: S
    Returns (<T, A, B>(o) => OpticalCat<M, S, T, A, B>)
    - - <T, A, B>(o): OpticalCat<M, S, T, A, B>
      - Type Parameters
        T
        A
        B
        Parameters
        o: Optical<M, S, T, A, B>
        Returns OpticalCat<M, S, T, A, B>
- Defined in src/optical.ts:131

Generated using TypeDoc