Variable partialOrdConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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