| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Property.Function.Invertible
Synopsis
- adjoint_on :: Rel r -> Rel s -> (s -> r) -> (r -> s) -> s -> r -> Bool
- invertible :: Eq r => (r -> s) -> (s -> r) -> r -> Bool
- invertible_on :: Rel s -> (s -> r) -> (r -> s) -> s -> Bool
Documentation
adjoint_on :: Rel r -> Rel s -> (s -> r) -> (r -> s) -> s -> r -> Bool Source #
\( \forall a: f a \# b \Leftrightarrow a \# g b \)
For example, a Galois connection is defined by adjoint_on (<=).
invertible :: Eq r => (r -> s) -> (s -> r) -> r -> Bool Source #
\( \forall a: f (g a) \equiv a \)
invertible_on :: Rel s -> (s -> r) -> (r -> s) -> s -> Bool Source #
\( \forall a: f (g a) \doteq a \)