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

Portabilityunknown
Stabilityexperimental
Maintainerex8k.hibino@gmail.com
Safe HaskellNone

Database.Relational.Query.Monad.Trans.Assigning

Contents

Description

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

Synopsis

Transformer into context with assignments

data Assignings r m a Source

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

Instances

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