CurryInfo: spicey-4.2.0 / Spicey.ViewGeneration.generateViewsForEntity

definition:
generateViewsForEntity :: String -> [Entity] -> Entity -> [Relationship]
                       -> CurryProg
generateViewsForEntity erdname allEntities
                       (Entity ename attrlist) relationships =
 let noKeyAttrs  = filter (\a -> notKey a && notPKey a) attrlist
     noPKeyAttrs = filter notPKey attrlist
  in simpleCurryProg
  (viewModuleName ename)
  [ listModule, timeModule
  , "HTML.Base", bootstrapModule, "HTML.WUI"
  , model erdname
  , "Config.EntityRoutes"
  , sessionInfoModule, spiceyModule
  , entitiesToHtmlModule erdname] -- imports
  [] -- typedecls
  -- functions
  [
   wuiSpec      erdname (Entity ename noKeyAttrs) relationships allEntities,
   tuple2Entity erdname (Entity ename noPKeyAttrs) relationships allEntities,
   entity2Tuple erdname (Entity ename noPKeyAttrs) relationships allEntities,
   wuiType      erdname (Entity ename noKeyAttrs) relationships allEntities,
   showView     erdname (Entity ename noKeyAttrs) relationships allEntities,
   leqEntity    erdname (Entity ename noKeyAttrs) relationships allEntities,
   listView     erdname (Entity ename noKeyAttrs) relationships allEntities
  ]  
  [] -- opdecls
demand:
argument 3
deterministic:
deterministic operation
documentation:
-- "main"-function
failfree:
<FAILING>
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_,{Entity},_) |-> {CurryProg}}
name:
generateViewsForEntity
precedence:
no precedence defined
result-values:
{CurryProg}
signature:
String -> [Database.ERD.Entity] -> Database.ERD.Entity
-> [Database.ERD.Relationship] -> AbstractCurry.Types.CurryProg
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
possibly non-reducible on same data term