Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

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