Variable ordConst

Type Declaration

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

  • Type Parameters

    • F
    • A

    Parameters

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

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