Opaleye.Trans

Documentation

newtype OpaleyeT m a

The Opaleye monad transformer

Constructors

OpaleyeT

Fields

• unOpaleyeT :: ReaderT Connection m a

Instances

MonadTrans OpaleyeT

Defined in Opaleye.Trans

Methods

lift :: Monad m => m a -> OpaleyeT m a

Monad m => MonadReader Connection (OpaleyeT m)

Defined in Opaleye.Trans

Methods

ask :: OpaleyeT m Connection

local :: (Connection -> Connection) -> OpaleyeT m a -> OpaleyeT m a

reader :: (Connection -> a) -> OpaleyeT m a

Monad m => Monad (OpaleyeT m)

Defined in Opaleye.Trans

Methods

(>>=) :: OpaleyeT m a -> (a -> OpaleyeT m b) -> OpaleyeT m b

(>>) :: OpaleyeT m a -> OpaleyeT m b -> OpaleyeT m b

return :: a -> OpaleyeT m a

fail :: String -> OpaleyeT m a

Functor m => Functor (OpaleyeT m)

Defined in Opaleye.Trans

Methods

fmap :: (a -> b) -> OpaleyeT m a -> OpaleyeT m b

(<$) :: a -> OpaleyeT m b -> OpaleyeT m a

Applicative m => Applicative (OpaleyeT m)

Defined in Opaleye.Trans

Methods

pure :: a -> OpaleyeT m a

(<*>) :: OpaleyeT m (a -> b) -> OpaleyeT m a -> OpaleyeT m b

liftA2 :: (a -> b -> c) -> OpaleyeT m a -> OpaleyeT m b -> OpaleyeT m c

(*>) :: OpaleyeT m a -> OpaleyeT m b -> OpaleyeT m b

(<*) :: OpaleyeT m a -> OpaleyeT m b -> OpaleyeT m a

MonadIO m => MonadIO (OpaleyeT m)

Defined in Opaleye.Trans

Methods

liftIO :: IO a -> OpaleyeT m a

MonadThrow m => MonadThrow (OpaleyeT m)

Defined in Opaleye.Trans

Methods

throwM :: Exception e => e -> OpaleyeT m a

MonadCatch m => MonadCatch (OpaleyeT m)

Defined in Opaleye.Trans

Methods

catch :: Exception e => OpaleyeT m a -> (e -> OpaleyeT m a) -> OpaleyeT m a

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

Given a Connection, run an OpaleyeT

Transactions

data Transaction a

Instances

Monad Transaction

Defined in Opaleye.Trans

Methods

(>>=) :: Transaction a -> (a -> Transaction b) -> Transaction b

(>>) :: Transaction a -> Transaction b -> Transaction b

return :: a -> Transaction a

fail :: String -> Transaction a

Functor Transaction

Defined in Opaleye.Trans

Methods

fmap :: (a -> b) -> Transaction a -> Transaction b

(<$) :: a -> Transaction b -> Transaction a

Applicative Transaction

Defined in Opaleye.Trans

Methods

pure :: a -> Transaction a

(<*>) :: Transaction (a -> b) -> Transaction a -> Transaction b

liftA2 :: (a -> b -> c) -> Transaction a -> Transaction b -> Transaction c

(*>) :: Transaction a -> Transaction b -> Transaction b

(<*) :: Transaction a -> Transaction b -> Transaction a

MonadReader Connection Transaction

Defined in Opaleye.Trans

Methods

ask :: Transaction Connection

local :: (Connection -> Connection) -> Transaction a -> Transaction a

reader :: (Connection -> a) -> Transaction a

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 :: Default QueryRunner a b => Table w r -> [w] -> (r -> a) -> Transaction [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.

Updates

update :: Table w r -> (r -> w) -> (r -> Column PGBool) -> Transaction Int64

Update items in a Table where the predicate is true. See runUpdate.

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

Update items in a Table with a return value. See runUpdateReturning.

updateReturningFirst :: Default QueryRunner a b => Table w r -> (r -> w) -> (r -> Column PGBool) -> (r -> a) -> Transaction (Maybe b)

Update items in a Table with a return value. Similar to listToMaybe <$> updateReturning.

Deletes

delete :: Table a b -> (b -> Column PGBool) -> Transaction Int64

Delete items in a Table that satisfy some boolean predicate. See runDelete.

Utilities

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

Reexports

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

Lift a computation from the IO monad.

class Monad m => MonadIO (m :: Type -> Type)

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)

Minimal complete definition

liftIO

Instances

MonadIO IO

Since: base-4.9.0.0

Defined in Control.Monad.IO.Class

Methods

liftIO :: IO a -> IO a

MonadIO Q

Defined in Language.Haskell.TH.Syntax

Methods

liftIO :: IO a -> Q a

MonadIO m => MonadIO (MaybeT m)

Defined in Control.Monad.Trans.Maybe

Methods

liftIO :: IO a -> MaybeT m a

MonadIO m => MonadIO (ListT m)

Defined in Control.Monad.Trans.List

Methods

liftIO :: IO a -> ListT m a

MonadIO m => MonadIO (OpaleyeT m)

Defined in Opaleye.Trans

Methods

liftIO :: IO a -> OpaleyeT m a

MonadIO m => MonadIO (IdentityT m)

Defined in Control.Monad.Trans.Identity

Methods

liftIO :: IO a -> IdentityT m a

MonadIO m => MonadIO (ExceptT e m)

Defined in Control.Monad.Trans.Except

Methods

liftIO :: IO a -> ExceptT e m a

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

Defined in Control.Monad.Trans.Error

Methods

liftIO :: IO a -> ErrorT e m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Lazy

Methods

liftIO :: IO a -> StateT s m a

MonadIO m => MonadIO (StateT s m)

Defined in Control.Monad.Trans.State.Strict

Methods

liftIO :: IO a -> StateT s m a

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

Defined in Control.Monad.Trans.Writer.Lazy

Methods

liftIO :: IO a -> WriterT w m a

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

Defined in Control.Monad.Trans.Writer.Strict

Methods

liftIO :: IO a -> WriterT w m a

MonadIO m => MonadIO (OpaleyeT e m)

Defined in Opaleye.Trans.Exception

Methods

liftIO :: IO a -> OpaleyeT e m a

MonadIO m => MonadIO (ContT r m)

Defined in Control.Monad.Trans.Cont

Methods

liftIO :: IO a -> ContT r m a

MonadIO m => MonadIO (ReaderT r m)

Defined in Control.Monad.Trans.Reader

Methods

liftIO :: IO a -> ReaderT r m a

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

Defined in Control.Monad.Trans.RWS.Lazy

Methods

liftIO :: IO a -> RWST r w s m a

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

Defined in Control.Monad.Trans.RWS.Strict

Methods

liftIO :: IO a -> RWST r w s m a

ask :: MonadReader r m => m r

Retrieves the monad environment.

data Int64

64-bit signed integer type

Instances

Bounded Int64

Since: base-2.1

Defined in GHC.Int

Methods

minBound :: Int64

maxBound :: Int64

Enum Int64

Since: base-2.1

Defined in GHC.Int

Methods

succ :: Int64 -> Int64

pred :: Int64 -> Int64

toEnum :: Int -> Int64

fromEnum :: Int64 -> Int

enumFrom :: Int64 -> [Int64]

enumFromThen :: Int64 -> Int64 -> [Int64]

enumFromTo :: Int64 -> Int64 -> [Int64]

enumFromThenTo :: Int64 -> Int64 -> Int64 -> [Int64]

Eq Int64

Since: base-2.1

Defined in GHC.Int

Methods

(==) :: Int64 -> Int64 -> Bool

(/=) :: Int64 -> Int64 -> Bool

Integral Int64

Since: base-2.1

Defined in GHC.Int

Methods

quot :: Int64 -> Int64 -> Int64

rem :: Int64 -> Int64 -> Int64

div :: Int64 -> Int64 -> Int64

mod :: Int64 -> Int64 -> Int64

quotRem :: Int64 -> Int64 -> (Int64, Int64)

divMod :: Int64 -> Int64 -> (Int64, Int64)

toInteger :: Int64 -> Integer

Num Int64

Since: base-2.1

Defined in GHC.Int

Methods

(+) :: Int64 -> Int64 -> Int64

(-) :: Int64 -> Int64 -> Int64

(*) :: Int64 -> Int64 -> Int64

negate :: Int64 -> Int64

abs :: Int64 -> Int64

signum :: Int64 -> Int64

fromInteger :: Integer -> Int64

Ord Int64

Since: base-2.1

Defined in GHC.Int

Methods

compare :: Int64 -> Int64 -> Ordering

(<) :: Int64 -> Int64 -> Bool

(<=) :: Int64 -> Int64 -> Bool

(>) :: Int64 -> Int64 -> Bool

(>=) :: Int64 -> Int64 -> Bool

max :: Int64 -> Int64 -> Int64

min :: Int64 -> Int64 -> Int64

Read Int64

Since: base-2.1

Defined in GHC.Int

Methods

readsPrec :: Int -> ReadS Int64

readList :: ReadS [Int64]

readPrec :: ReadPrec Int64

readListPrec :: ReadPrec [Int64]

Real Int64

Since: base-2.1

Defined in GHC.Int

Methods

toRational :: Int64 -> Rational

Show Int64

Since: base-2.1

Defined in GHC.Int

Methods

showsPrec :: Int -> Int64 -> ShowS

show :: Int64 -> String

showList :: [Int64] -> ShowS

Ix Int64

Since: base-2.1

Defined in GHC.Int

Methods

range :: (Int64, Int64) -> [Int64]

index :: (Int64, Int64) -> Int64 -> Int

unsafeIndex :: (Int64, Int64) -> Int64 -> Int

inRange :: (Int64, Int64) -> Int64 -> Bool

rangeSize :: (Int64, Int64) -> Int

unsafeRangeSize :: (Int64, Int64) -> Int

Lift Int64

Defined in Language.Haskell.TH.Syntax

Methods

lift :: Int64 -> Q Exp

Bits Int64

Since: base-2.1

Defined in GHC.Int

Methods

(.&.) :: Int64 -> Int64 -> Int64

(.|.) :: Int64 -> Int64 -> Int64

xor :: Int64 -> Int64 -> Int64

complement :: Int64 -> Int64

shift :: Int64 -> Int -> Int64

rotate :: Int64 -> Int -> Int64

zeroBits :: Int64

bit :: Int -> Int64

setBit :: Int64 -> Int -> Int64

clearBit :: Int64 -> Int -> Int64

complementBit :: Int64 -> Int -> Int64

testBit :: Int64 -> Int -> Bool

bitSizeMaybe :: Int64 -> Maybe Int

bitSize :: Int64 -> Int

isSigned :: Int64 -> Bool

shiftL :: Int64 -> Int -> Int64

unsafeShiftL :: Int64 -> Int -> Int64

shiftR :: Int64 -> Int -> Int64

unsafeShiftR :: Int64 -> Int -> Int64

rotateL :: Int64 -> Int -> Int64

rotateR :: Int64 -> Int -> Int64

popCount :: Int64 -> Int

FiniteBits Int64

Since: base-4.6.0.0

Defined in GHC.Int

Methods

finiteBitSize :: Int64 -> Int

countLeadingZeros :: Int64 -> Int

countTrailingZeros :: Int64 -> Int

QueryRunnerColumnDefault PGInt8 Int64

Defined in Opaleye.Internal.RunQuery

Methods

queryRunnerColumnDefault :: FromField PGInt8 Int64

defaultFromField :: FromField PGInt8 Int64

Default ToFields Int64 (Column SqlInt8)

Defined in Opaleye.Constant

Methods

def :: ToFields Int64 (Column SqlInt8)

Default ToFields (PGRange Int64) (Column (SqlRange SqlInt8))

Defined in Opaleye.Constant

Methods

def :: ToFields (PGRange Int64) (Column (SqlRange SqlInt8))