Database.Relational.Monad.Trans.Assigning

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

Transformer into context with assignments

data Assignings r m a

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

Instances

MonadQualify q m => MonadQualify q (Assignings r m)

MonadQualify with assigning.

Defined in Database.Relational.Monad.Trans.Assigning

Methods

liftQualify :: q a -> Assignings r m a

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

MonadRestrict with assigning.

Defined in Database.Relational.Monad.Trans.Assigning

Methods

restrict :: Predicate c -> Assignings r m ()

MonadTrans (Assignings r)

Defined in Database.Relational.Monad.Trans.Assigning

Methods

lift :: Monad m => m a -> Assignings r m a

Monad m => Monad (Assignings r m)

Defined in Database.Relational.Monad.Trans.Assigning

Methods

(>>=) :: Assignings r m a -> (a -> Assignings r m b) -> Assignings r m b

(>>) :: Assignings r m a -> Assignings r m b -> Assignings r m b

return :: a -> Assignings r m a

fail :: String -> Assignings r m a

Functor m => Functor (Assignings r m)

Defined in Database.Relational.Monad.Trans.Assigning

Methods

fmap :: (a -> b) -> Assignings r m a -> Assignings r m b

(<$) :: a -> Assignings r m b -> Assignings r m a

TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p))

Show Set clause and WHERE clause.

Defined in Database.Relational.Effect

Methods

showsPrec :: Int -> (Record Flat r -> Assign r (PlaceHolders p)) -> ShowS

show :: (Record Flat r -> Assign r (PlaceHolders p)) -> String

showList :: [Record Flat r -> Assign r (PlaceHolders p)] -> ShowS

Applicative m => Applicative (Assignings r m)

Defined in Database.Relational.Monad.Trans.Assigning

Methods

pure :: a -> Assignings r m a

(<*>) :: Assignings r m (a -> b) -> Assignings r m a -> Assignings r m b

liftA2 :: (a -> b -> c) -> Assignings r m a -> Assignings r m b -> Assignings r m c

(*>) :: Assignings r m a -> Assignings r m b -> Assignings r m b

(<*) :: Assignings r m a -> Assignings r m b -> Assignings r m a

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

Lift to Assignings

API of context with assignments

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

Add an assignment.

(<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m () infix 4

Add and assginment.

type AssignTarget r v = Pi r v

Target of assignment.

Result SQL set clause

extractAssignments :: (Monad m, Functor m) => Assignings r m a -> m (a, Table r -> [Assignment])

Run Assignings to get [Assignment]