Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Functions.Inverse

Standard tests involving inverse functions

Synopsis

value inverseFunctionsOnGen
value inverseFunctions
value inverseFunctionsOnArbitrary
value inverseFunctionsIfFirstSucceedsOnGen
value inverseFunctionsIfFirstSucceeds
value inverseFunctionsIfFirstSucceedsOnArbitrary
value inverseFunctionsIfSecondSucceedsOnGen
value inverseFunctionsIfSecondSucceeds
value inverseFunctionsIfSecondSucceedsOnArbitrary
value inverseFunctionsIfSucceedOnGen
value inverseFunctionsIfSucceed
value inverseFunctionsIfSucceedOnArbitrary

Packagegenvalidity-property-1.0.0.0
Exports12
LanguageHaskell2010
LicenceMIT
SourceInverse.hs

valueinverseFunctionsOnGen

:: (Show a, Eq a)
=> a -> b
-> b -> a
-> Gen a
-> a -> [a]
-> Property

valueinverseFunctions

:: (Show a, Eq a, GenValid a)
=> a -> b
-> b -> a
-> Property

valueinverseFunctionsOnArbitrary

:: (Show a, Eq a, Arbitrary a)
=> a -> b
-> b -> a
-> Property

id is its own inverse function for every type: prop> inverseFunctionsOnArbitrary id (id :: Int -> Int)

valueinverseFunctionsIfFirstSucceedsOnGen

:: (Show a, Eq a, CanFail f)
=> a -> f b
-> b -> a
-> Gen a
-> a -> [a]
-> Property

valueinverseFunctionsIfFirstSucceeds

:: (Show a, Eq a, GenValid a, CanFail f)
=> a -> f b
-> b -> a
-> Property

valueinverseFunctionsIfFirstSucceedsOnArbitrary

:: (Show a, Eq a, Arbitrary a, CanFail f)
=> a -> f b
-> b -> a
-> Property

valueinverseFunctionsIfSecondSucceedsOnGen

:: (Show a, Eq a, CanFail f)
=> a -> b
-> b -> f a
-> Gen a
-> a -> [a]
-> Property

valueinverseFunctionsIfSecondSucceeds

:: (Show a, Eq a, GenValid a, CanFail f)
=> a -> b
-> b -> f a
-> Property

valueinverseFunctionsIfSecondSucceedsOnArbitrary

:: (Show a, Eq a, Arbitrary a, CanFail f)
=> a -> b
-> b -> f a
-> Property

valueinverseFunctionsIfSucceedOnGen

:: (Show a, Eq a, CanFail f, CanFail g)
=> a -> f b
-> b -> g a
-> Gen a
-> a -> [a]
-> Property

valueinverseFunctionsIfSucceed

:: (Show a, Eq a, GenValid a, CanFail f, CanFail g)
=> a -> f b
-> b -> g a
-> Property

valueinverseFunctionsIfSucceedOnArbitrary

:: (Show a, Eq a, Arbitrary a, CanFail f, CanFail g)
=> a -> f b
-> b -> g a
-> Property