Test.Syd.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

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

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

newtype Anon a

Constructors

Anon a

Instances

Functor Anon

Defined in Test.Syd.Validity.Utils

Methods

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

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

Show (Anon a)

Defined in Test.Syd.Validity.Utils

Methods

showsPrec :: Int -> Anon a -> ShowS

show :: Anon a -> String

showList :: [Anon a] -> ShowS