lawz-0.1.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Function.Equivalent

Synopsis

Documentation

equivalent :: Eq r => (r -> r) -> (r -> r) -> r -> Bool Source #

\( \forall a: f a \equiv g a \)

equivalent_on :: Rel r b -> (r -> r) -> (r -> r) -> r -> b Source #

\( \forall a: f a \doteq g a \)