Lawful

Documentation

class c t => Lawful c t

A `Lawful c t` instance asserts that the typeclass `c t` obeys the expected laws of c (whatever that means).

Instances

Lawful Eq Bool

Lawful Eq Int

Lawful Eq Integer

Lawful Ord Bool

Lawful Ord Int

Lawful Ord Integer

Lawful Eq a => Lawful Eq [a]

Lawful Eq a => Lawful Eq (Maybe a)

Lawful Ord a => Lawful Ord [a]

Lawful Ord a => Lawful Ord (Maybe a)

(Lawful Eq a, Lawful Eq b) => Lawful Eq (Either a b)

(Lawful Ord a, Lawful Ord b) => Lawful Ord (Either a b)