Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

- class c t => Lawful c t

# 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).

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 # | |