| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Function.Idempotent
Synopsis
- projective :: Eq r => (r -> r) -> (r -> r) -> r -> Bool
- projective_on :: Rel s -> (r -> s) -> (s -> s) -> r -> Bool
- idempotent :: Eq r => (r -> r) -> r -> Bool
- idempotent_on :: Rel r -> (r -> r) -> r -> Bool
- idempotent_k :: Eq r => Natural -> (r -> r) -> r -> Bool
Documentation
projective :: Eq r => (r -> r) -> (r -> r) -> r -> Bool Source #
\( \forall a: g \circ f (a) = f (a) \)
projective_on :: Rel s -> (r -> s) -> (s -> s) -> r -> Bool Source #
\( \forall a: g \circ f (a) \sim f (a) \)
idempotent :: Eq r => (r -> r) -> r -> Bool Source #
\( \forall a: f \circ f(a) = f(a) \)
idempotent_on :: Rel r -> (r -> r) -> r -> Bool Source #
\( \forall a: f \circ f(a) \sim f(a) \)