• Creates an environment to compute about the data structure.

    Type Parameters

    • M

    Parameters

    • pure: Pure<M>

      A Pure instance for M.

    Returns (<S>(data) => OpticalCat<M, S, S, S, S>)

    The environment to compute.

      • <S>(data): OpticalCat<M, S, S, S, S>
      • Type Parameters

        • S

        Parameters

        • data: S

        Returns OpticalCat<M, S, S, S, S>

Generated using TypeDoc