Safe Haskell	Safe
Language	Haskell2010

Lawful

Synopsis

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 #
Instance details Defined in Lawful
Lawful Eq Int #
Instance details Defined in Lawful
Lawful Eq Integer #
Instance details Defined in Lawful
Lawful Ord Bool #
Instance details Defined in Lawful
Lawful Ord Int #
Instance details Defined in Lawful
Lawful Ord Integer #
Instance details Defined in Lawful
Lawful Eq a => Lawful Eq [a] #
Instance details Defined in Lawful
Lawful Eq a => Lawful Eq (Maybe a) #
Instance details Defined in Lawful
Lawful Ord a => Lawful Ord [a] #
Instance details Defined in Lawful
Lawful Ord a => Lawful Ord (Maybe a) #
Instance details Defined in Lawful
(Lawful Eq a, Lawful Eq b) => Lawful Eq (Either a b) #
Instance details Defined in Lawful
(Lawful Ord a, Lawful Ord b) => Lawful Ord (Either a b) #
Instance details Defined in Lawful