Database.Relational.Query.Effect

This module defines effect statements like update and delete.

Object to express simple restriction.

data Restriction p r

Restriction type with place-holder parameter p and projection record type r.

Instances

TableDerivable r => Show (Restriction p r)

Show where clause.

type RestrictionContext p r = RestrictedStatement r (PlaceHolders p)

Not finalized Restrict monad type.

restriction :: RestrictedStatement r () -> Restriction () r

Finalize Restrict monad and generate Restriction.

restriction' :: RestrictedStatement r (PlaceHolders p) -> Restriction p r

Finalize Restrict monad and generate Restriction with place-holder parameter p

Object to express update target columns and restriction.

data UpdateTarget p r

UpdateTarget type with place-holder parameter p and projection record type r.

Instances

TableDerivable r => Show (UpdateTarget p r)

type UpdateTargetContext p r = AssignStatement r (PlaceHolders p)

Not finalized Target monad type.

updateTarget :: AssignStatement r () -> UpdateTarget () r

Finalize Target monad and generate UpdateTarget.

updateTarget' :: AssignStatement r (PlaceHolders p) -> UpdateTarget p r

Finalize Target monad and generate UpdateTarget with place-holder parameter p.

liftTargetAllColumn :: PersistableWidth r => Restriction () r -> UpdateTarget r r

Lift Restriction to UpdateTarget. Update target columns are all.

liftTargetAllColumn' :: PersistableWidth r => Restriction p r -> UpdateTarget (r, p) r

Lift Restriction to UpdateTarget. Update target columns are all. With placefolder type p.

updateTargetAllColumn :: PersistableWidth r => RestrictedStatement r () -> UpdateTarget r r

Finalize Restrict monad and generate UpdateTarget. Update target columns are all.

updateTargetAllColumn' :: PersistableWidth r => RestrictedStatement r (PlaceHolders p) -> UpdateTarget (r, p) r

Finalize Restrict monad and generate UpdateTarget. Update target columns are all. With placefolder type p.

Generate SQL from restriction.

sqlWhereFromRestriction :: Config -> Table r -> Restriction p r -> StringSQL

SQL WHERE clause StringSQL string from Restriction.

sqlFromUpdateTarget :: Config -> Table r -> UpdateTarget p r -> StringSQL

SQL SET clause and WHERE clause StringSQL string from UpdateTarget