Database.Sqlite.Easy.Internal

The implementation of sqlite-easy.

This module is unstable and may change at any time.

Connection

newtype ConnectionString

A SQLite3 connection string

Constructors

ConnectionString

Fields

• unConnectionString :: Text

Instances

IsString ConnectionString

Defined in Database.Sqlite.Easy.Internal

Methods

fromString :: String -> ConnectionString

Show ConnectionString

Defined in Database.Sqlite.Easy.Internal

Methods

showsPrec :: Int -> ConnectionString -> ShowS

show :: ConnectionString -> String

showList :: [ConnectionString] -> ShowS

createSqlitePool :: ConnectionString -> IO (Pool Database)

Create a pool of a sqlite3 db with a specific connection string.

withDb :: ConnectionString -> SQLite a -> IO a

Open a database, run some stuff, close the database.

withDatabase :: Database -> SQLite a -> IO a

Use an active database connection to run some stuff on a database.

withPool :: Pool Database -> SQLite a -> IO a

Use a resource pool to run some stuff on a database.

Execution

newtype SQL

A SQL statement

Constructors

SQL

Fields

• unSQL :: Text

Instances

IsString SQL

Defined in Database.Sqlite.Easy.Internal

Methods

fromString :: String -> SQL

Semigroup SQL

Defined in Database.Sqlite.Easy.Internal

Methods

(<>) :: SQL -> SQL -> SQL

sconcat :: NonEmpty SQL -> SQL

stimes :: Integral b => b -> SQL -> SQL

Show SQL

Defined in Database.Sqlite.Easy.Internal

Methods

showsPrec :: Int -> SQL -> ShowS

show :: SQL -> String

showList :: [SQL] -> ShowS

run :: SQL -> SQLite [[SQLData]]

Run a SQL statement on a database and fetch the results.

runWith :: SQL -> [SQLData] -> SQLite [[SQLData]]

Run a SQL statement with certain parameters on a database and fetch the results.

fetchAll :: Statement -> IO [[SQLData]]

Run a statement and fetch all of the data.

Transaction

newtype SQLite a

The type of actions to run on a SQLite database. In essence, it is almost the same as Database -> IO a.

SQLite actions can be created with the run and runWith functions, and can be composed using the type class instances.

SQLite actions can be run with the withDb, withDatabase, and withPool functions.

Constructors

SQLite

Fields

• unSQLite :: SQLiteStuff -> IO a

Instances

MonadFail SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

fail :: String -> SQLite a

MonadIO SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

liftIO :: IO a -> SQLite a

Applicative SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

pure :: a -> SQLite a

(<*>) :: SQLite (a -> b) -> SQLite a -> SQLite b

liftA2 :: (a -> b -> c) -> SQLite a -> SQLite b -> SQLite c

(*>) :: SQLite a -> SQLite b -> SQLite b

(<*) :: SQLite a -> SQLite b -> SQLite a

Functor SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

fmap :: (a -> b) -> SQLite a -> SQLite b

(<$) :: a -> SQLite b -> SQLite a

Monad SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

(>>=) :: SQLite a -> (a -> SQLite b) -> SQLite b

(>>) :: SQLite a -> SQLite b -> SQLite b

return :: a -> SQLite a

MonadUnliftIO SQLite

Defined in Database.Sqlite.Easy.Internal

Methods

withRunInIO :: ((forall a. SQLite a -> IO a) -> IO b) -> SQLite b

Monoid a => Monoid (SQLite a)

Defined in Database.Sqlite.Easy.Internal

Methods

mempty :: SQLite a

mappend :: SQLite a -> SQLite a -> SQLite a

mconcat :: [SQLite a] -> SQLite a

Semigroup a => Semigroup (SQLite a)

Defined in Database.Sqlite.Easy.Internal

Methods

(<>) :: SQLite a -> SQLite a -> SQLite a

sconcat :: NonEmpty (SQLite a) -> SQLite a

stimes :: Integral b => b -> SQLite a -> SQLite a

data SQLiteStuff

Constructors

SQLiteStuff

Fields

• dbConn :: Database
• transactionNumber :: Maybe Int

getDB :: SQLite Database

runSQLite :: Database -> SQLite a -> IO a

transaction :: forall a. Typeable a => SQLite a -> SQLite a

Run operations as a transaction. If the action throws an error, the transaction is rolled back. For more information, visit: https://www.sqlite.org/lang_transaction.html

asTransaction' :: Database -> IO a -> IO a

rollback :: Typeable a => a -> SQLite a

Rollback the current (inner-most) transaction by supplying the return value. To be used inside transactions.

rollbackAll :: Typeable a => a -> SQLite a

Rollback all transaction structure by supplying the return value. To be used inside transactions.

data RollbackCurrent a

Constructors

RollbackCurrent a

Instances

Typeable a => Exception (RollbackCurrent a)

Defined in Database.Sqlite.Easy.Internal

Methods

toException :: RollbackCurrent a -> SomeException

fromException :: SomeException -> Maybe (RollbackCurrent a)

displayException :: RollbackCurrent a -> String

Show (RollbackCurrent a)

Defined in Database.Sqlite.Easy.Internal

Methods

showsPrec :: Int -> RollbackCurrent a -> ShowS

show :: RollbackCurrent a -> String

showList :: [RollbackCurrent a] -> ShowS

data RollbackAll a

Constructors

RollbackAll a

Instances

Typeable a => Exception (RollbackAll a)

Defined in Database.Sqlite.Easy.Internal

Methods

toException :: RollbackAll a -> SomeException

fromException :: SomeException -> Maybe (RollbackAll a)

displayException :: RollbackAll a -> String

Show (RollbackAll a)

Defined in Database.Sqlite.Easy.Internal

Methods

showsPrec :: Int -> RollbackAll a -> ShowS

show :: RollbackAll a -> String

showList :: [RollbackAll a] -> ShowS