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

Safe HaskellNone




This module defines monad transformer which lift from context into context with assigning.


Transformer into context with assignments

data Assignings r m a Source

Type to accumulate assigning context. Type r is table record type.


MonadQualify ConfigureQuery (Assign r)

Instance to lift from qualified table forms into Restrict.

MonadRestrict c m => MonadRestrict c (Assignings r m)

MonadRestrict with ordering.

MonadTrans (Assignings r) 
Monad m => Monad (Assignings r m) 
Functor m => Functor (Assignings r m) 
Applicative m => Applicative (Assignings r m) 

assignings :: Monad m => m a -> Assignings r m aSource

Lift to Assignings

API of context with assignments

assignTo :: Monad m => Projection Flat v -> AssignTarget r v -> Assignings r m ()Source

Add an assignment.

(<-#) :: Monad m => AssignTarget r v -> Projection Flat v -> Assignings r m ()Source

Add and assginment.

type AssignTarget r v = Pi r vSource

Target of assignment.

Result SQL set clause