LocallyFiniteOrder Bool | |
LocallyFiniteOrder Int | |
LocallyFiniteOrder Int8 | |
LocallyFiniteOrder Int16 | |
LocallyFiniteOrder Int32 | |
LocallyFiniteOrder Int64 | |
LocallyFiniteOrder Integer | |
LocallyFiniteOrder Word | |
LocallyFiniteOrder Word8 | |
LocallyFiniteOrder Word16 | |
LocallyFiniteOrder Word32 | |
LocallyFiniteOrder Word64 | |
LocallyFiniteOrder () | |
LocallyFiniteOrder Natural | |
(Order (Set a), Ord a) => LocallyFiniteOrder (Set a) | |
(Order (a, b), LocallyFiniteOrder a, LocallyFiniteOrder b) => LocallyFiniteOrder (a, b) | |
(Order (a, b, c), LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c) => LocallyFiniteOrder (a, b, c) | |
(Order (a, b, c, d), LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c, LocallyFiniteOrder d) => LocallyFiniteOrder (a, b, c, d) | |
(Order (a, b, c, d, e), LocallyFiniteOrder a, LocallyFiniteOrder b, LocallyFiniteOrder c, LocallyFiniteOrder d, LocallyFiniteOrder e) => LocallyFiniteOrder (a, b, c, d, e) | |