CurryInfo: spicey-4.2.0 / Spicey.EntitiesToHtmlGeneration.labelList

definition: Info 
 
labelList :: ToHtmlGenerator
labelList erdname (Entity entityName attrlist) relationships allEntities =
  cmtfunc
   ("The labels of a " ++ entityName ++ " entity, as used in HTML tables.")
   (thisModuleName erdname, lowerFirst entityName ++ "LabelList") 2 Public
   (withHTMLContext (listType (listType htmlTVar)))
   [simpleRule []
     (list2ac (
           (map (\ (Attribute name domain _ _) ->
                  list2ac
                    [applyF (html "textstyle")
                            [string2ac ("spicey_label spicey_label_for_type_"++
                                        domainToString domain),
                             string2ac name]])
                attrlist) ++
           (map (\ (ename,erel) -> list2ac
                     [applyF (html "textstyle")
                       [string2ac "spicey_label spicey_label_for_type_relation",
                        string2ac $ erel ++ ename]])
                (map (\n -> (n,"")) manyToOneEntities ++ manyToManyEntities))
         )
      )]
 where
  manyToManyEntities = manyToMany allEntities (Entity entityName attrlist)
  manyToOneEntities = manyToOne (Entity entityName attrlist) relationships
demand: Info 
 argument 2
deterministic: Info 
 deterministic operation
failfree: Info 
 <FAILING>
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_,{Entity},_,_) |-> _}
name: Info 
 labelList
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 String -> Database.ERD.Entity -> [Database.ERD.Relationship]
-> [Database.ERD.Entity] -> AbstractCurry.Types.CFuncDecl
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 possibly non-reducible on same data term