Database.PostgreSQL.Typed.Range

Representaion of PostgreSQL's range type. There are a number of existing range data types, but PostgreSQL's is rather particular. This tries to provide a one-to-one mapping.

Documentation

data Bound a

Constructors

Unbounded

Bounded Bool a

Instances

Functor Bound

Eq a => Eq (Bound a)

newtype LowerBound a

Constructors

Lower (Bound a)

Instances

Functor LowerBound

Eq a => Eq (LowerBound a)

Ord a => Ord (LowerBound a)

newtype UpperBound a

Constructors

Upper (Bound a)

Instances

Functor UpperBound

Eq a => Eq (UpperBound a)

Ord a => Ord (UpperBound a)

data Range a

Constructors

Empty

Range (LowerBound a) (UpperBound a)

Instances

Functor Range

(PGRangeType tr t, PGColumn t a) => PGColumn tr (Range a)

(PGRangeType tr t, PGParameter t a) => PGParameter tr (Range a)

Eq a => Eq (Range a)

Show a => Show (Range a)

bound :: Bound a -> Maybe a

boundClosed :: Bound a -> Bool

makeBound :: Bool -> Maybe a -> Bound a

lowerClosed :: Range a -> Bool

upperClosed :: Range a -> Bool

isEmpty :: Ord a => Range a -> Bool

full :: Range a

isFull :: Range a -> Bool

point :: Eq a => a -> Range a

getPoint :: Eq a => Range a -> Maybe a

range :: Ord a => Bound a -> Bound a -> Range a

normal :: Ord a => Maybe a -> Maybe a -> Range a

bounded :: Ord a => a -> a -> Range a

normalize :: Ord a => Range a -> Range a

normalize' :: (Ord a, Enum a) => Range a -> Range a

normalize for discrete (non-continuous) range types, using the Enum instance

(@>) :: Ord a => Range a -> Range a -> Bool

(<@) :: Ord a => Range a -> Range a -> Bool

(@>.) :: Ord a => Range a -> a -> Bool

intersect :: Ord a => Range a -> Range a -> Range a

class (PGType tr, PGType t) => PGRangeType tr t | tr -> t where

Class indicating that the first PostgreSQL type is a range of the second. This implies PGParameter and PGColumn instances that will work for any type.

Minimal complete definition

Nothing

Methods

pgRangeElementType :: PGTypeName tr -> PGTypeName t

Instances

PGRangeType "daterange" "date"

PGRangeType "int4range" "integer"

PGRangeType "int8range" "bigint"

PGRangeType "numrange" "numeric"

PGRangeType "tsrange" "timestamp without time zone"

PGRangeType "tstzrange" "timestamp with time zone"