Modulegenvalidity-hspec-1.0.0.4Haskell2010

Test.Validity.Utils

Utilities for defining your own validity Specs

You will need TypeApplications to use these.

Synopsis

valuenameOf :: Typeable a => String

valuegenDescr :: Typeable a => String -> String

valuebinRelStr :: Typeable a => String -> String

valueshouldFail :: Property -> Property

valuefailsBecause :: String -> SpecWith () -> SpecWith ()

Asserts that a given Spec tree fails _somewhere_.

It also shows the given string when reporting that the tree unexpectedly succeeded.

newtypenewtype Anon a

Instances2Functor, Show

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

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