|
definition:
|
connectSQLite :: String -> IO Connection
connectSQLite db = do
exsqlite3 <- system "which sqlite3 > /dev/null"
when (exsqlite3>0) $ error
"Database interface `sqlite3' not found. Please install package `sqlite3'!"
h <- connectToCommand $ "sqlite3 " ++ db ++ " 2>&1"
hPutAndFlush h $ ".mode " ++ if dbWithCSVMode then "csv" else "line"
hPutAndFlush h $ ".log " ++ if dbWithCSVMode then "off" else "stdout"
-- we increase the timeout to avoid 'OperationalError: database is locked'
-- see https://stackoverflow.com/questions/3172929/operationalerror-database-is-locked/3172950
hPutAndFlush h $ ".timeout 10000"
return $ SQLiteConnection h
|
|
demand:
|
no demanded arguments
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Connect to a SQLite Database
--- @param str - name of the database (e.g. "database.db")
--- @return A connection to a SQLite Database
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_) |-> _}
|
|
name:
|
connectSQLite
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
String -> Prelude.IO Connection
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|