Module CPM.Repository.CacheDB

Operations to initialize and manipulate the repository cache database.

Author: Michael Hanus

Version: December 2020

Summary of exported operations:

repositoryCacheDB :: Config -> String  Deterministic 
The database containing the repository cache.
tryInstallRepositoryDB :: Config -> Bool -> Bool -> ErrorLogger ()  Non-deterministic 
Installs the repository database with the current repository index if the command sqlite3 is in the path.
addPackagesToRepositoryDB :: Config -> Bool -> [Either Package [String]] -> ErrorLogger ()  Non-deterministic 
Add a list of package descriptions to the database.

Exported operations:

repositoryCacheDB :: Config -> String  Deterministic 

The database containing the repository cache.

tryInstallRepositoryDB :: Config -> Bool -> Bool -> ErrorLogger ()  Non-deterministic 

Installs the repository database with the current repository index if the command sqlite3 is in the path.

addPackagesToRepositoryDB :: Config -> Bool -> [Either Package [String]] -> ErrorLogger ()  Non-deterministic 

Add a list of package descriptions to the database. Here, a package description is either a (reduced) package specification or a list of string (a row from a CSV file) containing the required infos.