CurryInfo: cpm-3.3.0 / CPM.Repository.RepositoryDB.indexEntry_CDBI_Description

definition: 
indexEntry_CDBI_Description
  :: Database.CDBI.Description.EntityDescription IndexEntry
indexEntry_CDBI_Description =
  Database.CDBI.Description.ED "IndexEntry"
   [Database.CDBI.Connection.SQLTypeInt
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString
   ,Database.CDBI.Connection.SQLTypeString]
   (\(IndexEntry
       (IndexEntryID key)
       name
       version
       dependencies
       compilerCompatibility
       synopsis
       category
       sourceDirs
       exportedModules
       executableSpec) ->
     [Database.CDBI.Connection.SQLInt key
     ,Database.CDBI.Connection.SQLString name
     ,Database.CDBI.Connection.SQLString version
     ,Database.CDBI.Description.sqlString dependencies
     ,Database.CDBI.Description.sqlString compilerCompatibility
     ,Database.CDBI.Description.sqlString synopsis
     ,Database.CDBI.Description.sqlString category
     ,Database.CDBI.Description.sqlString sourceDirs
     ,Database.CDBI.Description.sqlString exportedModules
     ,Database.CDBI.Description.sqlString executableSpec])
   (\(IndexEntry
       _
       name
       version
       dependencies
       compilerCompatibility
       synopsis
       category
       sourceDirs
       exportedModules
       executableSpec) ->
     [Database.CDBI.Connection.SQLNull
     ,Database.CDBI.Connection.SQLString name
     ,Database.CDBI.Connection.SQLString version
     ,Database.CDBI.Description.sqlString dependencies
     ,Database.CDBI.Description.sqlString compilerCompatibility
     ,Database.CDBI.Description.sqlString synopsis
     ,Database.CDBI.Description.sqlString category
     ,Database.CDBI.Description.sqlString sourceDirs
     ,Database.CDBI.Description.sqlString exportedModules
     ,Database.CDBI.Description.sqlString executableSpec])
   (\[Database.CDBI.Connection.SQLInt key
     ,Database.CDBI.Connection.SQLString name
     ,Database.CDBI.Connection.SQLString version
     ,dependencies
     ,compilerCompatibility
     ,synopsis
     ,category
     ,sourceDirs
     ,exportedModules
     ,executableSpec] ->
     IndexEntry (IndexEntryID key) name version
      (Database.CDBI.Description.fromStringOrNull dependencies)
      (Database.CDBI.Description.fromStringOrNull compilerCompatibility)
      (Database.CDBI.Description.fromStringOrNull synopsis)
      (Database.CDBI.Description.fromStringOrNull category)
      (Database.CDBI.Description.fromStringOrNull sourceDirs)
      (Database.CDBI.Description.fromStringOrNull exportedModules)
      (Database.CDBI.Description.fromStringOrNull executableSpec))
demand: 
no demanded arguments
deterministic: 
deterministic operation
documentation: 
--- The ER description of the `IndexEntry` entity.
failfree: 
<FAILING>
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{() |-> {ED}}
name: 
indexEntry_CDBI_Description
precedence: 
no precedence defined
result-values: 
{ED}
signature: 
Database.CDBI.Description.EntityDescription IndexEntry
solution-complete: 
operation might suspend on free variables
terminating: 
yes
totally-defined: 
possibly non-reducible on same data term