Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulesome-1.0.6Haskell2010

Data.OrdP

Synopsis

class OrdP

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

comparep :: f a -> f b -> Ordering

Instances12OrdP, …

OrdP SCharDefined in some-1.0.6 · Data.OrdP
OrdP SSymbolDefined in some-1.0.6 · Data.OrdP
OrdP SNatDefined in some-1.0.6 · Data.OrdP
OrdP ProxyDefined in some-1.0.6 · Data.OrdP
OrdP TypeRepDefined in some-1.0.6 · Data.OrdP
Ord a => OrdP (Const a)Defined in some-1.0.6 · Data.OrdP
OrdP ((:~:) a)Defined in some-1.0.6 · Data.OrdP
OrdP ((:~~:) a)Defined in some-1.0.6 · Data.OrdP
(OrdP a, OrdP b) => OrdP (Product a b)Defined in some-1.0.6 · Data.OrdP
(OrdP a, OrdP b) => OrdP (Sum a b)Defined in some-1.0.6 · Data.OrdP
(OrdP a, OrdP b) => OrdP (a :*: b)Defined in some-1.0.6 · Data.OrdP
(OrdP f, OrdP g) => OrdP (f :+: g)Defined in some-1.0.6 · Data.OrdP