SDP.Comparing

SDP.Comparing provide common comparators and combinators.

Exports

module Data.Ord

module Data.Eq

Type synonyms

type Equal e = e -> e -> Bool

Equal is just synonym of (e -> e -> Bool).

type Compare e = e -> e -> Ordering

Compare is just synonym of (e -> e -> Ordering).

Common comparators

(<=>) :: Ord o => Compare o infixl 4

Spaceship operator - infix version of compare.

eqfst :: Eq e => Equal (e, s)

Compare tuples by first elements.

eqsnd :: Eq e => Equal (f, e)

Compare tuples by second elements.

cmpfst :: Ord o => Compare (o, s)

Compare tuples by first elements.

cmpsnd :: Ord o => Compare (f, o)

Compare tuples by second elements.

invertcmp :: Compare e -> Compare e

Common compare combinator