Generics.MultiRec.Ord

Documentation

class HOrd phi f where

Methods

hcompare :: (forall ix. phi ix -> r ix -> r ix -> Ordering) -> phi ix -> f r ix -> f r ix -> Ordering

Instances

HOrd phi U

Ord a => HOrd phi (K a)

El phi xi => HOrd phi (I xi)

(Ord1 f, HOrd phi g) => HOrd phi (:.: f g)

HOrd phi f => HOrd phi (:>: f ix)

HOrd phi f => HOrd phi (C c f)

(HOrd phi f, HOrd phi g) => HOrd phi (:*: f g)

(HOrd phi f, HOrd phi g) => HOrd phi (:+: f g)

class Ord1 f where

Methods

compare1 :: (a -> a -> Ordering) -> f a -> f a -> Ordering

Instances

Ord1 []

gcompare :: (Fam phi, HOrd phi (PF phi)) => phi ix -> ix -> ix -> Ordering