Opaleye.Trans

Documentation

newtype OpaleyeT m a

The Opaleye monad transformer

Constructors

OpaleyeT

Fields

unOpaleyeT :: ReaderT Connection m a

Instances

MonadTrans OpaleyeT

Monad m => MonadReader Connection (OpaleyeT m)

MonadBase b m => MonadBase b (OpaleyeT m)

Monad m => Monad (OpaleyeT m)

Functor m => Functor (OpaleyeT m)

Applicative m => Applicative (OpaleyeT m)

MonadIO m => MonadIO (OpaleyeT m)

runOpaleyeT :: Connection -> OpaleyeT m a -> m a

Given a Connection, run an OpaleyeT

Transactions

data Transaction a

Instances

Monad Transaction

Functor Transaction

Applicative Transaction

MonadReader Connection Transaction

transaction :: MonadIO m => Transaction a -> OpaleyeT m a

Run a postgresql transaction in the OpaleyeT monad

run :: MonadIO m => Transaction a -> OpaleyeT m a

Execute a query without a literal transaction

Queries

query :: Default QueryRunner a b => Query a -> Transaction [b]

Execute a Query. See runQuery.

queryFirst :: Default QueryRunner a b => Query a -> Transaction (Maybe b)

Retrieve the first result from a Query. Similar to listToMaybe $ runQuery.

Inserts

insert :: Table w r -> w -> Transaction Int64

Insert into a Table. See runInsert.

insertMany :: Table w r -> [w] -> Transaction Int64

Insert many records into a Table. See runInsertMany.

insertReturning :: Default QueryRunner a b => Table w r -> (r -> a) -> w -> Transaction [b]

Insert a record into a Table with a return value. See runInsertReturning.

insertReturningFirst :: Default QueryRunner a b => Table w r -> (r -> a) -> w -> Transaction (Maybe b)

Insert a record into a Table with a return value. Retrieve only the first result. Similar to listToMaybe $ insertReturning

insertManyReturning :: (MonadIO m, Default QueryRunner a b) => Table w r -> (r -> a) -> [w] -> OpaleyeT m [[b]]

Insert many records into a Table with a return value for each record.

Maybe not worth defining. This almost certainly does the wrong thing.

Utilities

withConn :: MonadIO m => (Connection -> IO a) -> OpaleyeT m a

Reexports

liftBase :: MonadBase b m => forall α. b α -> m α

Lift a computation from the base monad

class (Applicative b, Applicative m, Monad b, Monad m) => MonadBase b m | m -> b where

Methods

liftBase :: b α -> m α

Lift a computation from the base monad

Instances

MonadBase [] []

MonadBase IO IO

MonadBase Maybe Maybe

MonadBase Identity Identity

MonadBase STM STM

MonadBase b m => MonadBase b (MaybeT m)

MonadBase b m => MonadBase b (ListT m)

MonadBase b m => MonadBase b (IdentityT m)

MonadBase b m => MonadBase b (OpaleyeT m)

(Monoid w, MonadBase b m) => MonadBase b (WriterT w m)

(Monoid w, MonadBase b m) => MonadBase b (WriterT w m)

MonadBase b m => MonadBase b (StateT s m)

MonadBase b m => MonadBase b (StateT s m)

MonadBase b m => MonadBase b (ReaderT r m)

MonadBase b m => MonadBase b (ExceptT e m)

(Error e, MonadBase b m) => MonadBase b (ErrorT e m)

MonadBase b m => MonadBase b (ContT r m)

(Monoid w, MonadBase b m) => MonadBase b (RWST r w s m)

(Monoid w, MonadBase b m) => MonadBase b (RWST r w s m)

MonadBase ((->) r) ((->) r)

MonadBase (Either e) (Either e)

MonadBase (ST s) (ST s)

MonadBase (ST s) (ST s)

liftIO :: MonadIO m => forall a. IO a -> m a

Lift a computation from the IO monad.

class Monad m => MonadIO m where

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

• liftIO . return = return

• liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Methods

liftIO :: IO a -> m a

Lift a computation from the IO monad.

Instances

MonadIO IO

MonadIO m => MonadIO (IdentityT m)

MonadIO m => MonadIO (ListT m)

MonadIO m => MonadIO (MaybeT m)

MonadIO m => MonadIO (OpaleyeT m)

MonadIO m => MonadIO (ContT r m)

MonadIO m => MonadIO (ReaderT r m)

MonadIO m => MonadIO (StateT s m)

MonadIO m => MonadIO (StateT s m)

MonadIO m => MonadIO (ExceptT e m)

(Error e, MonadIO m) => MonadIO (ErrorT e m)

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

(Monoid w, MonadIO m) => MonadIO (WriterT w m)

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

(Monoid w, MonadIO m) => MonadIO (RWST r w s m)

ask :: MonadReader r m => m r

Retrieves the monad environment.

data Int64 :: *

64-bit signed integer type

Instances

Bounded Int64

Enum Int64

Eq Int64

Integral Int64

Num Int64

Ord Int64

Read Int64

Real Int64

Show Int64

Ix Int64

Bits Int64

FiniteBits Int64

Unbox Int64

QueryRunnerColumnDefault PGInt8 Int64

Vector Vector Int64

MVector MVector Int64

data Vector Int64 = V_Int64 (Vector Int64)

data MVector s Int64 = MV_Int64 (MVector s Int64)