| Portability | unknown |
|---|---|
| Stability | experimental |
| Maintainer | [email protected] |
| Safe Haskell | None |
Database.Relational.Query.Monad.Restrict
Description
This module contains definitions about simple restrict context monad type.
- type Restrict = Restrictings Flat Identity
- type RestrictedStatement r a = Projection Flat r -> Restrict a
- extract :: Restrict a -> (a, QueryRestriction Flat)
Monad to restrict target records.
type Restrict = Restrictings Flat IdentitySource
Restrict only monad type used from update statement and delete statement.
type RestrictedStatement r a = Projection Flat r -> Restrict aSource
RestrictedStatement type synonym.
Projection record type r must be
the same as Restrictings type parameter r.
extract :: Restrict a -> (a, QueryRestriction Flat)Source
Run Restrict to get QueryRestriction.