Control.Monad.Laws.Instances

Tests the Monad ClassLaws for a few example datatypes. Mainly instance declarations and QuickCheck tests + a main to run it.

Documentation

testFunctorList :: IO ()

testFunctorMaybe :: IO ()

testFunctorMyList :: IO ()

testMonadList :: IO ()

testMonadMaybe :: IO ()

testFunctorMonadMyList :: IO ()

testMonadState :: IO ()

testMonadMyList :: IO ()

testFunctorMonadList :: IO ()

testFunctorMonadMaybe :: IO ()

main :: IO ()

expectedFailures :: IO ()