Database.Relational.Monad.Assign

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

Monad to restrict target records with assignment.

type Assign r = Assignings r Restrict

Target update monad type used from update statement and merge statement.

type AssignStatement r a = Record Flat r -> Assign r a

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])

Run Assign.