| definition: |
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
]]
[]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {ERD}}
|
| name: |
cpmIndexERD |
| precedence: |
no precedence defined |
| result-values: |
{ERD}
|
| signature: |
Database.ERD.ERD |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |