Squeal.PostgreSQL.Expression.Time

date/time functions and operators

Time Operation

class TimeOp time diff | time -> diff where

Affine space operations on time types.

Minimal complete definition

Nothing

Methods

(!+) :: Operator (null time) (null diff) (null time) infixl 6

>>> printSQL (makeDate (1984 :* 7 *: 3) !+ 365)
(make_date((1984 :: int4), (7 :: int4), (3 :: int4)) + (365 :: int4))

(+!) :: Operator (null diff) (null time) (null time) infixl 6

>>> printSQL (365 +! makeDate (1984 :* 7 *: 3))
((365 :: int4) + make_date((1984 :: int4), (7 :: int4), (3 :: int4)))

(!-) :: Operator (null time) (null diff) (null time) infixl 6

>>> printSQL (makeDate (1984 :* 7 *: 3) !- 365)
(make_date((1984 :: int4), (7 :: int4), (3 :: int4)) - (365 :: int4))

(!-!) :: Operator (null time) (null time) (null diff) infixl 6

>>> printSQL (makeDate (1984 :* 7 *: 3) !-! currentDate)
(make_date((1984 :: int4), (7 :: int4), (3 :: int4)) - CURRENT_DATE)

Instances

TimeOp 'PGtimestamp 'PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGtimestamp) (null 'PGinterval) (null 'PGtimestamp)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGtimestamp) (null 'PGtimestamp)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGtimestamp) (null 'PGinterval) (null 'PGtimestamp)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGtimestamp) (null 'PGtimestamp) (null 'PGinterval)

TimeOp 'PGtimestamptz 'PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGtimestamptz) (null 'PGinterval) (null 'PGtimestamptz)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGtimestamptz) (null 'PGtimestamptz)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGtimestamptz) (null 'PGinterval) (null 'PGtimestamptz)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGtimestamptz) (null 'PGtimestamptz) (null 'PGinterval)

TimeOp 'PGdate 'PGint4

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGdate) (null 'PGint4) (null 'PGdate)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGint4) (null 'PGdate) (null 'PGdate)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGdate) (null 'PGint4) (null 'PGdate)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGdate) (null 'PGdate) (null 'PGint4)

TimeOp 'PGtime 'PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGtime) (null 'PGinterval) (null 'PGtime)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGtime) (null 'PGtime)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGtime) (null 'PGinterval) (null 'PGtime)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGtime) (null 'PGtime) (null 'PGinterval)

TimeOp 'PGtimetz 'PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGtimetz) (null 'PGinterval) (null 'PGtimetz)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGtimetz) (null 'PGtimetz)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGtimetz) (null 'PGinterval) (null 'PGtimetz)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGtimetz) (null 'PGtimetz) (null 'PGinterval)

TimeOp 'PGinterval 'PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGinterval) (null 'PGinterval)

(+!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGinterval) (null 'PGinterval)

(!-) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGinterval) (null 'PGinterval)

(!-!) :: forall (null :: k -> NullType). Operator (null 'PGinterval) (null 'PGinterval) (null 'PGinterval)

Time Function

currentDate :: Expr (null 'PGdate)

>>> printSQL currentDate
CURRENT_DATE

currentTime :: Expr (null 'PGtimetz)

>>> printSQL currentTime
CURRENT_TIME

currentTimestamp :: Expr (null 'PGtimestamptz)

>>> printSQL currentTimestamp
CURRENT_TIMESTAMP

dateTrunc :: time `In` '['PGtimestamp, 'PGtimestamptz] => TimeUnit -> null time --> null time

Truncate a timestamp with the specified precision

>>> printSQL $ dateTrunc Quarter (makeTimestamp (2010 :* 5 :* 6 :* 14 :* 45 *: 11.4))
date_trunc('quarter', make_timestamp((2010 :: int4), (5 :: int4), (6 :: int4), (14 :: int4), (45 :: int4), (11.4 :: float8)))

localTime :: Expr (null 'PGtime)

>>> printSQL localTime
LOCALTIME

localTimestamp :: Expr (null 'PGtimestamp)

>>> printSQL localTimestamp
LOCALTIMESTAMP

now :: Expr (null 'PGtimestamptz)

Current date and time (equivalent to currentTimestamp)

>>> printSQL now
now()

makeDate :: '[null 'PGint4, null 'PGint4, null 'PGint4] ---> null 'PGdate

Create date from year, month and day fields

>>> printSQL (makeDate (1984 :* 7 *: 3))
make_date((1984 :: int4), (7 :: int4), (3 :: int4))

makeTime :: '[null 'PGint4, null 'PGint4, null 'PGfloat8] ---> null 'PGtime

Create time from hour, minute and seconds fields

>>> printSQL (makeTime (8 :* 15 *: 23.5))
make_time((8 :: int4), (15 :: int4), (23.5 :: float8))

makeTimestamp :: '[null 'PGint4, null 'PGint4, null 'PGint4, null 'PGint4, null 'PGint4, null 'PGfloat8] ---> null 'PGtimestamp

Create timestamp from year, month, day, hour, minute and seconds fields

>>> printSQL (makeTimestamp (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))
make_timestamp((2013 :: int4), (7 :: int4), (15 :: int4), (8 :: int4), (15 :: int4), (23.5 :: float8))

makeTimestamptz :: '[null 'PGint4, null 'PGint4, null 'PGint4, null 'PGint4, null 'PGint4, null 'PGfloat8] ---> null 'PGtimestamptz

Create timestamp with time zone from year, month, day, hour, minute and seconds fields; the current time zone is used

>>> printSQL (makeTimestamptz (2013 :* 7 :* 15 :* 8 :* 15 *: 23.5))
make_timestamptz((2013 :: int4), (7 :: int4), (15 :: int4), (8 :: int4), (15 :: int4), (23.5 :: float8))

atTimeZone :: zone `In` '['PGtext, 'PGinterval] => Operator (null time) (null zone) (null (PGAtTimeZone time))

Convert a timestamp, timestamp with time zone, or time of day with timezone to a different timezone using an interval offset or specific timezone denoted by text. When using the interval offset, the interval duration must be less than one day or 24 hours.

>>> printSQL $ (makeTimestamp (2009 :* 7 :* 22 :* 19 :* 45 *: 11.4)) `atTimeZone` (interval_ 8 Hours)
(make_timestamp((2009 :: int4), (7 :: int4), (22 :: int4), (19 :: int4), (45 :: int4), (11.4 :: float8)) AT TIME ZONE (INTERVAL '8.000 hours'))

>>> :{
 let
   timezone :: Expr (null 'PGtext)
   timezone = "EST"
 in printSQL $ (makeTimestamptz (2015 :* 9 :* 15 :* 4 :* 45 *: 11.4)) `atTimeZone` timezone
:}
(make_timestamptz((2015 :: int4), (9 :: int4), (15 :: int4), (4 :: int4), (45 :: int4), (11.4 :: float8)) AT TIME ZONE (E'EST' :: text))

type family PGAtTimeZone ty where ...

Calculate the return time type of the atTimeZone Operator.

Equations

PGAtTimeZone 'PGtimestamptz = 'PGtimestamp

PGAtTimeZone 'PGtimestamp = 'PGtimestamptz

PGAtTimeZone 'PGtimetz = 'PGtimetz

PGAtTimeZone pg = TypeError ('Text "Squeal type error: AT TIME ZONE cannot be applied to " :<>: 'ShowType pg)

Interval

interval_ :: Milli -> TimeUnit -> Expr (null 'PGinterval)

>>> printSQL $ interval_ 7 Days
(INTERVAL '7.000 days')

data TimeUnit

A TimeUnit to use in interval_ construction.

Constructors

Years

Quarter

Months

Weeks

Days

Hours

Minutes

Seconds

Microseconds

Milliseconds

Decades

Centuries

Millennia

Instances

Enum TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

succ :: TimeUnit -> TimeUnit

pred :: TimeUnit -> TimeUnit

toEnum :: Int -> TimeUnit

fromEnum :: TimeUnit -> Int

enumFrom :: TimeUnit -> [TimeUnit]

enumFromThen :: TimeUnit -> TimeUnit -> [TimeUnit]

enumFromTo :: TimeUnit -> TimeUnit -> [TimeUnit]

enumFromThenTo :: TimeUnit -> TimeUnit -> TimeUnit -> [TimeUnit]

Eq TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(==) :: TimeUnit -> TimeUnit -> Bool

(/=) :: TimeUnit -> TimeUnit -> Bool

Ord TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

compare :: TimeUnit -> TimeUnit -> Ordering

(<) :: TimeUnit -> TimeUnit -> Bool

(<=) :: TimeUnit -> TimeUnit -> Bool

(>) :: TimeUnit -> TimeUnit -> Bool

(>=) :: TimeUnit -> TimeUnit -> Bool

max :: TimeUnit -> TimeUnit -> TimeUnit

min :: TimeUnit -> TimeUnit -> TimeUnit

Read TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

readsPrec :: Int -> ReadS TimeUnit

readList :: ReadS [TimeUnit]

readPrec :: ReadPrec TimeUnit

readListPrec :: ReadPrec [TimeUnit]

Show TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

showsPrec :: Int -> TimeUnit -> ShowS

show :: TimeUnit -> String

showList :: [TimeUnit] -> ShowS

Generic TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Associated Types

type Rep TimeUnit :: Type -> Type

Methods

from :: TimeUnit -> Rep TimeUnit x

to :: Rep TimeUnit x -> TimeUnit

Generic TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Associated Types

type Code TimeUnit :: [[Type]]

Methods

from :: TimeUnit -> Rep TimeUnit

to :: Rep TimeUnit -> TimeUnit

HasDatatypeInfo TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Associated Types

type DatatypeInfoOf TimeUnit :: DatatypeInfo

Methods

datatypeInfo :: proxy TimeUnit -> DatatypeInfo (Code TimeUnit)

RenderSQL TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

Methods

renderSQL :: TimeUnit -> ByteString

type Rep TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

type Rep TimeUnit = D1 ('MetaData "TimeUnit" "Squeal.PostgreSQL.Expression.Time" "squeal-postgresql-0.9.0.0-D17NIjlcsGRAwJTaCTXyvM" 'False) (((C1 ('MetaCons "Years" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Quarter" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Months" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Weeks" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Days" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Hours" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Minutes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Seconds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Microseconds" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Milliseconds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Decades" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Centuries" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Millennia" 'PrefixI 'False) (U1 :: Type -> Type)))))

type Code TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

type Code TimeUnit = GCode TimeUnit

type DatatypeInfoOf TimeUnit

Defined in Squeal.PostgreSQL.Expression.Time

type DatatypeInfoOf TimeUnit = GDatatypeInfoOf TimeUnit