Function lift

  • Lifts the presheaf as a Coyoneda.

    Type Parameters

    • F

    • A

    Parameters

    • fa: Get1<F, A>

      The presheaf to be expanded.

    Returns Coyoneda<F, A>

    The new expanded instance.

Settings

Member Visibility

Theme

Generated using TypeDoc