Database.Seakale.Request.Internal

Documentation

data RequestF backend a

Constructors

Query ByteString (([ColumnInfo backend], [Row backend]) -> a)

Execute ByteString (Integer -> a)

GetBackend (backend -> a)

ThrowError SeakaleError

CatchError a (SeakaleError -> a)

Instances

Monad m => MonadSeakaleBase backend (FreeT (RequestF backend) m)

Methods

getBackend :: FreeT (RequestF backend) m backend

throwSeakaleError :: SeakaleError -> FreeT (RequestF backend) m a

catchSeakaleError :: FreeT (RequestF backend) m a -> (SeakaleError -> FreeT (RequestF backend) m a) -> FreeT (RequestF backend) m a

Monad m => MonadRequest backend (FreeT (RequestF backend) m)

Methods

query :: ByteString -> FreeT (RequestF backend) m ([ColumnInfo backend], [Row backend])

execute :: ByteString -> FreeT (RequestF backend) m Integer

Monad m => MonadStore backend (RequestT backend m)

Methods

insert :: (Storable backend k l b, ToRow backend l b, FromRow backend k (EntityID b)) => [b] -> RequestT backend m [EntityID b]

update :: Storable backend k l a => UpdateSetter backend a -> Condition backend a -> RequestT backend m Integer

delete :: Storable backend k l a => Condition backend a -> RequestT backend m Integer

Monad m => MonadSelect backend (RequestT backend m)

Methods

select :: (Storable backend k l a, FromRow backend (k :+ l) (Entity a)) => Relation backend k l a -> Condition backend a -> SelectClauses backend a -> RequestT backend m [Entity a]

count :: Storable backend k l a => Relation backend k l a -> Condition backend a -> RequestT backend m Integer

Functor (RequestF backend)

Methods

fmap :: (a -> b) -> RequestF backend a -> RequestF backend b

(<$) :: a -> RequestF backend b -> RequestF backend a

type RequestT backend = FreeT (RequestF backend)

type Request backend = RequestT backend Identity

class MonadSeakaleBase backend m => MonadRequest backend m where

Minimal complete definition

query, execute

Methods

query :: ByteString -> m ([ColumnInfo backend], [Row backend])

execute :: ByteString -> m Integer

Instances

(MonadRequest backend m, MonadTrans t, MonadSeakaleBase backend (t m)) => MonadRequest backend (t m)

Methods

query :: ByteString -> t m ([ColumnInfo backend], [Row backend])

execute :: ByteString -> t m Integer

Monad m => MonadRequest backend (FreeT (RequestF backend) m)

Methods

query :: ByteString -> FreeT (RequestF backend) m ([ColumnInfo backend], [Row backend])

execute :: ByteString -> FreeT (RequestF backend) m Integer

runRequestT :: (Backend backend, MonadBackend backend m, Monad m) => backend -> RequestT backend m a -> m (Either SeakaleError a)

runRequest :: (Backend backend, MonadBackend backend m, Monad m) => backend -> Request backend a -> m (Either SeakaleError a)