Internal.Data.Basic.Replace

Documentation

class PrimaryKeyMatch fields table where

Minimal complete definition

primaryKeyMatch

Methods

primaryKeyMatch :: Entity (FromDb c) table -> Var Filtering table -> ConditionExp

Instances

(Ord (TableFieldType table field), TableField table field, ToField (TableFieldType table field), (~) [Symbol] fields ((:) Symbol f fs), PrimaryKeyMatch fields table, (~) ExpressionKind (KindOfDbExp (TableFieldType table field)) LiteralExp) => PrimaryKeyMatch ((:) Symbol field ((:) Symbol f fs)) table

Methods

primaryKeyMatch :: Entity (FromDb c) table -> Var Filtering table -> ConditionExp

(Ord (TableFieldType table field), TableField table field, ToField (TableFieldType table field), (~) ExpressionKind (KindOfDbExp (TableFieldType table field)) LiteralExp) => PrimaryKeyMatch ((:) Symbol field ([] Symbol)) table

Methods

primaryKeyMatch :: Entity (FromDb c) table -> Var Filtering table -> ConditionExp

class SetAllFields fields table where

Minimal complete definition

setAllFields

Methods

setAllFields :: Entity (FromDb c) table -> Var Updating table -> UpdateExp fields table

Instances

SetAllFields ([] Symbol) table

Methods

setAllFields :: Entity (FromDb c) table -> Var Updating table -> UpdateExp [Symbol] table

(SetAllFields fields table, CheckWithError (Not (Elem Symbol field fields)) ((:<>:) ((:<>:) (Text "Cannot update the field ") (ShowType Symbol field)) (Text " because it's already updated in this expression")), TableField table field, ToField (TableFieldType table field), (~) ExpressionKind (KindOfDbExp (TableFieldType table field)) LiteralExp) => SetAllFields ((:) Symbol field fields) table

Methods

setAllFields :: Entity (FromDb c) table -> Var Updating table -> UpdateExp ((Symbol ': field) fields) table

save :: forall table pk fields c m. (Table table, Just pk ~ TablePrimaryKey table, fields ~ UniqueFields pk, PrimaryKeyMatch fields table, SetAllFields (TableFields table) table, MonadEffect Basic m) => Entity (FromDb c) table -> m (Entity (FromDb Live) table)