Squeal.PostgreSQL.Expression.Range

range types and functions

Range

data Range x

A Range datatype that comprises connected subsets of the real line.

Constructors

Empty

NonEmpty (Bound x) (Bound x)

Instances

Functor Range

Defined in Squeal.PostgreSQL.Expression.Range

Methods

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

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

Foldable Range

Defined in Squeal.PostgreSQL.Expression.Range

Methods

fold :: Monoid m => Range m -> m

foldMap :: Monoid m => (a -> m) -> Range a -> m

foldr :: (a -> b -> b) -> b -> Range a -> b

foldr' :: (a -> b -> b) -> b -> Range a -> b

foldl :: (b -> a -> b) -> b -> Range a -> b

foldl' :: (b -> a -> b) -> b -> Range a -> b

foldr1 :: (a -> a -> a) -> Range a -> a

foldl1 :: (a -> a -> a) -> Range a -> a

toList :: Range a -> [a]

null :: Range a -> Bool

length :: Range a -> Int

elem :: Eq a => a -> Range a -> Bool

maximum :: Ord a => Range a -> a

minimum :: Ord a => Range a -> a

sum :: Num a => Range a -> a

product :: Num a => Range a -> a

Traversable Range

Defined in Squeal.PostgreSQL.Expression.Range

Methods

traverse :: Applicative f => (a -> f b) -> Range a -> f (Range b)

sequenceA :: Applicative f => Range (f a) -> f (Range a)

mapM :: Monad m => (a -> m b) -> Range a -> m (Range b)

sequence :: Monad m => Range (m a) -> m (Range a)

ToPG db x => ToPG db (Range x)

Defined in Squeal.PostgreSQL.Session.Encode

Methods

toPG :: Range x -> ReaderT (K Connection db) IO Encoding

Eq x => Eq (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

(==) :: Range x -> Range x -> Bool

(/=) :: Range x -> Range x -> Bool

Ord x => Ord (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

compare :: Range x -> Range x -> Ordering

(<) :: Range x -> Range x -> Bool

(<=) :: Range x -> Range x -> Bool

(>) :: Range x -> Range x -> Bool

(>=) :: Range x -> Range x -> Bool

max :: Range x -> Range x -> Range x

min :: Range x -> Range x -> Range x

Read x => Read (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

readsPrec :: Int -> ReadS (Range x)

readList :: ReadS [Range x]

readPrec :: ReadPrec (Range x)

readListPrec :: ReadPrec [Range x]

Show x => Show (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

showsPrec :: Int -> Range x -> ShowS

show :: Range x -> String

showList :: [Range x] -> ShowS

Generic (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Associated Types

type Rep (Range x) :: Type -> Type

Methods

from :: Range x -> Rep (Range x) x0

to :: Rep (Range x) x0 -> Range x

Generic (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Associated Types

type Code (Range x) :: [[Type]]

Methods

from :: Range x -> Rep (Range x)

to :: Rep (Range x) -> Range x

HasDatatypeInfo (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

Associated Types

type DatatypeInfoOf (Range x) :: DatatypeInfo

Methods

datatypeInfo :: proxy (Range x) -> DatatypeInfo (Code (Range x))

IsPG hask => IsPG (Range hask)

PGrange (PG hask)

Defined in Squeal.PostgreSQL.Expression.Range

Associated Types

type PG (Range hask) :: PGType

FromPG y => FromPG (Range y)

Defined in Squeal.PostgreSQL.Session.Decode

Methods

fromPG :: StateT ByteString (Except Text) (Range y)

Inline (Range Int32)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Int32 -> Expr (null (PG (Range Int32)))

Inline (Range Int64)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Int64 -> Expr (null (PG (Range Int64)))

Inline (Range Scientific)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Scientific -> Expr (null (PG (Range Scientific)))

Inline (Range UTCTime)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range UTCTime -> Expr (null (PG (Range UTCTime)))

Inline (Range Day)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Day -> Expr (null (PG (Range Day)))

Inline (Range LocalTime)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range LocalTime -> Expr (null (PG (Range LocalTime)))

type Rep (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

type Rep (Range x) = D1 (MetaData "Range" "Squeal.PostgreSQL.Expression.Range" "squeal-postgresql-0.7.0.1-33cXMmdyUeW5J6FQU4gmil" False) (C1 (MetaCons "Empty" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NonEmpty" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bound x)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Bound x))))

type Code (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

type Code (Range x) = GCode (Range x)

type DatatypeInfoOf (Range x)

Defined in Squeal.PostgreSQL.Expression.Range

type DatatypeInfoOf (Range x) = GDatatypeInfoOf (Range x)

type PG (Range hask)

Defined in Squeal.PostgreSQL.Expression.Range

type PG (Range hask) = PGrange (PG hask)

(<=..<=) :: x -> x -> Range x infix 4

Finite Range constructor

(<..<) :: x -> x -> Range x infix 4

Finite Range constructor

(<=..<) :: x -> x -> Range x infix 4

Finite Range constructor

(<..<=) :: x -> x -> Range x infix 4

Finite Range constructor

moreThan :: x -> Range x

Half-infinite Range constructor

atLeast :: x -> Range x

Half-infinite Range constructor

lessThan :: x -> Range x

Half-infinite Range constructor

atMost :: x -> Range x

Half-infinite Range constructor

singleton :: x -> Range x

A point on the line

whole :: Range x

The whole line

data Bound x

The type of Bound for a Range.

Constructors

Infinite

unbounded

Closed x

inclusive

Open x

exclusive

Instances

Functor Bound

Defined in Squeal.PostgreSQL.Expression.Range

Methods

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

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

Foldable Bound

Defined in Squeal.PostgreSQL.Expression.Range

Methods

fold :: Monoid m => Bound m -> m

foldMap :: Monoid m => (a -> m) -> Bound a -> m

foldr :: (a -> b -> b) -> b -> Bound a -> b

foldr' :: (a -> b -> b) -> b -> Bound a -> b

foldl :: (b -> a -> b) -> b -> Bound a -> b

foldl' :: (b -> a -> b) -> b -> Bound a -> b

foldr1 :: (a -> a -> a) -> Bound a -> a

foldl1 :: (a -> a -> a) -> Bound a -> a

toList :: Bound a -> [a]

null :: Bound a -> Bool

length :: Bound a -> Int

elem :: Eq a => a -> Bound a -> Bool

maximum :: Ord a => Bound a -> a

minimum :: Ord a => Bound a -> a

sum :: Num a => Bound a -> a

product :: Num a => Bound a -> a

Traversable Bound

Defined in Squeal.PostgreSQL.Expression.Range

Methods

traverse :: Applicative f => (a -> f b) -> Bound a -> f (Bound b)

sequenceA :: Applicative f => Bound (f a) -> f (Bound a)

mapM :: Monad m => (a -> m b) -> Bound a -> m (Bound b)

sequence :: Monad m => Bound (m a) -> m (Bound a)

Eq x => Eq (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

(==) :: Bound x -> Bound x -> Bool

(/=) :: Bound x -> Bound x -> Bool

Ord x => Ord (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

compare :: Bound x -> Bound x -> Ordering

(<) :: Bound x -> Bound x -> Bool

(<=) :: Bound x -> Bound x -> Bool

(>) :: Bound x -> Bound x -> Bool

(>=) :: Bound x -> Bound x -> Bool

max :: Bound x -> Bound x -> Bound x

min :: Bound x -> Bound x -> Bound x

Read x => Read (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

readsPrec :: Int -> ReadS (Bound x)

readList :: ReadS [Bound x]

readPrec :: ReadPrec (Bound x)

readListPrec :: ReadPrec [Bound x]

Show x => Show (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

Methods

showsPrec :: Int -> Bound x -> ShowS

show :: Bound x -> String

showList :: [Bound x] -> ShowS

Generic (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

Associated Types

type Rep (Bound x) :: Type -> Type

Methods

from :: Bound x -> Rep (Bound x) x0

to :: Rep (Bound x) x0 -> Bound x

type Rep (Bound x)

Defined in Squeal.PostgreSQL.Expression.Range

type Rep (Bound x) = D1 (MetaData "Bound" "Squeal.PostgreSQL.Expression.Range" "squeal-postgresql-0.7.0.1-33cXMmdyUeW5J6FQU4gmil" False) (C1 (MetaCons "Infinite" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Closed" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 x)) :+: C1 (MetaCons "Open" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 x))))

Range Function

Range Construction

range

Arguments

:: TypeExpression db (null (PGrange ty))

range type

-> Range (Expression grp lat with db params from (NotNull ty))

range of values

-> Expression grp lat with db params from (null (PGrange ty))

Construct a range

>>> printSQL $ range tstzrange (atLeast now)
tstzrange(now(), NULL, '[)')
>>> printSQL $ range numrange (0 <=..< 2*pi)
numrange((0.0 :: numeric), ((2.0 :: numeric) * pi()), '[)')
>>> printSQL $ range int4range Empty
('empty' :: int4range)

Range Operator

(.<@) :: Operator (NotNull ty) (null (PGrange ty)) (Null PGbool)

range is contained by

(@>.) :: Operator (null (PGrange ty)) (NotNull ty) (Null PGbool)

contains range

(<<@) :: Operator (null (PGrange ty)) (null (PGrange ty)) (Null PGbool)

strictly left of, return false when an empty range is involved

(@>>) :: Operator (null (PGrange ty)) (null (PGrange ty)) (Null PGbool)

strictly right of, return false when an empty range is involved

(&<) :: Operator (null (PGrange ty)) (null (PGrange ty)) (Null PGbool)

does not extend to the right of, return false when an empty range is involved

(&>) :: Operator (null (PGrange ty)) (null (PGrange ty)) (Null PGbool)

does not extend to the left of, return false when an empty range is involved

(-|-) :: Operator (null (PGrange ty)) (null (PGrange ty)) (Null PGbool)

is adjacent to, return false when an empty range is involved

(@+) :: Operator (null (PGrange ty)) (null (PGrange ty)) (null (PGrange ty))

union, will fail if the resulting range would need to contain two disjoint sub-ranges

(@*) :: Operator (null (PGrange ty)) (null (PGrange ty)) (null (PGrange ty))

intersection

(@-) :: Operator (null (PGrange ty)) (null (PGrange ty)) (null (PGrange ty))

difference, will fail if the resulting range would need to contain two disjoint sub-ranges

Range Function

lowerBound :: null (PGrange ty) --> Null ty

lower bound of range

upperBound :: null (PGrange ty) --> Null ty

upper bound of range

isEmpty :: null (PGrange ty) --> Null PGbool

is the range empty?

lowerInc :: null (PGrange ty) --> Null PGbool

is the lower bound inclusive?

lowerInf :: null (PGrange ty) --> Null PGbool

is the lower bound infinite?

upperInc :: null (PGrange ty) --> Null PGbool

is the upper bound inclusive?

upperInf :: null (PGrange ty) --> Null PGbool

is the upper bound infinite?

rangeMerge :: '[null (PGrange ty), null (PGrange ty)] ---> null (PGrange ty)

the smallest range which includes both of the given ranges