Data.Ord.ReOrd

Documentation

newtype Ord a => ReverseOrd a

A handy constructor which just reverses the sense of an existing Ord instance.

Constructors

ReverseOrd a

Instances

Eq a => Eq (ReverseOrd a)

Ord a => Ord (ReverseOrd a)

(Ord a, Show a) => Show (ReverseOrd a)

data ReOrd a

A type which provides an ad-hoc Ord instance for the type it wraps. It is the user's responsibility to make sure that it obeys all relevant laws, also taking into account the fact that when 2 items are compared, only one of their cmp functions is invoked (the left one)

Constructors

ReOrd

Fields

cmp :: a -> a -> Ordering

item :: a

Instances

Eq (ReOrd a)

Ord (ReOrd a)