relational-query-0.12.0.1: Typeful, Modular, Relational, algebraic query engine

Copyright2013-2017 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Monad.Assign

Contents

Description

This module contains definitions about restrict context with assignment monad type.

Synopsis

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 = Record Flat r -> Assign r a Source #

AssignStatement type synonym. Specifying assignments and restrictions like update statement. Record type must be the same as Target type parameter r.

extract :: Assign r a -> Config -> ((a, Table r -> [Assignment]), [Predicate Flat]) Source #

Run Assign.