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-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Property.Utils

Synopsis

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

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