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

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

ViewGenerator

Type synonym: ViewGenerator = 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