Variable eqConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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