Data.PartialOrder

Documentation

class PartialOrder t where

Methods

pcompare :: t -> t -> Maybe Ordering

comparable :: t -> t -> Bool

lte :: t -> t -> Bool

gte :: t -> t -> Bool

lt :: t -> t -> Bool

gt :: t -> t -> Bool

eq :: t -> t -> Bool

Instances

PartialOrder Bool

PartialOrder Int

PartialOrder Integer

PartialOrder ()

Ord a => PartialOrder (Set a)

(PartialOrder a, PartialOrder b) => PartialOrder (Either a b)

(PartialOrder a, PartialOrder b) => PartialOrder (a, b)

(Ord k, PartialOrder v) => PartialOrder (Map k v)

(PartialOrder a, PartialOrder b, PartialOrder c) => PartialOrder (a, b, c)

(PartialOrder a, PartialOrder b, PartialOrder c, PartialOrder d) => PartialOrder (a, b, c, d)

group3 :: (a, b, c) -> ((a, b), c)

ungroup3 :: ((a, b), c) -> (a, b, c)

group4 :: (a, b, c, d) -> ((a, b), c, d)

ungroup4 :: ((a, b), c, d) -> (a, b, c, d)

(.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d