Modulegenvalidity-sydtest-1.0.1.0Haskell2010

Test.Syd.Validity.Monad

Monad properties

You will need TypeApplications to use these.

3 values

Packagegenvalidity-sydtest-1.0.1.0
Exports3
LanguageHaskell2010
LicenceMIT
SourceMonad.hs

valuemonadSpec :: (Eq (f Int), Show (f Int), Monad f, Typeable f, GenValid (f Int)) => TestDef outers ()

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

Example usage:

monadSpec @[]

valuemonadSpecOnArbitrary :: (Eq (f Int), Show (f Int), Monad f, Typeable f, Arbitrary (f Int)) => TestDef outers ()

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

Example usage:

monadSpecOnArbitrary @[]

valuemonadSpecOnGens

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

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

Example usage:

monadSpecOnGens
    @[]
    @Int
    (pure 4)
    "four"
    (genListOf $ pure 5)
    "list of fives"
    (genListOf $ pure 6)
    "list of sixes"
    ((*) <$> genValid)
    "factorisations"
    (pure $ \a -> [a])
    "singletonisation"
    (pure $ \a -> [a])
    "singletonisation"
    (pure $ pure (+ 1))
    "increment in list"