{-# LANGUAGE
DataKinds
, OverloadedStrings
, TypeOperators
#-}
module Squeal.PostgreSQL.Expression.Math
(
atan2_
, quot_
, rem_
, trunc
, round_
, ceiling_
) where
import Squeal.PostgreSQL.Expression
import Squeal.PostgreSQL.Type.List
import Squeal.PostgreSQL.Type.Schema
atan2_ :: float `In` PGFloating => '[ null float, null float] ---> null float
atan2_ :: forall (float :: PGType) (null :: PGType -> NullType).
In float PGFloating =>
'[null float, null float] ---> null float
atan2_ = forall (xs :: [NullType]) (y :: NullType).
SListI xs =>
ByteString -> xs ---> y
unsafeFunctionN ByteString
"atan2"
quot_
:: int `In` PGIntegral
=> Operator (null int) (null int) (null int)
quot_ :: forall (int :: PGType) (null :: PGType -> NullType).
In int PGIntegral =>
Operator (null int) (null int) (null int)
quot_ = forall (ty0 :: NullType) (ty1 :: NullType) (ty2 :: NullType).
ByteString -> Operator ty0 ty1 ty2
unsafeBinaryOp ByteString
"/"
rem_
:: int `In` PGIntegral
=> Operator (null int) (null int) (null int)
rem_ :: forall (int :: PGType) (null :: PGType -> NullType).
In int PGIntegral =>
Operator (null int) (null int) (null int)
rem_ = forall (ty0 :: NullType) (ty1 :: NullType) (ty2 :: NullType).
ByteString -> Operator ty0 ty1 ty2
unsafeBinaryOp ByteString
"%"
trunc :: frac `In` PGFloating => null frac --> null frac
trunc :: forall (frac :: PGType) (null :: PGType -> NullType).
In frac PGFloating =>
null frac --> null frac
trunc = forall (x :: NullType) (y :: NullType). ByteString -> x --> y
unsafeFunction ByteString
"trunc"
round_ :: frac `In` PGFloating => null frac --> null frac
round_ :: forall (frac :: PGType) (null :: PGType -> NullType).
In frac PGFloating =>
null frac --> null frac
round_ = forall (x :: NullType) (y :: NullType). ByteString -> x --> y
unsafeFunction ByteString
"round"
ceiling_ :: frac `In` PGFloating => null frac --> null frac
ceiling_ :: forall (frac :: PGType) (null :: PGType -> NullType).
In frac PGFloating =>
null frac --> null frac
ceiling_ = forall (x :: NullType) (y :: NullType). ByteString -> x --> y
unsafeFunction ByteString
"ceiling"