Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Functions.Inverse

Standard tests involving inverse functions

12 values

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