Variable ordConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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