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

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)

class Elem a as

Instances

Elem * a (: * a as)

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

class Typeable b => Backend b

Associated Types

data ConnectInfo b

type ToRow b :: * -> Constraint

type FromRow b :: * -> Constraint

class Backend b => Transaction b

connection

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

connect :: Backend b => ConnectInfo b -> IO b

close :: Backend b => b -> IO ()

execute query

execute :: (ToRow b q, Backend b) => b -> Query -> q -> Sql bs ()

execute_ :: Backend b => b -> Query -> Sql bs ()

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

query_ :: (FromRow b r, Backend b) => b -> Query -> Sql bs [r]

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

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

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

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

transaction

begin :: Transaction b => b -> Sql bs ()

commit :: Transaction b => b -> Sql bs ()

rollback :: Transaction b => b -> Sql bs ()

withTransaction :: Transaction b => b -> Sql bs a -> Sql bs a

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]