Safe Haskell	Safe
Language	Haskell2010

Test.Function.Monotone

Synopsis

Documentation

monotone :: Ord r => (r -> r) -> r -> r -> Bool Source #

monotone_on :: Rel r -> Rel s -> (r -> s) -> r -> r -> Bool Source #

$\forall a, b: a \leq b \Rightarrow f(a) \leq f(b)$

antitone :: Ord r => (r -> r) -> r -> r -> Bool Source #

antitone_on :: Rel r -> Rel s -> (r -> s) -> r -> r -> Bool Source #

$\forall a, b: a \leq b \Rightarrow f(b) \leq f(a)$