Database.PostgreSQL.Simple.Range

Documentation

data RangeBound a

Represents boundary of a range

Constructors

NegInfinity

Inclusive !a

Exclusive !a

PosInfinity

Instances

Functor RangeBound

Defined in Database.PostgreSQL.Simple.Range

Methods

fmap :: (a -> b) -> RangeBound a -> RangeBound b

(<$) :: a -> RangeBound b -> RangeBound a

Show a => Show (RangeBound a)

Defined in Database.PostgreSQL.Simple.Range

Methods

showsPrec :: Int -> RangeBound a -> ShowS

show :: RangeBound a -> String

showList :: [RangeBound a] -> ShowS

Eq a => Eq (RangeBound a)

Defined in Database.PostgreSQL.Simple.Range

Methods

(==) :: RangeBound a -> RangeBound a -> Bool

(/=) :: RangeBound a -> RangeBound a -> Bool

data PGRange a

Generic range type

Constructors

PGRange !(RangeBound a) !(RangeBound a)

Instances

Functor PGRange

Defined in Database.PostgreSQL.Simple.Range

Methods

fmap :: (a -> b) -> PGRange a -> PGRange b

(<$) :: a -> PGRange b -> PGRange a

Show a => Show (PGRange a)

Defined in Database.PostgreSQL.Simple.Range

Methods

showsPrec :: Int -> PGRange a -> ShowS

show :: PGRange a -> String

showList :: [PGRange a] -> ShowS

Ord a => Eq (PGRange a)

Defined in Database.PostgreSQL.Simple.Range

Methods

(==) :: PGRange a -> PGRange a -> Bool

(/=) :: PGRange a -> PGRange a -> Bool

(FromField a, Typeable a) => FromField (PGRange a)

Defined in Database.PostgreSQL.Simple.Range

Methods

fromField :: FieldParser (PGRange a)

ToField (PGRange Int16)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Int16 -> Action

ToField (PGRange Int32)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Int32 -> Action

ToField (PGRange Int64)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Int64 -> Action

ToField (PGRange Int8)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Int8 -> Action

ToField (PGRange Word16)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Word16 -> Action

ToField (PGRange Word32)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Word32 -> Action

ToField (PGRange Word64)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Word64 -> Action

ToField (PGRange Word8)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Word8 -> Action

ToField (PGRange Date)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Date -> Action

ToField (PGRange LocalTimestamp)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange LocalTimestamp -> Action

ToField (PGRange UTCTimestamp)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange UTCTimestamp -> Action

ToField (PGRange ZonedTimestamp)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange ZonedTimestamp -> Action

ToField (PGRange Scientific)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Scientific -> Action

ToField (PGRange Day)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Day -> Action

ToField (PGRange NominalDiffTime)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange NominalDiffTime -> Action

ToField (PGRange UTCTime)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange UTCTime -> Action

ToField (PGRange LocalTime)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange LocalTime -> Action

ToField (PGRange TimeOfDay)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange TimeOfDay -> Action

ToField (PGRange ZonedTime)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange ZonedTime -> Action

ToField (PGRange Integer)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Integer -> Action

ToField (PGRange Double)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Double -> Action

ToField (PGRange Float)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Float -> Action

ToField (PGRange Int)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Int -> Action

ToField (PGRange Word)

Defined in Database.PostgreSQL.Simple.Range

Methods

toField :: PGRange Word -> 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

fromFieldRange :: Typeable a => FieldParser a -> FieldParser (PGRange a)