Function hoist

hoist<F, G>(nat): (<A>(coy) => Coyoneda<G, A>)
Lifts the natural transformation from F to G on Coyoneda.
Type Parameters
- F
- G
Parameters
- nat: (<A>(fa) => Get1<G, A>)
  The natural transformation to be lifted.
  - - <A>(fa): Get1<G, A>
    - Type Parameters
      A
      Parameters
      fa: Get1<F, A>
      Returns Get1<G, A>
Returns (<A>(coy) => Coyoneda<G, A>)
The lifted transformation.
- - <A>(coy): Coyoneda<G, A>
  - Type Parameters
    - A
    Parameters
    - coy: Coyoneda<F, A>
    Returns Coyoneda<G, A>
- Defined in src/coyoneda.ts:117

Generated using TypeDoc