Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Functor

Functor properties

You will need TypeApplications to use these.

3 values

Packagegenvalidity-sydtest-1.0.1.0
Exports3
LanguageHaskell2010
LicenceMIT
SourceFunctor.hs

valuefunctorSpec :: (Eq (f Int), Show (f Int), Functor f, Typeable f, GenValid (f Int)) => TestDef outers ()

Standard test spec for properties of Functor instances for values generated with GenValid instances

Example usage:

functorSpecOnArbitrary @[]

valuefunctorSpecOnArbitrary :: (Eq (f Int), Show (f Int), Functor f, Typeable f, Arbitrary (f Int)) => TestDef outers ()

Standard test spec for properties of Functor instances for values generated with Arbitrary instances

Example usage:

functorSpecOnArbitrary @[]

valuefunctorSpecOnGens

:: (Show a, Show (f a), Show (f c), Eq (f a), Eq (f c), Functor f, Typeable f, Typeable a, Typeable b, Typeable c)
=> Gen a
-> String
-> Gen (f a)
-> String
-> Gen (b -> c)
-> String
-> Gen (a -> b)
-> String
-> TestDef outers ()

Standard test spec for properties of Functor instances for values generated by given generators (and names for those generator).

Example usage:

functorSpecOnGens
    @[]
    @Int
    (pure 4) "four"
    (genListOf $ pure 5) "list of fives"
    ((+) <$> genValid) "additions"
    ((*) <$> genValid) "multiplications"