Squeal.PostgreSQL.Expression.Time

Date/Time functions and operators

Documentation

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, 7, 3) + 365)

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

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

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

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

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

>>> printSQL (makeDate (1984 :* 7 *: 3) !-! currentDate)
(make_date(1984, 7, 3) - 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)

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 :: FunctionN '[null PGint4, null PGint4, null PGint4] (null PGdate)

Create date from year, month and day fields

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

makeTime :: FunctionN '[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, 15, 23.5)

makeTimestamp :: FunctionN '[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, 7, 15, 8, 15, 23.5)

makeTimestamptz :: FunctionN '[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, 7, 15, 8, 15, 23.5)

interval_ :: Double -> TimeUnit -> Expr (null PGinterval)

>>> printSQL $ interval_ 7 Days
(INTERVAL '7.0 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.5.2.0-4fAomBtpMjd6mRwLthA4w2" 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