Database.Data

Access to the request database. This module provides transparent access to the information stored in the database, and ensures that it is read in a sensible way.

Documentation

type SqlRecord = Map String SqlValue

SQL records are read into a map.

data SqlTable

An SqlTable collects information that will be useful in constructing SQL statements.

Constructors

SqlTable

Fields

• tableName :: String
• columns :: [(String, String)]

requestsTable :: SqlTable

studentsTable :: SqlTable

(!) :: Convertible SqlValue a => SqlRecord -> String -> a

Obtain the value of a record at a certain column. Differs from ! in that the value will be converted from an SqlValue.

findWithDefault :: Convertible SqlValue a => a -> String -> SqlRecord -> a

Obtain the value of a record at a certain column, with a given default. Differs from findWithDefault in that the value will be converted from an SqlValue.

insert :: Convertible a SqlValue => String -> a -> SqlRecord -> SqlRecord

Insert a value of a record into a certain column.

adjust :: (Convertible SqlValue a, Convertible b SqlValue) => String -> (a -> b) -> SqlRecord -> SqlRecord

Update the value of a record at a certain column.

quickQueryMap :: Connection -> String -> [SqlValue] -> IO [SqlRecord]

Like quickQuery, but obtains SqlRecords instead of lists.

tableExists :: Connection -> String -> IO Bool

Test if the given table exists.

createTable :: Connection -> SqlTable -> IO ()

Create the given table if it does not already exist.

dropTable :: Connection -> SqlTable -> IO ()

Drop the given table unless it does not exist.

insertRecord :: Connection -> SqlTable -> SqlRecord -> IO ()

Insert the given record into a table. Assumes that the record contains at least all the columns of the table.

insertRecords :: Connection -> SqlTable -> [SqlRecord] -> IO ()

Insert the given records into a table. Assumes that the record contains at least all the columns of the table.

commit :: IConnection conn => conn -> IO ()

Commit any pending data to the database.

Required to make any changes take effect.

type PilotID = String

type StudentID = String

type TaskID = String

type NodeID = String

type InputID = String

type StudentModel = Evidence

collectSource :: Monad m => XML -> m String

Extract the source from an XML request element.

collectInputs :: Monad m => XML -> m [(InputID, XML)]

Extract the input elements from an XML request element.

collectIDs :: Monad m => XML -> m (StudentID, TaskID)

Extract the student and task ID from an XML request element.

collectSolution :: Monad m => XML -> m Solution

defaultEntry :: [SqlTable] -> SqlRecord

Make a default entry, where all columns are set to null.

recordN :: Connection -> Int -> IO (Maybe SqlRecord)

Obtain the record at a certain row.

allEvidence :: Connection -> IO (Map (StudentID, TaskID) Evidence)

Get the evidence for every student/task pair.

allEvidenceStudents :: Connection -> IO (Map StudentID Evidence)

Get the evidence for every student.

allPartialModels :: Connection -> IO (Map StudentID [(TaskID, Evidence)])

Get the most recent partial models for every task, for every student.

allStudentModels :: Connection -> IO [(StudentID, StudentModel)]

Get the most recent student model for every student.

allHumanAssessments :: Connection -> IO (Map (StudentID, TaskID) [(NodeID, Maybe String, Maybe String)])

Get all human assessments, if any exist in the database

tasksDone :: Connection -> StudentID -> IO [TaskID]

Get all Tasks a student has finished and all Tasks they have yet to finish.

latestRecord :: Connection -> IO (Maybe SqlRecord)

Get the latest record added to the database.

latestEvidence :: Connection -> StudentID -> IO Evidence

Get all evidence collected for a particular student.

latestPartialModels :: Connection -> StudentID -> IO [(TaskID, Evidence)]

Get all partial (calculated!) evidence models for a particular student.

latestStudentModel :: Connection -> StudentID -> IO StudentModel

Get most recent student model for a particular student.

latestStudentReport :: Connection -> String -> StudentID -> IO StudentReport

Get student report for a particular student.

latestInsertRowID :: Connection -> String -> IO (Maybe Int)

Obtain latest row insertion ID of a particular table.

records2table :: [SqlRecord] -> Map (StudentID, TaskID) Evidence

Turn records into a table of evidence.

allRecords :: Connection -> IO [SqlRecord]

Obtain all records from the requests table, optionally combined with the students table, if the latter is present.

finalRecords :: Connection -> IO [SqlRecord]

Obtain the final entry for every student.

taskRecords :: Connection -> String -> IO [SqlRecord]

Obtain all entries associated with a particular task.

studentRecords :: Connection -> String -> IO [SqlRecord]

Obtain all entries associated with a particular student.

countStudents :: Connection -> IO Int

Obtain the total number of students.

countEntries :: Connection -> IO [((String, String), Int)]

Obtain the number of entries for each student/task pair. Should be 0 or 1...

countStudentEntries :: Connection -> IO [(String, Int)]

Obtain the number of requests for each student.

countTaskEntries :: Connection -> IO [(String, Int)]

Obtain the number of requests for each task.

Orphan instances

Convertible SqlValue XML

Methods

safeConvert :: SqlValue -> ConvertResult XML

Convertible SqlValue Evidence

Methods

safeConvert :: SqlValue -> ConvertResult Evidence

Convertible XML SqlValue

Methods

safeConvert :: XML -> ConvertResult SqlValue

Convertible Evidence SqlValue

Methods

safeConvert :: Evidence -> ConvertResult SqlValue