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 restrict context with assignment monad type.
- type Assign r = Assignings r Restrict
- type AssignStatement r a = Record Flat r -> Assign r a
- extract :: Assign r a -> Config -> ((a, Table r -> [Assignment]), [Predicate 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.