• Type Parameters

    • F

    • A

    Parameters

    • __namedParameters: {
          equalityA: Eq<A, A>;
          equalityFA: (<T>(equality) => Eq<Get1<F, T>, Get1<F, T>>);
          functor: Functor<F>;
      }
      • 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>>

      • functor: Functor<F>

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

Generated using TypeDoc