• The instance of ComonadCofree for Cofree<F, _>, requires the Functor for F.

    Type Parameters

    • F

    Parameters

    • f: Functor<F>

      The instance of Functor for F.

    Returns ComonadCofree<F, CofreeHkt & {
        arg2: F;
    }>

    The instance of ComonadCofree for Cofree<F, _>.

Generated using TypeDoc