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

(!+) :: Operator (null PGtimestamp) (null PGinterval) (null PGtimestamp)

(+!) :: Operator (null PGinterval) (null PGtimestamp) (null PGtimestamp)

(!-) :: Operator (null PGtimestamp) (null PGinterval) (null PGtimestamp)

(!-!) :: Operator (null PGtimestamp) (null PGtimestamp) (null PGinterval)

TimeOp PGtimestamptz PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: Operator (null PGtimestamptz) (null PGinterval) (null PGtimestamptz)

(+!) :: Operator (null PGinterval) (null PGtimestamptz) (null PGtimestamptz)

(!-) :: Operator (null PGtimestamptz) (null PGinterval) (null PGtimestamptz)

(!-!) :: Operator (null PGtimestamptz) (null PGtimestamptz) (null PGinterval)

TimeOp PGdate PGint4

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: Operator (null PGdate) (null PGint4) (null PGdate)

(+!) :: Operator (null PGint4) (null PGdate) (null PGdate)

(!-) :: Operator (null PGdate) (null PGint4) (null PGdate)

(!-!) :: Operator (null PGdate) (null PGdate) (null PGint4)

TimeOp PGtime PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: Operator (null PGtime) (null PGinterval) (null PGtime)

(+!) :: Operator (null PGinterval) (null PGtime) (null PGtime)

(!-) :: Operator (null PGtime) (null PGinterval) (null PGtime)

(!-!) :: Operator (null PGtime) (null PGtime) (null PGinterval)

TimeOp PGtimetz PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: Operator (null PGtimetz) (null PGinterval) (null PGtimetz)

(+!) :: Operator (null PGinterval) (null PGtimetz) (null PGtimetz)

(!-) :: Operator (null PGtimetz) (null PGinterval) (null PGtimetz)

(!-!) :: Operator (null PGtimetz) (null PGtimetz) (null PGinterval)

TimeOp PGinterval PGinterval

Defined in Squeal.PostgreSQL.Expression.Time

Methods

(!+) :: Operator (null PGinterval) (null PGinterval) (null PGinterval)

(+!) :: Operator (null PGinterval) (null PGinterval) (null PGinterval)

(!-) :: Operator (null PGinterval) (null PGinterval) (null PGinterval)

(!-!) :: 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

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))

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

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.7.0.1-33cXMmdyUeW5J6FQU4gmil" False) (((C1 (MetaCons "Years" 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