Variable eqConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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