Copyright	(c) 2014-2015 Leonid Onokhov (c) 2014-2015 Leon P Smith
License	BSD3
Maintainer	Leon P Smith <leon@melding-monads.com>
Safe Haskell	None
Language	Haskell98

Database.PostgreSQL.Simple.Range

Description

Synopsis

Documentation

data RangeBound a #

Represents boundary of a range

Constructors

NegInfinity
Inclusive !a
Exclusive !a
PosInfinity

Instances

Functor RangeBound #
Methods fmap :: (a -> b) -> RangeBound a -> RangeBound b # (<$) :: a -> RangeBound b -> RangeBound a #
Eq a => Eq (RangeBound a) #
Methods (==) :: RangeBound a -> RangeBound a -> Bool # (/=) :: RangeBound a -> RangeBound a -> Bool #
Show a => Show (RangeBound a) #
Methods showsPrec :: Int -> RangeBound a -> ShowS # show :: RangeBound a -> String # showList :: [RangeBound a] -> ShowS #

data PGRange a #

Generic range type

Constructors

PGRange !(RangeBound a) !(RangeBound a)

Instances

Functor PGRange #
Methods fmap :: (a -> b) -> PGRange a -> PGRange b # (<$) :: a -> PGRange b -> PGRange a #
Ord a => Eq (PGRange a) #
Methods (==) :: PGRange a -> PGRange a -> Bool # (/=) :: PGRange a -> PGRange a -> Bool #
Show a => Show (PGRange a) #
Methods showsPrec :: Int -> PGRange a -> ShowS # show :: PGRange a -> String # showList :: [PGRange a] -> ShowS #
(FromField a, Typeable * a) => FromField (PGRange a) #
Methods fromField :: FieldParser (PGRange a) #
ToField (PGRange Double) #
Methods toField :: PGRange Double -> Action #
ToField (PGRange Float) #
Methods toField :: PGRange Float -> Action #
ToField (PGRange Int) #
Methods toField :: PGRange Int -> Action #
ToField (PGRange Int8) #
Methods toField :: PGRange Int8 -> Action #
ToField (PGRange Int16) #
Methods toField :: PGRange Int16 -> Action #
ToField (PGRange Int32) #
Methods toField :: PGRange Int32 -> Action #
ToField (PGRange Int64) #
Methods toField :: PGRange Int64 -> Action #
ToField (PGRange Integer) #
Methods toField :: PGRange Integer -> Action #
ToField (PGRange Word) #
Methods toField :: PGRange Word -> Action #
ToField (PGRange Word8) #
Methods toField :: PGRange Word8 -> Action #
ToField (PGRange Word16) #
Methods toField :: PGRange Word16 -> Action #
ToField (PGRange Word32) #
Methods toField :: PGRange Word32 -> Action #
ToField (PGRange Word64) #
Methods toField :: PGRange Word64 -> Action #
ToField (PGRange Scientific) #
Methods toField :: PGRange Scientific -> Action #
ToField (PGRange UTCTime) #
Methods toField :: PGRange UTCTime -> Action #
ToField (PGRange LocalTime) #
Methods toField :: PGRange LocalTime -> Action #
ToField (PGRange ZonedTime) #
Methods toField :: PGRange ZonedTime -> Action #
ToField (PGRange TimeOfDay) #
Methods toField :: PGRange TimeOfDay -> Action #
ToField (PGRange NominalDiffTime) #
Methods toField :: PGRange NominalDiffTime -> Action #
ToField (PGRange Day) #
Methods toField :: PGRange Day -> Action #
ToField (PGRange Date) #
Methods toField :: PGRange Date -> Action #
ToField (PGRange ZonedTimestamp) #
Methods toField :: PGRange ZonedTimestamp -> Action #
ToField (PGRange UTCTimestamp) #
Methods toField :: PGRange UTCTimestamp -> Action #
ToField (PGRange LocalTimestamp) #
Methods toField :: PGRange LocalTimestamp -> Action #

empty :: PGRange a #

isEmpty :: Ord a => PGRange a -> Bool #

Is a range empty? If this returns True, then the contains predicate will always return False. However, if this returns False, it is not necessarily true that there exists a point for which contains returns True. Consider PGRange (Excludes 2) (Excludes 3) :: PGRange Int, for example.

isEmptyBy :: (a -> a -> Ordering) -> PGRange a -> Bool #

contains :: Ord a => PGRange a -> a -> Bool #

Does a range contain a given point? Note that in some cases, this may not correspond exactly with a server-side computation. Consider UTCTime for example, which has a resolution of a picosecond, whereas postgresql's timestamptz types have a resolution of a microsecond. Putting such Haskell values into the database will result in them being rounded, which can change the value of the containment predicate.

containsBy :: (a -> a -> Ordering) -> PGRange a -> a -> Bool #