• Type Parameters

    • F

    • A

    Parameters

    • __namedParameters: {
          equalityA: Eq<A, A>;
          equalityFA: (<T>(equality) => Eq<Get1<F, T>, Get1<F, T>>);
      }
      • equalityA: Eq<A, A>
      • equalityFA: (<T>(equality) => Eq<Get1<F, T>, Get1<F, T>>)
          • <T>(equality): Eq<Get1<F, T>, Get1<F, T>>
          • Type Parameters

            • T

            Parameters

            • equality: Eq<T, T>

            Returns Eq<Get1<F, T>, Get1<F, T>>

    Returns Eq<Cofree<F, A>, Cofree<F, A>>

Generated using TypeDoc