Database.Sql.Simple.Internal

Synopsis

• data Query = Query Text (HashMap TypeRep Text)
• newtype Sql l a = Sql {
  • unSql :: IO a
  }
• getQuery :: TypeRep -> Query -> Text
• newtype Only a = Only {
  • fromOnly :: a
  }
• data h :. t = h :. t
• class Elem 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
• class Typeable b => Backend b where
  • data ConnectInfo b
  • type ToRow b :: * -> Constraint
  • type FromRow b :: * -> Constraint
  • 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 ()
  • 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)
• specify :: Backend b => proxy ((b :: *) : `[]`) -> Text -> Query -> Query

Documentation

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