------------------------------------------------------------------------------
--- ERD specification for the repository index database
---
--- @author Michael Hanus
--- @version July 2021
------------------------------------------------------------------------------

module CPM.Repository.IndexDB_ERD where

import Database.ERD

cpmIndexERD :: ERD
cpmIndexERD =
 ERD "RepositoryDB"
   [Entity "IndexEntry"
     [Attribute "Name"                  (StringDom Nothing) NoKey False,
      Attribute "Version"               (StringDom Nothing) NoKey False,
      Attribute "Dependencies"          (StringDom Nothing) NoKey True,
      Attribute "CompilerCompatibility" (StringDom Nothing) NoKey True,
      Attribute "Synopsis"              (StringDom Nothing) NoKey True,
      Attribute "Category"              (StringDom Nothing) NoKey True,
      Attribute "SourceDirs"            (StringDom Nothing) NoKey True,
      Attribute "ExportedModules"       (StringDom Nothing) NoKey True,
      Attribute "ExecutableSpec"        (StringDom Nothing) NoKey True
     ]]
   []

{-

Generate CDBI API with:

    > erd2curry --cdbi --db REPOSITORY_CACHE.db IndexDB_ERD.curry

Manual changes after generating the API module:

* Rename CDBI API module: RepositoryDB -> CPM.RepositoryCache.RepositoryDB

-}