• Creates a new Coyoneda from mapping function map and calculation on F.

    Type Parameters

    • X

    • A

    Parameters

    • map: ((a) => A)

      A mapping function from A to B.

        • (a): A
        • Parameters

          • a: X

          Returns A

    Returns (<F>(image) => Coyoneda<F, A>)

    A new Coyoneda.

Generated using TypeDoc