| Safe Haskell | None |
|---|
Test.Ganeti.BasicTypes
Contents
Description
Unittests for ganeti-htools.
- prop_functor_id :: Result Int -> Property
- prop_functor_composition :: Result Int -> Fun Int Int -> Fun Int Int -> Property
- prop_applicative_identity :: Result Int -> Property
- prop_applicative_composition :: Result (Fun Int Int) -> Result (Fun Int Int) -> Result Int -> Property
- prop_applicative_homomorphism :: Fun Int Int -> Int -> Property
- prop_applicative_interchange :: Result (Fun Int Int) -> Int -> Property
- prop_applicative_functor :: Fun Int Int -> Result Int -> Property
- prop_applicative_monad :: Int -> Result (Fun Int Int) -> Property
- prop_monad_laws :: Int -> Result Int -> Fun Int (Result Int) -> Fun Int (Result Int) -> Property
- prop_monadplus_mzero :: Result Int -> Fun Int (Result Int) -> Property
- testBasicTypes :: Test
Arbitrary instances
Test cases
prop_functor_id :: Result Int -> PropertySource
prop_functor_composition :: Result Int -> Fun Int Int -> Fun Int Int -> PropertySource
prop_applicative_identity :: Result Int -> PropertySource
prop_applicative_composition :: Result (Fun Int Int) -> Result (Fun Int Int) -> Result Int -> PropertySource
prop_applicative_homomorphism :: Fun Int Int -> Int -> PropertySource
prop_applicative_interchange :: Result (Fun Int Int) -> Int -> PropertySource
prop_applicative_functor :: Fun Int Int -> Result Int -> PropertySource
prop_applicative_monad :: Int -> Result (Fun Int Int) -> PropertySource
prop_monad_laws :: Int -> Result Int -> Fun Int (Result Int) -> Fun Int (Result Int) -> PropertySource
prop_monadplus_mzero :: Result Int -> Fun Int (Result Int) -> PropertySource
testBasicTypes :: TestSource