Module Spicey.ViewGeneration

generateViewsForEntity :: String -> [Entity] -> Entity -> [Relationship] -> CurryProg   

wuiSpec :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

tuple2Entity :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

entity2Tuple :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

wuiType :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

createView :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

editView :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

blankView :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

leqEntity :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

showView :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

listView :: String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl   

Create operation for the "list entities" view.

viewFunction :: String -> String -> String -> Int -> CTypeExpr -> [CRule] -> CFuncDecl   

entityInterface :: [Attribute] -> [String] -> [String] -> CTypeExpr   

userSessionInfoType :: CTypeExpr   

Further infos:

• solution complete, i.e., able to compute all solutions