CurryInfo: spicey-4.2.0 / Spicey.EntitiesToHtmlGeneration.generateToHtmlForEntity
definition: 
|
generateToHtmlForEntity :: String -> [Entity] -> Entity -> [Relationship]
-> [CFuncDecl]
generateToHtmlForEntity erdname allEntities (Entity ename attrlist) relationships =
[toListView erdname (Entity ename (filter noKeyAttr attrlist)) relationships allEntities,
toShortView erdname (Entity ename (filter noKeyAttr attrlist)) relationships allEntities,
toDetailsView erdname (Entity ename (filter noKeyAttr attrlist)) relationships allEntities,
labelList erdname (Entity ename (filter noKeyAttr attrlist)) relationships allEntities
]
where
noKeyAttr a = (notKey a) && (notPKey a)
|
|
demand:
|
argument 3 |
|
deterministic:
|
deterministic operation |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_,{Entity},_) |-> {:}}
|
|
name:
|
generateToHtmlForEntity |
|
precedence:
|
no precedence defined |
|
result-values:
|
{:}
|
|
signature:
|
String -> [Database.ERD.Entity] -> Database.ERD.Entity -> [Database.ERD.Relationship] -> [AbstractCurry.Types.CFuncDecl] |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |