ClassLaws-0.3.1.0: Stating and checking laws for type class methods

Safe HaskellNone

Test.ClassLaws.TestingDatatypes

Description

Some example usage of the ClassLaws framework

Synopsis

Documentation

data MyList a Source

We use the MyList datatype to provide instances that do not satisfy some class laws.

Constructors

Cons a (MyList a) 
Nil 

foldrMyList :: (a -> b -> b) -> b -> MyList a -> bSource

snoc :: a -> MyList a -> MyList aSource