ganeti

Safe HaskellNone

Test.Ganeti.BasicTypes

Contents

Description

Unittests for ganeti-htools.

Synopsis

Arbitrary instances

Test cases

prop_functor_id :: Result Int -> PropertySource

prop_functor_composition :: Result Int -> Fun Int Int -> Fun Int 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