Villefort.Database

Documentation

getSubjects :: (MonadReader VConfig m, MonadIO m) => m [String]

gets list of subjects from local database

path' :: (MonadReader VConfig m, MonadIO m) => m FilePath

get paths tests for --custom flag to allow for executing custom builds

getDb :: (MonadReader VConfig m, MonadIO m) => m Connection

connects to database checks if custom database path is set

convRow :: [[SqlValue]] -> [[String]]

converts from sqlValues to Strings

makeQuery :: (MonadReader VConfig m, MonadIO m) => String -> m [[String]]

takes sqlQuery and returns results as a string

execQuery :: (Convertible a SqlValue, MonadIO m, MonadReader VConfig m) => String -> [a] -> m ()

executes a query that changes values in database

getNextId :: (MonadReader VConfig m, MonadIO m) => m Integer

gets the task id for the next avaible todo

addTask :: (MonadReader VConfig m, MonadIO m) => String -> String -> String -> String -> m ()

adds new task sanitizes input to avoid SQL escaping

addDaily :: (MonadReader VConfig m, MonadIO m) => [String] -> m ()

logs new daily entry due on same day

getDone :: (MonadReader VConfig m, MonadIO m) => m [[String]]

lists the todo items finished today

clean :: String -> String

rudimentary sanitization