Squeal.PostgreSQL.Expression.Inline

inline expressions

Inline

class Inline x where

The Inline class allows embedding a Haskell value directly as an Expression using inline.

>>> printSQL (inline 'a')
(E'a' :: char(1))

>>> printSQL (inline (1 :: Double))
(1.0 :: float8)

>>> printSQL (inline (Json ([1, 2] :: [Double])))
('[1.0,2.0]' :: json)

>>> printSQL (inline (Enumerated GT))
'GT'

Methods

inline :: x -> Expr (null (PG x))

Instances

Inline Bool

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Bool -> Expr (null (PG Bool))

Inline Char

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Char -> Expr (null (PG Char))

Inline Double

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Double -> Expr (null (PG Double))

Inline Float

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Float -> Expr (null (PG Float))

Inline Int16

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Int16 -> Expr (null (PG Int16))

Inline Int32

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Int32 -> Expr (null (PG Int32))

Inline Int64

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Int64 -> Expr (null (PG Int64))

Inline Scientific

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Scientific -> Expr (null (PG Scientific))

Inline Text

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Text -> Expr (null (PG Text))

Inline UTCTime

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: UTCTime -> Expr (null (PG UTCTime))

Inline Text

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Text -> Expr (null (PG Text))

Inline String

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: String -> Expr (null (PG String))

Inline UUID

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: UUID -> Expr (null (PG UUID))

Inline Day

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Day -> Expr (null (PG Day))

Inline DiffTime

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: DiffTime -> Expr (null (PG DiffTime))

Inline TimeOfDay

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: TimeOfDay -> Expr (null (PG TimeOfDay))

Inline LocalTime

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: LocalTime -> Expr (null (PG LocalTime))

Inline Oid

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Oid -> Expr (null (PG Oid))

Inline Money

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Money -> Expr (null (PG Money))

(KnownNat n, 1 <= n) => Inline (FixChar n)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: FixChar n -> Expr (null (PG (FixChar n)))

(KnownNat n, 1 <= n) => Inline (VarChar n)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: VarChar n -> Expr (null (PG (VarChar n)))

InlineParam x (NullPG x) => Inline (VarArray [x])

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: VarArray [x] -> Expr (null (PG (VarArray [x])))

InlineParam x (NullPG x) => Inline (VarArray (Vector x))

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: VarArray (Vector x) -> Expr (null (PG (VarArray (Vector x))))

(IsEnumType x, HasDatatypeInfo x) => Inline (Enumerated x)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Enumerated x -> Expr (null (PG (Enumerated x)))

(IsRecord x xs, AllZip InlineField xs (RowPG x)) => Inline (Composite x)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Composite x -> Expr (null (PG (Composite x)))

ToJSON x => Inline (Jsonb x)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Jsonb x -> Expr (null (PG (Jsonb x)))

ToJSON x => Inline (Json x)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Json x -> Expr (null (PG (Json x)))

Inline (Range Int32)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Int32 -> Expr (null (PG (Range Int32)))

Inline (Range Int64)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Int64 -> Expr (null (PG (Range Int64)))

Inline (Range Scientific)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Scientific -> Expr (null (PG (Range Scientific)))

Inline (Range UTCTime)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range UTCTime -> Expr (null (PG (Range UTCTime)))

Inline (Range Day)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range Day -> Expr (null (PG (Range Day)))

Inline (Range LocalTime)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: Range LocalTime -> Expr (null (PG (Range LocalTime)))

Inline (TimeOfDay, TimeZone)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inline :: (TimeOfDay, TimeZone) -> Expr (null (PG (TimeOfDay, TimeZone)))

class InlineParam x ty where

Lifts Inline to NullTypes.

Methods

inlineParam :: x -> Expr ty

Instances

(Inline x, pg ~ PG x) => InlineParam x (NotNull pg)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineParam :: x -> Expr (NotNull pg)

(Inline x, pg ~ PG x) => InlineParam (Maybe x) (Null pg)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineParam :: Maybe x -> Expr (Null pg)

class InlineField (field :: (Symbol, Type)) (fieldpg :: (Symbol, NullType)) where

Lifts Inline to fields.

Methods

inlineField :: P field -> Aliased (Expression grp lat with db params from) fieldpg

Instances

(KnownSymbol alias, InlineParam x ty) => InlineField (alias ::: x) (alias ::: ty)

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineField :: P (alias ::: x) -> Aliased (Expression grp lat with db params from) (alias ::: ty)

inlineFields

Arguments

:: (IsRecord hask fields, AllZip InlineField fields row)

=> hask

record

-> NP (Aliased (Expression Ungrouped '[] with db params '[])) row

Use a Haskell record as a inline a row of expressions.

class InlineColumn (field :: (Symbol, Type)) (column :: (Symbol, ColumnType)) where

Lifts Inline to a column entry

Methods

inlineColumn :: P field -> Aliased (Optional (Expression grp lat with db params from)) column

Haskell record field as a inline column

Instances

(KnownSymbol col, InlineParam x ty) => InlineColumn (col ::: Optional I (Def :=> x)) (col ::: (Def :=> ty))

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineColumn :: P (col ::: Optional I (Def :=> x)) -> Aliased (Optional (Expression grp lat with db params from)) (col ::: (Def :=> ty))

(KnownSymbol col, InlineParam x ty) => InlineColumn (col ::: x) (col ::: (NoDef :=> ty))

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineColumn :: P (col ::: x) -> Aliased (Optional (Expression grp lat with db params from)) (col ::: (NoDef :=> ty))

inlineColumns

Arguments

:: (IsRecord hask xs, AllZip InlineColumn xs columns)

=> hask

record

-> NP (Aliased (Optional (Expression Ungrouped '[] with db params '[]))) columns

Use a Haskell record as a inline list of columns