Test.ClassLaws.TestingDatatypes

Some example usage of the ClassLaws framework

Documentation

data MyList a

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

Constructors

Cons a (MyList a)

Nil

Instances

Monad MyList

Functor MyList

FunctorMonadLaws MyList

MonadLaws MyList

FunctorLaws MyList

Eq a => Eq (MyList a)

Show a => Show (MyList a)

Arbitrary a => Arbitrary (MyList a)

Monoid (MyList a)

(Eq a, Show a) => TestEqual (MyList a)

Monoid (MyList a) => MonoidLaws (MyList a)

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

list2MyList :: [a] -> MyList a

myList2List :: MyList a -> [a]

(+++) :: MyList a -> MyList a -> MyList a

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