Contents Index

Org.Org.Semantic.HBase.Basic.Ordering

Synopsis

type MaybeOrderer a = a -> a -> Maybe Ordering class MaybeOrdered a where maybeCompare :: MaybeOrderer a (<) :: a -> a -> Bool (>) :: a -> a -> Bool (<=) :: a -> a -> Bool (>=) :: a -> a -> Bool max :: a -> a -> a min :: a -> a -> a type Orderer a = a -> a -> Ordering class (Eq a, MaybeOrdered a) => Ordered a where compare :: Orderer a

Documentation

type MaybeOrderer a = a -> a -> Maybe Ordering

partial order

class MaybeOrdered a where

has standard partial order Methods maybeCompare :: MaybeOrderer a (<) :: a -> a -> Bool (>) :: a -> a -> Bool (<=) :: a -> a -> Bool (>=) :: a -> a -> Bool max :: a -> a -> a first arg unless second greater min :: a -> a -> a first arg unless second less Instances MaybeOrdered Int MaybeOrdered Integer MaybeOrdered Word8 MaybeOrdered Int8 MaybeOrdered Word16 MaybeOrdered Int16 MaybeOrdered Word32 MaybeOrdered Int32 MaybeOrdered Word64 MaybeOrdered Int64 MaybeOrdered RDFResource MaybeOrdered Double MaybeOrdered EIReal MaybeOrdered a => MaybeOrdered (InfExtended a) MaybeOrdered a => MaybeOrdered (NaNExtended a) MaybeOrdered Rational MaybeOrdered a => MaybeOrdered (VectorWrapper t a) MaybeOrdered a => MaybeOrdered (PointWrapper t a) MaybeOrdered Char MaybeOrdered String Ordered a => MaybeOrdered (UTCTime a)

type Orderer a = a -> a -> Ordering

order

class (Eq a, MaybeOrdered a) => Ordered a where

has standard order Methods compare :: Orderer a Instances Ordered Int Ordered Integer Ordered Word8 Ordered Int8 Ordered Word16 Ordered Int16 Ordered Word32 Ordered Int32 Ordered Word64 Ordered Int64 Ordered RDFResource Ordered Rational Ordered a => Ordered (VectorWrapper t a) Ordered a => Ordered (PointWrapper t a) Ordered Char Ordered String Ordered a => Ordered (UTCTime a)

Produced by Haddock version 0.6