Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulegenvalidity-property-1.0.0.0Haskell2010

Test.Validity.Property.Utils

Synopsis

value forAllValid
value shouldBeValid
value shouldBeInvalid
value <==>
value ===>

Packagegenvalidity-property-1.0.0.0
Exports5
LanguageHaskell2010
LicenceMIT

valueforAllValid

:: (Show a, GenValid a, Testable prop)
=> a -> prop
-> Property

valueshouldBeValid :: (Show a, Validity a) => a -> Expectation

valueshouldBeInvalid :: (Show a, Validity a) => a -> Expectation

value(<==>) :: Bool -> Bool -> Bool

value(===>) :: Bool -> Bool -> Bool