Module Spicey.Scaffolding

This is the main file for scaffolding.

Summary of exported operations:

showCProg :: CurryProg -> String  Non-deterministic 
Pretty print an AbstractCurry program with name qualification on demand.
getRelationships :: ERD -> [Relationship]  Deterministic 
getEntities :: ERD -> [Entity]  Deterministic 
createViews :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createEntityRoutes :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createControllers :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createAuthorizations :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createHtmlHelpers :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createModels :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
createRoutes :: String -> ERD -> String -> String -> IO ()  Non-deterministic 
generateAuthorizations :: String -> [Entity] -> CurryProg  Deterministic 

Exported operations:

showCProg :: CurryProg -> String  Non-deterministic 

Pretty print an AbstractCurry program with name qualification on demand. TODO: Currently, our naming scheme should ensure that there are no name conflicts. Therefore, we omit the list of Curry modules for the on-demand qualification. However, to be on the safe side, one should explicitly set this list to the current module and the list of its imports.

getRelationships :: ERD -> [Relationship]  Deterministic 

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

getEntities :: ERD -> [Entity]  Deterministic 

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

createViews :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createEntityRoutes :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createControllers :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createAuthorizations :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createHtmlHelpers :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createModels :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

createRoutes :: String -> ERD -> String -> String -> IO ()  Non-deterministic 

generateAuthorizations :: String -> [Entity] -> CurryProg  Deterministic