Variable diMapConst

Type Declaration

• • <A, B>(
        f: (a: A) => B,
    ): <C, D>(
        g: (c: C) => D,
    ) => <I>(
        m: TypeClass.Indexed.Indexed<I, B, C>,
    ) => TypeClass.Indexed.Indexed<I, A, D>

  • Type Parameters

    • A
    • B

    Parameters

    • f: (a: A) => B

    Returns <C, D>(
        g: (c: C) => D,
    ) => <I>(
        m: TypeClass.Indexed.Indexed<I, B, C>,
    ) => TypeClass.Indexed.Indexed<I, A, D>