lawz-0.0.1: Common mathematical laws.
Test.Function.Injective
injective :: Eq r => (r -> r) -> r -> r -> Bool Source #
\( \forall a: f a \equiv f b \Rightarrow a \equiv b \)
injective_on :: Rel r -> (r -> r) -> r -> r -> Bool Source #
\( \forall a: f a \doteq f b \Rightarrow a \doteq b \)