lawz-0.1.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Function.Monotone

Synopsis

Documentation

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

monotone_on :: Rel r Bool -> Rel s Bool -> (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 Bool -> Rel s Bool -> (r -> s) -> r -> r -> Bool Source #

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