Test.Validity.Utils

Utilities for defining your own validity Specs

You will need TypeApplications to use these.

Documentation

(<==>) :: Bool -> Bool -> Bool

(===>) :: Bool -> Bool -> Bool

nameOf :: forall a. Typeable a => String

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

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

data Anon a

Constructors

Anon a

Instances

Functor Anon

Methods

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

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

Show (Anon a)

Methods

showsPrec :: Int -> Anon a -> ShowS

show :: Anon a -> String

showList :: [Anon a] -> ShowS