Squeal.PostgreSQL.Expression.Math

Mathematical functions and operators

Documentation

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

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

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)

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

>>> :{
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

>>> :{
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

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