Database.Sql.Simple

data type

query

data Query

Instances

Eq Query

Show Query

IsString Query

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

add specified query string to Query.

example:

 q = specify sqlite sqlite query common query

parameter

newtype Only a

Constructors

Only

Fields

fromOnly :: a

data h :. t

Constructors

h :. t

other

data Sql l a

Instances

Monad (Sql l)

Functor (Sql l)

Applicative (Sql l)

MonadThrow (Sql l)

MonadCatch (Sql l)

MonadMask (Sql l)

MonadIO (Sql l)

class Elem a as

Instances

Elem * a (: * a as)

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

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]

begin :: b -> Sql c ()

commit :: b -> Sql c ()

rollback :: b -> Sql c ()

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

connection

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

execute query

transaction

specify backend

 
  sql (sqlite +:+ postgresql) $ query

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

specify sql backends.

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

join sql backends.

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