Database.Sql.Simple.Internal

Documentation

data Query

Constructors

Query Text (Map TypeRep Text)

Instances

Eq Query

Show Query

IsString Query

newtype Sql l a

Constructors

Sql

Fields

unSql :: IO a

Instances

MonadBase IO (Sql l)

MonadBaseControl IO (Sql l)

Monad (Sql l)

Functor (Sql l)

Applicative (Sql l)

MonadThrow (Sql l)

MonadCatch (Sql l)

MonadMask (Sql l)

MonadIO (Sql l)

getQuery :: TypeRep -> Query -> Text

newtype Only a

Constructors

Only

Fields

fromOnly :: a

data h :. t

Constructors

h :. t

class Elem a as

Instances

Elem * a (: * a as)

Elem k a as => Elem k a (: * a' as)

withConnection :: (Backend b, Elem b bs) => ConnectInfo b -> (b -> Sql bs a) -> IO a

sql :: proxy bs -> Sql bs a -> Sql bs a

specify sql backends.

class Typeable b => Backend b where

Associated Types

data ConnectInfo b

type ToRow b :: * -> Constraint

type FromRow b :: * -> Constraint

Methods

connect :: ConnectInfo b -> IO b

close :: b -> IO ()

execute :: ToRow b q => b -> Query -> q -> Sql c ()

execute_ :: b -> Query -> Sql c ()

query :: (FromRow b r, ToRow b q) => b -> Query -> q -> Sql c [r]

query_ :: FromRow b r => b -> Query -> Sql c [r]

fold :: (FromRow b r, ToRow b q) => b -> Query -> q -> a -> (a -> r -> IO a) -> IO a

fold_ :: FromRow b r => b -> Query -> a -> (a -> r -> IO a) -> IO a

forEach :: (FromRow b r, ToRow b q) => b -> Query -> q -> (r -> IO ()) -> IO ()

forEach_ :: FromRow b r => b -> Query -> (r -> IO ()) -> IO ()

class Backend b => Transaction b where

Methods

begin :: b -> Sql c ()

commit :: b -> Sql c ()

rollback :: b -> Sql c ()

withTransaction :: b -> Sql c a -> Sql c a

type family a (++) b :: [k]

(+:+) :: Proxy a -> Proxy b -> Proxy (a ++ b)

join sql backends.

specify :: Backend b => proxy ((b :: *) : `[]`) -> Text -> Query -> Query

add specified query string to Query.

example:

 q = specify sqlite "sqlite query" "common query"