Rel8.Expr.Time

Working with Day

today :: Expr Day

Corresponds to date(now()).

toDay :: Expr UTCTime -> Expr Day

Corresponds to calling the date function with a given time.

fromDay :: Expr Day -> Expr UTCTime

Corresponds to x::timestamptz.

addDays :: Expr Int32 -> Expr Day -> Expr Day

Move forward a given number of days from a particular day.

diffDays :: Expr Day -> Expr Day -> Expr Int32

Find the number of days between two days. Corresponds to the - operator.

subtractDays :: Expr Int32 -> Expr Day -> Expr Day

Subtract a given number of days from a particular Day.

Working with UTCTime

now :: Expr UTCTime

Corresponds to now().

addTime :: Expr CalendarDiffTime -> Expr UTCTime -> Expr UTCTime

Add a time interval to a point in time, yielding a new point in time.

diffTime :: Expr UTCTime -> Expr UTCTime -> Expr CalendarDiffTime

Find the duration between two times.

subtractTime :: Expr CalendarDiffTime -> Expr UTCTime -> Expr UTCTime

Subtract a time interval from a point in time, yielding a new point in time.

Working with CalendarDiffTime

scaleInterval :: Expr Double -> Expr CalendarDiffTime -> Expr CalendarDiffTime

second :: Expr CalendarDiffTime

An interval of one second.

seconds :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of seconds.

minute :: Expr CalendarDiffTime

An interval of one minute.

minutes :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of minutes.

hour :: Expr CalendarDiffTime

An interval of one hour.

hours :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of hours.

day :: Expr CalendarDiffTime

An interval of one day.

days :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of days.

week :: Expr CalendarDiffTime

An interval of one week.

weeks :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of weeks.

month :: Expr CalendarDiffTime

An interval of one month.

months :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of months.

year :: Expr CalendarDiffTime

An interval of one year.

years :: Expr Double -> Expr CalendarDiffTime

Create a literal interval from a number of years.