Squeal.PostgreSQL.Expression.Default

optional expressions

Default

data Optional (expr :: k -> Type) (ty :: (Optionality, k)) where

Optional is either Default or Setting of a value, parameterized by an appropriate Optionality.

Constructors

Default :: Optional expr ('Def :=> ty)

Use the Default value for a column.

Set :: expr ty -> Optional expr (def :=> ty)

Set a value for a column.

Instances

(forall (x :: k). RenderSQL (expr x)) => RenderSQL (Optional expr ty)

Defined in Squeal.PostgreSQL.Expression.Default

Methods

renderSQL :: Optional expr ty -> ByteString

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

Defined in Squeal.PostgreSQL.Expression.Inline

Methods

inlineColumn :: forall (grp :: Grouping) (lat :: FromType) (with :: FromType) (db :: SchemasType) (params :: [NullType]) (from :: FromType). P (col ::: Optional I ('Def :=> x)) -> Aliased (Optional (Expression grp lat with db params from)) (col ::: ('Def :=> ty))

mapOptional :: (expr x -> expr y) -> Optional expr (def :=> x) -> Optional expr (def :=> y)

Map a function over an Optional expression.

pattern NotDefault :: ty -> Optional I ('Def :=> ty)

NotDefault pattern analagous to Just.