Documentation

Methods

contextSing :: SContext Expr Source #

Methods

nullifiability :: Nullifiability Expr Source #

Methods

toColumns :: Expr a -> Columns (Expr a) Expr Source #

fromColumns :: Columns (Expr a) Expr -> Expr a Source #

fromResult :: Columns (Expr a) Result -> FromExprs (Expr a) Source #

toResult :: FromExprs (Expr a) -> Columns (Expr a) Result Source #

Methods

mempty :: Expr a #

mappend :: Expr a -> Expr a -> Expr a #

mconcat :: [Expr a] -> Expr a #

Methods

(<>) :: Expr a -> Expr a -> Expr a #

sconcat :: NonEmpty (Expr a) -> Expr a #

stimes :: Integral b => b -> Expr a -> Expr a #

Methods

fromString :: String -> Expr a #

Methods

pi :: Expr a #

exp :: Expr a -> Expr a #

log :: Expr a -> Expr a #

sqrt :: Expr a -> Expr a #

(**) :: Expr a -> Expr a -> Expr a #

logBase :: Expr a -> Expr a -> Expr a #

sin :: Expr a -> Expr a #

cos :: Expr a -> Expr a #

tan :: Expr a -> Expr a #

asin :: Expr a -> Expr a #

acos :: Expr a -> Expr a #

atan :: Expr a -> Expr a #

sinh :: Expr a -> Expr a #

cosh :: Expr a -> Expr a #

tanh :: Expr a -> Expr a #

asinh :: Expr a -> Expr a #

acosh :: Expr a -> Expr a #

atanh :: Expr a -> Expr a #

log1p :: Expr a -> Expr a #

expm1 :: Expr a -> Expr a #

log1pexp :: Expr a -> Expr a #

log1mexp :: Expr a -> Expr a #

Methods

(+) :: Expr a -> Expr a -> Expr a #

(-) :: Expr a -> Expr a -> Expr a #

(*) :: Expr a -> Expr a -> Expr a #

negate :: Expr a -> Expr a #

abs :: Expr a -> Expr a #

signum :: Expr a -> Expr a #

fromInteger :: Integer -> Expr a #

Methods

(/) :: Expr a -> Expr a -> Expr a #

recip :: Expr a -> Expr a #

fromRational :: Rational -> Expr a #

Methods

showsPrec :: Int -> Expr a -> ShowS #

show :: Expr a -> String #

showList :: [Expr a] -> ShowS #

Methods

eqTable :: Columns (Expr a) (Dict (Sql DBEq)) Source #

Methods

ordTable :: Columns (Expr a) (Dict (Sql DBOrd)) Source #