Copyright	2013-2019 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Relational.Monad.Trans.Assigning

Contents

Transformer into context with assignments
API of context with assignments
Result SQL set clause

Description

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

Synopsis

data Assignings r m a
assignings :: Monad m => m a -> Assignings r m a
assignTo :: Monad m => Record Flat v -> AssignTarget r v -> Assignings r m ()
(<-#) :: Monad m => AssignTarget r v -> Record Flat v -> Assignings r m ()
type AssignTarget r v = Pi r v
extractAssignments :: (Monad m, Functor m) => Assignings r m a -> m (a, Table r -> [Assignment])

Transformer into context with assignments

data Assignings r m a Source #

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

Instances

Instances details

MonadQualify q m => MonadQualify q (Assignings r m) Source #	`MonadQualify` with assigning.
Instance details Defined in Database.Relational.Monad.Trans.Assigning Methods liftQualify :: q a -> Assignings r m a Source #
MonadRestrict c m => MonadRestrict c (Assignings r m) Source #	`MonadRestrict` with assigning.
Instance details Defined in Database.Relational.Monad.Trans.Assigning Methods restrict :: Predicate c -> Assignings r m () Source #
MonadTrans (Assignings r) Source #
Instance details Defined in Database.Relational.Monad.Trans.Assigning Methods lift :: Monad m => m a -> Assignings r m a #
Applicative m => Applicative (Assignings r m) Source #
Instance details 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 #
Functor m => Functor (Assignings r m) Source #
Instance details 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 #
Monad m => Monad (Assignings r m) Source #
Instance details 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 #
TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p)) Source #	Show Set clause and WHERE clause.
Instance details 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 #

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

Lift to Assignings

API of context with assignments

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

Add an assignment.

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

Add and assignment.

type AssignTarget r v = Pi r v Source #

Target of assignment.

Result SQL set clause

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

Run Assignings to get [Assignment]