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

Language | Haskell2010 |

# Documentation

## Instances

Functor Order Source # | |

Foldable Order Source # | |

Defined in Data.Semilattice.Order fold :: Monoid m => Order m -> m # foldMap :: Monoid m => (a -> m) -> Order a -> m # foldr :: (a -> b -> b) -> b -> Order a -> b # foldr' :: (a -> b -> b) -> b -> Order a -> b # foldl :: (b -> a -> b) -> b -> Order a -> b # foldl' :: (b -> a -> b) -> b -> Order a -> b # foldr1 :: (a -> a -> a) -> Order a -> a # foldl1 :: (a -> a -> a) -> Order a -> a # elem :: Eq a => a -> Order a -> Bool # maximum :: Ord a => Order a -> a # minimum :: Ord a => Order a -> a # | |

Traversable Order Source # | |

Bounded a => Bounded (Order a) Source # | |

Enum a => Enum (Order a) Source # | |

Eq a => Eq (Order a) Source # | |

Num a => Num (Order a) Source # | |

Ord a => Ord (Order a) Source # | |

Read a => Read (Order a) Source # | |

Show a => Show (Order a) Source # | |

Lower a => Lower (Order a) Source # | |

Defined in Data.Semilattice.Order lowerBound :: Order a Source # | |

Ord a => Join (Order a) Source # | Total Idempotence: Order x \/ Order x == Order x Associativity: Order a \/ (Order b \/ Order c) == (Order a \/ Order b) \/ Order c Commutativity: Order a \/ Order b == Order b \/ Order a Identity: lowerBound \/ Order a == Order (a :: Int) Absorption: upperBound \/ Order a == (upperBound :: Order Int) Distributivity: Order a \/ Order b /\ Order c == (Order a \/ Order b) /\ (Order a \/ Order c) |

Upper a => Upper (Order a) Source # | |

Defined in Data.Semilattice.Order upperBound :: Order a Source # | |

Ord a => Meet (Order a) Source # | Total Idempotence: Order x /\ Order x == Order x Associativity: Order a /\ (Order b /\ Order c) == (Order a /\ Order b) /\ Order c Commutativity: Order a /\ Order b == Order b /\ Order a Identity: upperBound /\ Order a == Order (a :: Int) Absorption: lowerBound /\ Order a == (lowerBound :: Order Int) Distributivity: Order a /\ (Order b \/ Order c) == Order a /\ Order b \/ Order a /\ Order c |

`>>>`

`import Test.QuickCheck`