Function lower

lower<F>(functor): (<A>(coy) => Get1<F, A>)
Lowers coy on a presheaf.
Type Parameters
- F
Parameters
- functor: Functor<F>
  The instance of Functor for F.
Returns (<A>(coy) => Get1<F, A>)
The reduction on a presheaf.
- - <A>(coy): Get1<F, A>
  - Type Parameters
    - A
    Parameters
    - coy: Coyoneda<F, A>
    Returns Get1<F, A>
- Defined in src/coyoneda.ts:107

Generated using TypeDoc