transformations-0.1.0.0: Generic representation of tree transformations
Generics.MultiRec.Ord
class HOrd phi f whereSource
Methods
hcompare :: (forall ix. phi ix -> r ix -> r ix -> Ordering) -> phi ix -> f r ix -> f r ix -> OrderingSource
Instances
class Ord1 f whereSource
compare1 :: (a -> a -> Ordering) -> f a -> f a -> OrderingSource
gcompare :: (Fam phi, HOrd phi (PF phi)) => phi ix -> ix -> ix -> OrderingSource