property-0.0.1: common properties

Safe HaskellSafe
LanguageHaskell2010

Test.Property.Function.Injective

Synopsis

Documentation

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 \)