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.

Methods

showsPrec :: Int -> Restriction p r -> ShowS

show :: Restriction p r -> String

showList :: [Restriction p r] -> ShowS

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)

Methods

showsPrec :: Int -> UpdateTarget p r -> ShowS

show :: UpdateTarget p r -> String

showList :: [UpdateTarget p r] -> ShowS

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.

Object to express insert terget.

data InsertTarget p r

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

insertTarget :: Register r () -> InsertTarget () r

Finalize Register monad and generate InsertTarget.

insertTarget' :: Register r (PlaceHolders p) -> InsertTarget p r

Finalize Target monad and generate UpdateTarget with place-holder parameter 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

sqlFromInsertTarget :: Config -> Table r -> InsertTarget p r -> StringSQL

SQL INSERT statement StringSQL string from InsertTarget