Portability | unknown |
---|---|
Stability | experimental |
Maintainer | [email protected] |
Safe Haskell | None |
Database.Relational.Query.Monad.Assign
Description
This module contains definitions about restrict context with assignment monad type.
- type Assign r = Assignings r Restrict
- type AssignStatement r a = Projection Flat r -> Assign r a
- extract :: Assign r a -> ((a, Table r -> Assignments), QueryRestriction Flat)
Monad to restrict target records with assignment.
type Assign r = Assignings r RestrictSource
Target update monad type used from update statement and merge statement.
type AssignStatement r a = Projection Flat r -> Assign r aSource
AssignStatement type synonym.
Specifying assignments and restrictions like update statement.
Projection record type must be
the same as Target
type parameter r
.
extract :: Assign r a -> ((a, Table r -> Assignments), QueryRestriction Flat)Source
Run Assign
.