Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasql.CursorTransactionIO

Synopsis

data CursorTransactionIO s a
data Cursor s a
declareCursorFor :: params -> Statement params result -> CursorTransactionIO s (Cursor s result)
fetchWithCursor :: Cursor s a -> CursorTransactionIO s a

Documentation

data CursorTransactionIO s a Source #

A TransactionIO that also manages creation and deletion of Cursors

Instances

Instances details

MonadState Int (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods get :: CursorTransactionIO s Int # put :: Int -> CursorTransactionIO s () # state :: (Int -> (a, Int)) -> CursorTransactionIO s a #
MonadIO (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods liftIO :: IO a -> CursorTransactionIO s a #
Applicative (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods pure :: a -> CursorTransactionIO s a # (<>) :: CursorTransactionIO s (a -> b) -> CursorTransactionIO s a -> CursorTransactionIO s b # liftA2 :: (a -> b -> c) -> CursorTransactionIO s a -> CursorTransactionIO s b -> CursorTransactionIO s c # (>) :: CursorTransactionIO s a -> CursorTransactionIO s b -> CursorTransactionIO s b # (<*) :: CursorTransactionIO s a -> CursorTransactionIO s b -> CursorTransactionIO s a #
Functor (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods fmap :: (a -> b) -> CursorTransactionIO s a -> CursorTransactionIO s b # (<$) :: a -> CursorTransactionIO s b -> CursorTransactionIO s a #
Monad (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods (>>=) :: CursorTransactionIO s a -> (a -> CursorTransactionIO s b) -> CursorTransactionIO s b # (>>) :: CursorTransactionIO s a -> CursorTransactionIO s b -> CursorTransactionIO s b # return :: a -> CursorTransactionIO s a #
MonadResource (CursorTransactionIO s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods liftResourceT :: ResourceT IO a -> CursorTransactionIO s a #

data Cursor s a Source #

A PostgresSQL cursor that produces results of type a when fetched

Instances

Instances details

Functor (Cursor s) Source #
Instance details Defined in Hasql.Private.CursorTransactionIO Methods fmap :: (a -> b) -> Cursor s a -> Cursor s b # (<$) :: a -> Cursor s b -> Cursor s a #

declareCursorFor :: params -> Statement params result -> CursorTransactionIO s (Cursor s result) Source #

Run a Statement using a cursor

fetchWithCursor :: Cursor s a -> CursorTransactionIO s a Source #

Fetch results from a cursor