Safe Haskell	Safe
Language	Haskell2010

Lawful

Synopsis

Documentation

class c t => Lawful c t Source #

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

Instances

Lawful Eq Bool Source #

Lawful Eq Int Source #

Lawful Eq Integer Source #

Lawful Ord Bool Source #

Lawful Ord Int Source #

Lawful Ord Integer Source #

Lawful Eq a => Lawful Eq [a] Source #

Lawful Eq a => Lawful Eq (Maybe a) Source #

Lawful Ord a => Lawful Ord [a] Source #

Lawful Ord a => Lawful Ord (Maybe a) Source #

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

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