Function coiterW

coiterW<W, F>(comonad, functor): (<A>(psi) => ((a) => Cofree<F, A>))
Generates a new Cofree from the co-iteration and seed wrapped with comonad W.
Type Parameters
- W
- F
Parameters
- comonad: Comonad<W>
  The instance of Comonad for W.
- functor: Functor<F>
  The instance of Functor for F.
Returns (<A>(psi) => ((a) => Cofree<F, A>))
The new instance.
- - <A>(psi): ((a) => Cofree<F, A>)
  - Type Parameters
    - A
    Parameters
    - psi: ((wa) => Get1<F, Get1<W, A>>)
      (wa): Get1<F, Get1<W, A>>
      Parameters
      wa: Get1<W, A>
      Returns Get1<F, Get1<W, A>>
    Returns ((a) => Cofree<F, A>)
    - - (a): Cofree<F, A>
      - Parameters
        a: Get1<W, A>
        Returns Cofree<F, A>
- Defined in src/cofree.ts:305

Generated using TypeDoc