Squeal.PostgreSQL.Expression.Default

Contents

Description

optional expressions

Synopsis

data Optional (expr :: k -> Type) (ty :: (Optionality, k)) where
- Default :: Optional expr ('Def :=> ty)
- Set :: expr ty -> Optional expr (def :=> ty)
mapOptional :: (expr x -> expr y) -> Optional expr (def :=> x) -> Optional expr (def :=> y)
pattern NotDefault :: ty -> Optional I ('Def :=> ty)

Default

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

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 details

(forall (x :: k). RenderSQL (expr x)) => RenderSQL (Optional expr ty) Source #
Instance details Defined in Squeal.PostgreSQL.Expression.Default Methods renderSQL :: Optional expr ty -> ByteString Source #
(KnownSymbol col, InlineParam x ty) => InlineColumn (col ::: Optional I ('Def :=> x)) (col ::: ('Def :=> ty)) Source #
Instance details 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)) Source #

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

Map a function over an Optional expression.

NotDefault pattern analagous to Just.