Variable partialEqConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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