Module Spicey.ViewGeneration

Summary of exported operations:

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   

Exported datatypes:


ViewGenerator

Type synonym: ViewGenerator = String -> Entity -> [Relationship] -> [Entity] -> CFuncDecl


Exported operations:

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