Opaleye.Trans

Documentation

newtype OpaleyeT m a

The Opaleye monad transformer

Constructors

OpaleyeT

Fields

unOpaleyeT :: ReaderT Connection m a

Instances

MonadTrans OpaleyeT

MonadBase b m => MonadBase b (OpaleyeT m)

Monad m => MonadReader Connection (OpaleyeT m)

Monad m => Monad (OpaleyeT m)

Functor m => Functor (OpaleyeT m)

Applicative m => Applicative (OpaleyeT m)

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

Given a Connection, run an OpaleyeT

Transactions

transaction :: MonadBaseControl IO m => OpaleyeT m a -> OpaleyeT m a

Run a postgresql transaction in the OpaleyeT monad

Queries

query :: (MonadBase IO m, Default QueryRunner a b) => Query a -> OpaleyeT m [b]

Execute a Query. See runQuery.

queryFirst :: (MonadBase IO m, Default QueryRunner a b) => Query a -> OpaleyeT m (Maybe b)

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

Inserts

insert :: MonadBase IO m => Table w r -> w -> OpaleyeT m Int64

Insert into a Table. See runInsert.

insertMany :: MonadBase IO m => Table w r -> [w] -> OpaleyeT m Int64

Insert many records into a Table. See runInsertMany.

insertReturning :: (MonadBase IO m, Default QueryRunner a b) => Table w r -> (r -> a) -> w -> OpaleyeT m [b]

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

insertReturningFirst :: (MonadBase IO m, Default QueryRunner a b) => Table w r -> (r -> a) -> w -> OpaleyeT m (Maybe b)

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

insertManyReturning :: (MonadBaseControl IO 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.

Utilities

withConn :: Monad m => (Connection -> m a) -> OpaleyeT m a

With a Connection

withConnIO :: MonadBase IO m => (Connection -> IO a) -> OpaleyeT m a

With a Connection

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)

ask :: MonadReader r m => m r

Retrieves the monad environment.

class MonadBase b m => MonadBaseControl b m | m -> b

Minimal complete definition

liftBaseWith, restoreM

Instances

MonadBaseControl [] []

MonadBaseControl IO IO

MonadBaseControl Maybe Maybe

MonadBaseControl Identity Identity

MonadBaseControl STM STM

MonadBaseControl b m => MonadBaseControl b (MaybeT m)

MonadBaseControl b m => MonadBaseControl b (ListT m)

MonadBaseControl b m => MonadBaseControl b (IdentityT m)

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

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

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

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

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

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

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

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

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

MonadBaseControl ((->) r) ((->) r)

MonadBaseControl (Either e) (Either e)

MonadBaseControl (ST s) (ST s)

MonadBaseControl (ST s) (ST s)

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

Lift 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)