Opaleye.Trans

Documentation

newtype OpaleyeT m a

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

TODO Handle exceptions

Transactions

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

Queries

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

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

Inserts

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

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

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

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

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

Utilities

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

withConnIO :: MonadBase IO 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)

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)