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.
sqliteDBFile
:: String
The name of the SQLite database file. |
indexEntry_CDBI_Description
:: EntityDescription IndexEntry
The ER description of the IndexEntry
entity.
|
indexEntryTable
:: String
The database table of the IndexEntry
entity.
|
indexEntryColumnKey
:: Column IndexEntryID
The database column Key
of the IndexEntry
entity.
|
indexEntryColumnName
:: Column String
The database column Name
of the IndexEntry
entity.
|
indexEntryColumnVersion
:: Column String
The database column Version
of the IndexEntry
entity.
|
indexEntryColumnDependencies
:: Column String
The database column Dependencies
of the IndexEntry
entity.
|
indexEntryColumnCompilerCompatibility
:: Column String
The database column CompilerCompatibility
of the IndexEntry
entity.
|
indexEntryColumnSynopsis
:: Column String
The database column Synopsis
of the IndexEntry
entity.
|
indexEntryColumnCategory
:: Column String
The database column Category
of the IndexEntry
entity.
|
indexEntryColumnSourceDirs
:: Column String
The database column SourceDirs
of the IndexEntry
entity.
|
indexEntryColumnExportedModules
:: Column String
The database column ExportedModules
of the IndexEntry
entity.
|
indexEntryColumnExecutableSpec
:: Column String
The database column ExecutableSpec
of the IndexEntry
entity.
|
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.
|
indexEntryName
:: IndexEntry -> String
Gets the attribute Name
of the IndexEntry
entity.
|
indexEntryVersion
:: IndexEntry -> String
Gets the attribute Version
of the IndexEntry
entity.
|
indexEntryDependencies
:: IndexEntry -> String
Gets the attribute Dependencies
of the IndexEntry
entity.
|
indexEntryCompilerCompatibility
:: IndexEntry -> String
Gets the attribute CompilerCompatibility
of the IndexEntry
entity.
|
indexEntrySynopsis
:: IndexEntry -> String
Gets the attribute Synopsis
of the IndexEntry
entity.
|
indexEntryCategory
:: IndexEntry -> String
Gets the attribute Category
of the IndexEntry
entity.
|
indexEntrySourceDirs
:: IndexEntry -> String
Gets the attribute SourceDirs
of the IndexEntry
entity.
|
indexEntryExportedModules
:: IndexEntry -> String
Gets the attribute ExportedModules
of the IndexEntry
entity.
|
indexEntryExecutableSpec
:: IndexEntry -> String
Gets the attribute ExecutableSpec
of the IndexEntry
entity.
|
setIndexEntryKey
:: IndexEntry -> IndexEntryID -> IndexEntry
Sets the attribute Key
of the IndexEntry
entity.
|
setIndexEntryName
:: IndexEntry -> String -> IndexEntry
Sets the attribute Name
of the IndexEntry
entity.
|
setIndexEntryVersion
:: IndexEntry -> String -> IndexEntry
Sets the attribute Version
of the IndexEntry
entity.
|
setIndexEntryDependencies
:: IndexEntry -> String -> IndexEntry
Sets the attribute Dependencies
of the IndexEntry
entity.
|
setIndexEntryCompilerCompatibility
:: IndexEntry -> String -> IndexEntry
Sets the attribute CompilerCompatibility
of the IndexEntry
entity.
|
setIndexEntrySynopsis
:: IndexEntry -> String -> IndexEntry
Sets the attribute Synopsis
of the IndexEntry
entity.
|
setIndexEntryCategory
:: IndexEntry -> String -> IndexEntry
Sets the attribute Category
of the IndexEntry
entity.
|
setIndexEntrySourceDirs
:: IndexEntry -> String -> IndexEntry
Sets the attribute SourceDirs
of the IndexEntry
entity.
|
setIndexEntryExportedModules
:: IndexEntry -> String -> IndexEntry
Sets the attribute ExportedModules
of the IndexEntry
entity.
|
setIndexEntryExecutableSpec
:: IndexEntry -> String -> IndexEntry
Sets the attribute ExecutableSpec
of the IndexEntry
entity.
|
indexEntryID
:: IndexEntryID -> Value IndexEntryID
id-to-value function for entity IndexEntry .
|
indexEntryKeyToInt
:: IndexEntryID -> Int
id-to-int function for entity IndexEntry .
|
showIndexEntryKey
:: IndexEntry -> String
Shows the key of a IndexEntry
entity as a string.
|
readIndexEntryKey
:: String -> Maybe IndexEntryID
Transforms a string into a key of a IndexEntry
entity.
|
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. |
Constructors:
IndexEntry
:: IndexEntryID -> String -> String -> String -> String -> String -> String -> String -> String -> String -> IndexEntry
Constructors:
IndexEntryID
:: Int -> IndexEntryID
The name of the SQLite database file.
|
The ER description of the
|
The database table of the
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
The description of the database column
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Gets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
Sets the attribute
|
id-to-value function for entity
|
id-to-int function for entity
|
Shows the key of a |
Transforms a string into a key of a |
Gets all |
Gets all |
Gets a |
Inserts a new |
Deletes an existing |
Updates an existing |
Generates a new database (name provided as the parameter) and creates its schema. |
Saves complete database as term files into an existing directory provided as a parameter. |
Restores complete database from term files which are stored in a directory provided as a parameter. |