HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulesome-1.0.6Haskell2010

Data.OrdP

  • 1 class
  • Packagesome-1.0.6
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceOrdP.hs
classclass (EqP f, forall (a :: k). Ord (f a)) => OrdP (f :: k -> Type) where
#

Heterogenous lifted total order.

This class is stronger version of Ord1 from base

class (forall a. Ord a => Ord (f a)) => Ord1 f where
    liftCompare :: (a -> b -> Ordering) -> f a -> f b -> Ordering

Methods

Instances12OrdP, …