Copyright	(c) Eitan Chatav 2019
Maintainer	eitan@morphism.tech
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Squeal.PostgreSQL.Expression.Math

Description

Mathematical functions and operators

Synopsis

atan2_ :: float `In` PGFloating => FunctionN '[null float, null float] (null float)
quot_ :: int `In` PGIntegral => Operator (null int) (null int) (null int)
rem_ :: int `In` PGIntegral => Operator (null int) (null int) (null int)
trunc :: frac `In` PGFloating => null frac :--> null frac
round_ :: frac `In` PGFloating => null frac :--> null frac
ceiling_ :: frac `In` PGFloating => null frac :--> null frac

Documentation

atan2_ :: float `In` PGFloating => FunctionN '[null float, null float] (null float) Source #

>>> :{
let
  expression :: Expr (null 'PGfloat4)
  expression = atan2_ (pi *: 2)
in printSQL expression
:}
atan2(pi(), 2)

quot_ :: int `In` PGIntegral => Operator (null int) (null int) (null int) Source #

integer division, truncates the result

>>> :{
let
  expression :: Expression outer commons grp schemas params from (null 'PGint2)
  expression = 5 `quot_` 2
in printSQL expression
:}
(5 / 2)

rem_ :: int `In` PGIntegral => Operator (null int) (null int) (null int) Source #

remainder upon integer division

>>> :{
let
  expression :: Expression outer commons grp schemas params from (null 'PGint2)
  expression = 5 `rem_` 2
in printSQL expression
:}
(5 % 2)

trunc :: frac `In` PGFloating => null frac :--> null frac Source #

>>> :{
let
  expression :: Expression outer commons grp schemas params from (null 'PGfloat4)
  expression = trunc pi
in printSQL expression
:}
trunc(pi())

round_ :: frac `In` PGFloating => null frac :--> null frac Source #

>>> :{
let
  expression :: Expression outer commons grp schemas params from (null 'PGfloat4)
  expression = round_ pi
in printSQL expression
:}
round(pi())

ceiling_ :: frac `In` PGFloating => null frac :--> null frac Source #

>>> :{
let
  expression :: Expression outer commons grp schemas params from (null 'PGfloat4)
  expression = ceiling_ pi
in printSQL expression
:}
ceiling(pi())