Variable partialEqConst

Type Declaration

• • <F, A>(
        { equalityA, equalityFA, }: {
            equalityA: TypeClass.PartialEq.PartialEq<A>;
            equalityFA: <T>(
                equality: TypeClass.PartialEq.PartialEq<T>,
            ) => TypeClass.PartialEq.PartialEq<Get1<F, T>>;
        },
    ): TypeClass.PartialEq.PartialEq<Cofree.Cofree<F, A>>

  • Type Parameters

    • F
    • A

    Parameters

    • { equalityA, equalityFA, }: {
          equalityA: TypeClass.PartialEq.PartialEq<A>;
          equalityFA: <T>(
              equality: TypeClass.PartialEq.PartialEq<T>,
          ) => TypeClass.PartialEq.PartialEq<Get1<F, T>>;
      }

    Returns TypeClass.PartialEq.PartialEq<Cofree.Cofree<F, A>>