Function lower

  • Lowers the yoneda into the value in F. It is the natural isomorphism from Yoneda<F, _>.

    Type Parameters

    • F

    • A

    Parameters

    • y: Yoneda<F, A>

      The yoneda to be lowered.

    Returns Get1<F, A>

    The inner value in F.

Settings

Member Visibility

Theme

Generated using TypeDoc