Module CPM.Repository.RepositoryDB
- Exported Datatypes
- Exported Functions
Imported modules:

Module CPM.Repository.RepositoryDB

This file has been generated from

cpm/src/CPM/Repository/IndexDB_ERD.curry

and contains definitions for all entities and relations specified in this model.

Exported Datatypes:

IndexEntry IndexEntryID

Exported Functions:

createNewDB deleteIndexEntry getIndexEntry indexEntry_CDBI_Description indexEntryCategory indexEntryCategoryColDesc indexEntryColumnCategory indexEntryColumnCompilerCompatibility indexEntryColumnDependencies indexEntryColumnExecutableSpec indexEntryColumnExportedModules indexEntryColumnKey indexEntryColumnName indexEntryColumnSourceDirs indexEntryColumnSynopsis indexEntryColumnVersion indexEntryCompilerCompatibility indexEntryCompilerCompatibilityColDesc indexEntryDependencies indexEntryDependenciesColDesc indexEntryExecutableSpec indexEntryExecutableSpecColDesc indexEntryExportedModules indexEntryExportedModulesColDesc indexEntryID indexEntryKey indexEntryKeyColDesc indexEntryKeyToInt indexEntryName indexEntryNameColDesc indexEntrySourceDirs indexEntrySourceDirsColDesc indexEntrySynopsis indexEntrySynopsisColDesc indexEntryTable indexEntryVersion indexEntryVersionColDesc newIndexEntry queryAllIndexEntrys queryCondIndexEntry readIndexEntryKey restoreDBFrom runJustT runQ runT saveDBTo setIndexEntryCategory setIndexEntryCompilerCompatibility setIndexEntryDependencies setIndexEntryExecutableSpec setIndexEntryExportedModules setIndexEntryKey setIndexEntryName setIndexEntrySourceDirs setIndexEntrySynopsis setIndexEntryVersion showIndexEntryKey sqliteDBFile updateIndexEntry

Exported Datatypes

data IndexEntry

Constructors:

IndexEntry :: IndexEntryID -> String -> String -> String -> String -> String -> String -> String -> String -> String -> IndexEntry

Known instances:

Eq IndexEntry
Show IndexEntry
Read IndexEntry

data IndexEntryID

Constructors:

IndexEntryID :: Int -> IndexEntryID

Known instances:

Eq IndexEntryID
Show IndexEntryID
Read IndexEntryID

Exported Functions

sqliteDBFile :: String

The name of the SQLite database file.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntry_CDBI_Description :: EntityDescription IndexEntry

The ER description of the IndexEntry entity.

indexEntryTable :: String

The database table of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnKey :: Column IndexEntryID

The database column Key of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnName :: Column String

The database column Name of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnVersion :: Column String

The database column Version of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnDependencies :: Column String

The database column Dependencies of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnCompilerCompatibility :: Column String

The database column CompilerCompatibility of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnSynopsis :: Column String

The database column Synopsis of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnCategory :: Column String

The database column Category of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnSourceDirs :: Column String

The database column SourceDirs of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnExportedModules :: Column String

The database column ExportedModules of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryColumnExecutableSpec :: Column String

The database column ExecutableSpec of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryKeyColDesc :: ColumnDescription IndexEntryID

The description of the database column Key of the IndexEntry entity.

indexEntryNameColDesc :: ColumnDescription String

The description of the database column Name of the IndexEntry entity.

indexEntryVersionColDesc :: ColumnDescription String

The description of the database column Version of the IndexEntry entity.

indexEntryDependenciesColDesc :: ColumnDescription String

The description of the database column Dependencies of the IndexEntry entity.

indexEntryCompilerCompatibilityColDesc :: ColumnDescription String

The description of the database column CompilerCompatibility of the IndexEntry entity.

indexEntrySynopsisColDesc :: ColumnDescription String

The description of the database column Synopsis of the IndexEntry entity.

indexEntryCategoryColDesc :: ColumnDescription String

The description of the database column Category of the IndexEntry entity.

indexEntrySourceDirsColDesc :: ColumnDescription String

The description of the database column SourceDirs of the IndexEntry entity.

indexEntryExportedModulesColDesc :: ColumnDescription String

The description of the database column ExportedModules of the IndexEntry entity.

indexEntryExecutableSpecColDesc :: ColumnDescription String

The description of the database column ExecutableSpec of the IndexEntry entity.

indexEntryKey :: IndexEntry -> IndexEntryID

Gets the attribute Key of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryName :: IndexEntry -> String

Gets the attribute Name of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryVersion :: IndexEntry -> String

Gets the attribute Version of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryDependencies :: IndexEntry -> String

Gets the attribute Dependencies of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryCompilerCompatibility :: IndexEntry -> String

Gets the attribute CompilerCompatibility of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntrySynopsis :: IndexEntry -> String

Gets the attribute Synopsis of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryCategory :: IndexEntry -> String

Gets the attribute Category of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntrySourceDirs :: IndexEntry -> String

Gets the attribute SourceDirs of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryExportedModules :: IndexEntry -> String

Gets the attribute ExportedModules of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryExecutableSpec :: IndexEntry -> String

Gets the attribute ExecutableSpec of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryKey :: IndexEntry -> IndexEntryID -> IndexEntry

Sets the attribute Key of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryName :: IndexEntry -> String -> IndexEntry

Sets the attribute Name of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryVersion :: IndexEntry -> String -> IndexEntry

Sets the attribute Version of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryDependencies :: IndexEntry -> String -> IndexEntry

Sets the attribute Dependencies of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryCompilerCompatibility :: IndexEntry -> String -> IndexEntry

Sets the attribute CompilerCompatibility of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntrySynopsis :: IndexEntry -> String -> IndexEntry

Sets the attribute Synopsis of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryCategory :: IndexEntry -> String -> IndexEntry

Sets the attribute Category of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntrySourceDirs :: IndexEntry -> String -> IndexEntry

Sets the attribute SourceDirs of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryExportedModules :: IndexEntry -> String -> IndexEntry

Sets the attribute ExportedModules of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

setIndexEntryExecutableSpec :: IndexEntry -> String -> IndexEntry

Sets the attribute ExecutableSpec of the IndexEntry entity.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryID :: IndexEntryID -> Value IndexEntryID

id-to-value function for entity IndexEntry.

Further infos:

solution complete, i.e., able to compute all solutions

indexEntryKeyToInt :: IndexEntryID -> Int

id-to-int function for entity IndexEntry.

Further infos:

solution complete, i.e., able to compute all solutions

showIndexEntryKey :: IndexEntry -> String

Shows the key of a IndexEntry entity as a string. This is useful if a textual representation of the key is necessary (e.g., as URL parameters in web pages), but it should no be used to store keys in other attributes!

readIndexEntryKey :: String -> Maybe IndexEntryID

Transforms a string into a key of a IndexEntry entity. Nothing is returned if the string does not represent a meaningful key.

queryAllIndexEntrys :: DBAction [IndexEntry]

Gets all IndexEntry entities.

queryCondIndexEntry :: (IndexEntry -> Bool) -> DBAction [IndexEntry]

Gets all IndexEntry entities satisfying a given predicate.

getIndexEntry :: IndexEntryID -> DBAction IndexEntry

Gets a IndexEntry entry by a given key.

newIndexEntry :: String -> String -> String -> String -> String -> String -> String -> String -> String -> DBAction IndexEntry

Inserts a new IndexEntry entity.

deleteIndexEntry :: IndexEntry -> DBAction ()

Deletes an existing IndexEntry entry by its key.

updateIndexEntry :: IndexEntry -> DBAction ()

Updates an existing IndexEntry entry by its key.

createNewDB :: String -> IO ()

Generates a new database (name provided as the parameter) and creates its schema.

saveDBTo :: String -> IO ()

Saves complete database as term files into an existing directory provided as a parameter.

restoreDBFrom :: String -> IO ()

Restores complete database from term files which are stored in a directory provided as a parameter.

runQ :: DBAction a -> IO a

Runs a DB action (typically a query).

runT :: DBAction a -> IO (Either DBError a)

Runs a DB action as a transaction.

runJustT :: DBAction a -> IO a

Runs a DB action as a transaction. Emits an error in case of failure.