Variable partialOrdConst

Type Declaration

• • <F, A>(
        { orderA, orderFA, functor, }: {
            functor: TypeClass.Functor.Functor<F>;
            orderA: TypeClass.PartialOrd.PartialOrd<A>;
            orderFA: <T>(
                order: TypeClass.PartialOrd.PartialOrd<T>,
            ) => TypeClass.PartialOrd.PartialOrd<Get1<F, T>>;
        },
    ): TypeClass.PartialOrd.PartialOrd<Free.Free<F, A>>

  • Type Parameters

    • F
    • A

    Parameters

    • { orderA, orderFA, functor, }: {
          functor: TypeClass.Functor.Functor<F>;
          orderA: TypeClass.PartialOrd.PartialOrd<A>;
          orderFA: <T>(
              order: TypeClass.PartialOrd.PartialOrd<T>,
          ) => TypeClass.PartialOrd.PartialOrd<Get1<F, T>>;
      }

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