Numeric.ProductOrd

Compare product types -- partial order.

Documentation

class ProductOrder a where

Partial order for comparing product types -- product order.

Methods

cmp :: a -> a -> PartialOrdering

Same as compare, but may return Incomparable.

Instances

(Ord a1, Ord a2) => ProductOrder (a1, a2)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2) -> (a1, a2) -> PartialOrdering

(Ord a1, Ord a2, Ord a3) => ProductOrder (a1, a2, a3)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3) -> (a1, a2, a3) -> PartialOrdering

All Ord (Map f xs) => ProductOrder (TypedList f xs)

Defined in Numeric.ProductOrd

Methods

cmp :: TypedList f xs -> TypedList f xs -> PartialOrdering

(Ord a1, Ord a2, Ord a3, Ord a4) => ProductOrder (a1, a2, a3, a4)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4) -> (a1, a2, a3, a4) -> PartialOrdering

ProductOrder (DFBackend t ds) => ProductOrder (DataFrame t ds)

Defined in Numeric.DataFrame.Type

Methods

cmp :: DataFrame t ds -> DataFrame t ds -> PartialOrdering

(xns ~ Map 'N (DimsBound xns), ProductOrder (DataFrame ts (DimsBound xns))) => ProductOrder (DataFrame ts xns)

Defined in Numeric.DataFrame.Type

Methods

cmp :: DataFrame ts xns -> DataFrame ts xns -> PartialOrdering

(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5) => ProductOrder (a1, a2, a3, a4, a5)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4, a5) -> (a1, a2, a3, a4, a5) -> PartialOrdering

(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6) => ProductOrder (a1, a2, a3, a4, a5, a6)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4, a5, a6) -> (a1, a2, a3, a4, a5, a6) -> PartialOrdering

(Ord a1, Ord a2, Ord a3, Ord a4, Ord a5, Ord a6, Ord a7) => ProductOrder (a1, a2, a3, a4, a5, a6, a7)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4, a5, a6, a7) -> (a1, a2, a3, a4, a5, a6, a7) -> PartialOrdering

(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)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4, a5, a6, a7, a8) -> (a1, a2, a3, a4, a5, a6, a7, a8) -> PartialOrdering

(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)

Defined in Numeric.ProductOrd

Methods

cmp :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> PartialOrdering

data PartialOrdering

Similar to Ordering, but may be Incomparable.

Constructors

PLT

PEQ

PGT

Incomparable

Instances

Bounded PartialOrdering

Defined in Numeric.ProductOrd

Methods

minBound :: PartialOrdering

maxBound :: PartialOrdering

Enum PartialOrdering

Defined in Numeric.ProductOrd

Methods

succ :: PartialOrdering -> PartialOrdering

pred :: PartialOrdering -> PartialOrdering

toEnum :: Int -> PartialOrdering

fromEnum :: PartialOrdering -> Int

enumFrom :: PartialOrdering -> [PartialOrdering]

enumFromThen :: PartialOrdering -> PartialOrdering -> [PartialOrdering]

enumFromTo :: PartialOrdering -> PartialOrdering -> [PartialOrdering]

enumFromThenTo :: PartialOrdering -> PartialOrdering -> PartialOrdering -> [PartialOrdering]

Eq PartialOrdering

Defined in Numeric.ProductOrd

Methods

(==) :: PartialOrdering -> PartialOrdering -> Bool

(/=) :: PartialOrdering -> PartialOrdering -> Bool

Data PartialOrdering

Defined in Numeric.ProductOrd

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PartialOrdering -> c PartialOrdering

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PartialOrdering

toConstr :: PartialOrdering -> Constr

dataTypeOf :: PartialOrdering -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PartialOrdering)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PartialOrdering)

gmapT :: (forall b. Data b => b -> b) -> PartialOrdering -> PartialOrdering

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PartialOrdering -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PartialOrdering -> r

gmapQ :: (forall d. Data d => d -> u) -> PartialOrdering -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PartialOrdering -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PartialOrdering -> m PartialOrdering

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PartialOrdering -> m PartialOrdering

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PartialOrdering -> m PartialOrdering

Ord PartialOrdering

Defined in Numeric.ProductOrd

Methods

compare :: PartialOrdering -> PartialOrdering -> Ordering

(<) :: PartialOrdering -> PartialOrdering -> Bool

(<=) :: PartialOrdering -> PartialOrdering -> Bool

(>) :: PartialOrdering -> PartialOrdering -> Bool

(>=) :: PartialOrdering -> PartialOrdering -> Bool

max :: PartialOrdering -> PartialOrdering -> PartialOrdering

min :: PartialOrdering -> PartialOrdering -> PartialOrdering

Read PartialOrdering

Defined in Numeric.ProductOrd

Methods

readsPrec :: Int -> ReadS PartialOrdering

readList :: ReadS [PartialOrdering]

readPrec :: ReadPrec PartialOrdering

readListPrec :: ReadPrec [PartialOrdering]

Show PartialOrdering

Defined in Numeric.ProductOrd

Methods

showsPrec :: Int -> PartialOrdering -> ShowS

show :: PartialOrdering -> String

showList :: [PartialOrdering] -> ShowS

Generic PartialOrdering

Defined in Numeric.ProductOrd

Associated Types

type Rep PartialOrdering :: Type -> Type

Methods

from :: PartialOrdering -> Rep PartialOrdering x

to :: Rep PartialOrdering x -> PartialOrdering

Semigroup PartialOrdering

Defined in Numeric.ProductOrd

Methods

(<>) :: PartialOrdering -> PartialOrdering -> PartialOrdering

sconcat :: NonEmpty PartialOrdering -> PartialOrdering

stimes :: Integral b => b -> PartialOrdering -> PartialOrdering

Monoid PartialOrdering

Defined in Numeric.ProductOrd

Methods

mempty :: PartialOrdering

mappend :: PartialOrdering -> PartialOrdering -> PartialOrdering

mconcat :: [PartialOrdering] -> PartialOrdering

type Rep PartialOrdering

Defined in Numeric.ProductOrd

type Rep PartialOrdering = D1 ('MetaData "PartialOrdering" "Numeric.ProductOrd" "easytensor-2.1.1.0-K3wnLX20lxZC5twIGEvVbn" 'False) ((C1 ('MetaCons "PLT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PEQ" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PGT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Incomparable" 'PrefixI 'False) (U1 :: Type -> Type)))

fromOrdering :: Ordering -> PartialOrdering

Extend Ordering with Incomparable option.