Copyright | 2013-2017 Kei Hibino |
---|---|
License | BSD3 |
Maintainer | ex8k.hibino@gmail.com |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
This module contains definitions about simple restrict context monad type.
- type Restrict = Restrictings Flat ConfigureQuery
- type RestrictedStatement r a = Record Flat r -> Restrict a
- extract :: Restrict a -> Config -> (a, [Predicate Flat])
Monad to restrict target records.
type Restrict = Restrictings Flat ConfigureQuery Source #
Restrict only monad type used from update statement and delete statement.
type RestrictedStatement r a = Record Flat r -> Restrict a Source #
RestrictedStatement type synonym.
Record type r
must be
the same as Restrictings
type parameter r
.