| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Function.Equivalent
Synopsis
- equivalent :: Eq r => (r -> r) -> (r -> r) -> r -> Bool
- equivalent_on :: Rel r -> (r -> r) -> (r -> r) -> r -> Bool
Documentation
equivalent :: Eq r => (r -> r) -> (r -> r) -> r -> Bool Source #
\( \forall a: f a \equiv g a \)
equivalent_on :: Rel r -> (r -> r) -> (r -> r) -> r -> Bool Source #
\( \forall a: f a \doteq g a \)