Function hoist

hoist<F>(f): (<G>(nat) => (<A>(c) => Cofree<G, A>))
Hoists the elements in Cofree by the natural transformation.
Type Parameters
- F
Parameters
- f: Functor<F>
  The instance of Functor for F.
Returns (<G>(nat) => (<A>(c) => Cofree<G, A>))
The hoisted instance.
- - <G>(nat): (<A>(c) => Cofree<G, A>)
  - Type Parameters
    - G
    Parameters
    - nat: (<T>(a) => Get1<G, T>)
      <T>(a): Get1<G, T>
      Type Parameters
      T
      Parameters
      a: Get1<F, T>
      Returns Get1<G, T>
    Returns (<A>(c) => Cofree<G, A>)
    - - <A>(c): Cofree<G, A>
      - Type Parameters
        A
        Parameters
        c: Cofree<F, A>
        Returns Cofree<G, A>
- Defined in src/cofree.ts:246

Generated using TypeDoc