Test.Validity.Utils

Utilities for defining your own validity Specs

You will need TypeApplications to use these.

Documentation

nameOf :: forall a. Typeable a => String

genDescr :: forall a. Typeable a => String -> String

binRelStr :: forall a. Typeable a => String -> String

shouldFail :: Property -> Property

failsBecause :: String -> SpecWith () -> SpecWith ()

Asserts that a given Spec tree fails _somewhere_.

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

newtype Anon a

Constructors

Anon a

Instances

Functor Anon

Defined in Test.Validity.Utils

Methods

fmap :: (a -> b) -> Anon a -> Anon b

(<$) :: a -> Anon b -> Anon a

Show (Anon a)

Defined in Test.Validity.Utils

Methods

showsPrec :: Int -> Anon a -> ShowS

show :: Anon a -> String

showList :: [Anon a] -> ShowS

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

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