Function comonad

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

    Type Parameters

    • F

    Parameters

    • f: Functor<F>

      The instance of Functor for F.

    Returns Comonad<CofreeHkt & {
        arg2: F;
    }>

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

Settings

Member Visibility

Theme

Generated using TypeDoc