Function focusedT

focusedT<M>(
    pure: TypeClass.Pure.Pure<M>,
): <S>(
    data: S,
) => <T, A, B>(
    o: Optical.Optical<M, S, T, A, B>,
) => 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: TypeClass.Pure.Pure<M>
  A Pure instance for M.
Returns <S>(
data: S,
) => <T, A, B>(
o: Optical.Optical<M, S, T, A, B>,
) => OpticalCat<M, S, T, A, B>
The modified environment.
- Defined in src/optical.ts:132