Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Functions.Inverse

Standard tests involving inverse functions

12 values

Packagegenvalidity-sydtest-1.0.1.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