Copyright | (c) Artem Chirkin |
---|---|
License | BSD3 |
Safe Haskell | None |
Language | Haskell2010 |
Compare product types -- partial order.
Synopsis
- class ProductOrder a where
- cmp :: a -> a -> PartialOrdering
- data PartialOrdering
- = PLT
- | PEQ
- | PGT
- | Incomparable
- fromOrdering :: Ordering -> PartialOrdering
Documentation
class ProductOrder a where Source #
Partial order for comparing product types -- product order.
cmp :: a -> a -> PartialOrdering Source #
Same as compare
, but may return Incomparable
.
Instances
(Ord a1, Ord a2) => ProductOrder (a1, a2) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2) -> (a1, a2) -> PartialOrdering Source # | |
(Ord a1, Ord a2, Ord a3) => ProductOrder (a1, a2, a3) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3) -> (a1, a2, a3) -> PartialOrdering Source # | |
All Ord (Map f xs) => ProductOrder (TypedList f xs) Source # | |
Defined in Numeric.ProductOrd | |
(Ord a1, Ord a2, Ord a3, Ord a4) => ProductOrder (a1, a2, a3, a4) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4) -> (a1, a2, a3, a4) -> PartialOrdering Source # | |
ProductOrder (DFBackend t ds) => ProductOrder (DataFrame t ds) Source # | |
Defined in Numeric.DataFrame.Type | |
(xns ~ Map 'N (DimsBound xns), ProductOrder (DataFrame ts (DimsBound xns))) => ProductOrder (DataFrame ts xns) Source # | |
Defined in Numeric.DataFrame.Type | |
(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5) => ProductOrder (a1, a2, a3, a4, a5) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4, a5) -> (a1, a2, a3, a4, a5) -> PartialOrdering Source # | |
(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6) => ProductOrder (a1, a2, a3, a4, a5, a6) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4, a5, a6) -> (a1, a2, a3, a4, a5, a6) -> PartialOrdering Source # | |
(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6, Ord a7) => ProductOrder (a1, a2, a3, a4, a5, a6, a7) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4, a5, a6, a7) -> (a1, a2, a3, a4, a5, a6, a7) -> PartialOrdering Source # | |
(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6, Ord a7, Ord a8) => ProductOrder (a1, a2, a3, a4, a5, a6, a7, a8) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4, a5, a6, a7, a8) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> PartialOrdering Source # | |
(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6, Ord a7, Ord a8, Ord a9) => ProductOrder (a1, a2, a3, a4, a5, a6, a7, a8, a9) Source # | |
Defined in Numeric.ProductOrd cmp :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> PartialOrdering Source # |
data PartialOrdering Source #
Similar to Ordering
, but may be Incomparable
.
Instances
fromOrdering :: Ordering -> PartialOrdering Source #
Extend Ordering
with Incomparable
option.