« Previous | Next » 

Revision 1493a93b

ID1493a93b9a349dc66f7b23962c91e86dc447c24d
Parent e09c1fa0
Child 8d2b6a12

Added by Iustin Pop over 11 years ago

Add unittests for the BasicTypes module

This adds test properties for the various laws that the instances of
Result should follow; I could not find (offline) laws about `mappend',
but otherwise I implemented all laws that I could find.

Note that we have to silence hlint warnings for the things we want to
test, as otherwise hlint is all "this is already true based on the
functor law, why 'fmap id' and not just 'id'?".

Signed-off-by: Iustin Pop <>
Reviewed-by: René Nussbaumer <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences