CurryInfo: spicey-4.2.0 / Spicey.ViewGeneration.generateViewsForEntity

definition: Info
 
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: Info
 argument 3
deterministic: Info
 deterministic operation
documentation: Info
 
"main"-function
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,{Entity},_) |-> {CurryProg}}
name: Info
 generateViewsForEntity
precedence: Info
 no precedence defined
result-values: Info
 {CurryProg}
signature: Info
 String -> [Database.ERD.Entity] -> Database.ERD.Entity
-> [Database.ERD.Relationship] -> AbstractCurry.Types.CurryProg
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term