| Copyright | 2013 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
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 -> Config -> ((a, Table r -> Assignments), QueryRestriction Flat)
Monad to restrict target records with assignment.
type Assign r = Assignings r Restrict Source
Target update monad type used from update statement and merge statement.
type AssignStatement r a = Projection Flat r -> Assign r a Source
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 -> Config -> ((a, Table r -> Assignments), QueryRestriction Flat) Source
Run Assign.