• Generates a new Cofree from the co-iteration and seed.

    Type Parameters

    • F

    Parameters

    • 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: ((a) => Get1<F, A>)
            • (a): Get1<F, A>
            • Parameters

              • a: A

              Returns Get1<F, A>

        Returns ((a) => Cofree<F, A>)

Generated using TypeDoc