Module Spicey.GenerationHelper

lowerFirst :: String -> String   

upperFirst :: String -> String   

model :: String -> String   

Qualify a string (module name) with the prefix Model.

Further infos:

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

dbconn :: String -> (String,String)   

Converts a string into a qualified name of the module "Database.CDBI.Connection".

Further infos:

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

html :: String -> (String,String)   

Converts a string into a qualified name of the module "HTML.Base".

Further infos:

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

listModule :: String   

Further infos:

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

timeModule :: String   

Further infos:

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

spiceyModule :: String   

Further infos:

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

authenticationModule :: String   

Further infos:

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

authorizationModule :: String   

Further infos:

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

htmlModule :: String -> (String,String)   

Converts a name into a qualified name of the module "HTML.Base".

Further infos:

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

sessionModule :: String -> (String,String)   

Converts a name into a qualified name of the module "HTML.Session".

Further infos:

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

storageModule :: String -> (String,String)   

Converts a name into a qualified name of the module "Config.Storage".

Further infos:

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

wuiModule :: String -> (String,String)   

Converts a name into a qualified name of the module "HTML.WUI".

Further infos:

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

sessionInfoModule :: String   

Further infos:

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

userSessionInfoType :: CTypeExpr   

Further infos:

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

dataModuleName :: String   

Further infos:

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

mappingModuleName :: String   

Further infos:

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

entitiesToHtmlModule :: String -> String   

Name of EntitiesToHtml module.

Further infos:

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

bootstrapModule :: String   

Further infos:

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

hrefButtonName :: (String,String)   

Further infos:

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

hrefSmallButtonName :: (String,String)   

Further infos:

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

relatedRelation :: String -> Relationship -> String   

relationshipsForEntityName :: String -> [Relationship] -> [Relationship]   

isGenerated :: Entity -> Bool   

notPKey :: Attribute -> Bool   

notKey :: Attribute -> Bool   

isRelevantForEntity :: Entity -> [Attribute] -> Bool   

oneToOne :: Entity -> [Relationship] -> [String]   

manyToOne :: Entity -> [Relationship] -> [String]   

Returns for a given entities the many-to-one related entity names.

manyToMany :: [Entity] -> Entity -> [(String,String)]   

Returns for a given entity the many-to-many related entity names together with the relation name.

controllerType :: CTypeExpr   

The standard type of new and list controllers.

Further infos:

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

controllerModuleName :: String -> String   

Further infos:

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

newEntityTypeName :: String -> (String,String)   

The name of the type synonym for a "new entity" tuple.

Further infos:

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

controllerFormName :: String -> String -> (String,String)   

The name of the controller form for a given entity and form type.

Further infos:

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

controllerStoreName :: String -> String -> (String,String)   

The name of the controller store for a given entity and store type.

Further infos:

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

controllerFunctionName :: String -> String -> (String,String)   

The name of the controller function for a given entity and controller functionality.

Further infos:

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

transFunctionName :: String -> String -> (String,String)   

The name of the transaction function for a given entity and transaction functionality.

Further infos:

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

viewModuleName :: String -> String   

Further infos:

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

viewFunctionName :: String -> String -> (String,String)   

Further infos:

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

viewBlockType :: CTypeExpr   

The type of view blocks, i.e., [BaseHtml].

Further infos:

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

withHTMLContext :: CTypeExpr -> CQualTypeExpr   

Further infos:

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

htmlTVar :: CTypeExpr   

Further infos:

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

attrType :: Attribute -> CTypeExpr   

attrDefaultValues :: CExpr -> [Attribute] -> [CExpr]   

Generates Curry expressions representing default values. The first argument contains an expression that is used for ClockTime attributes (it is set to the current time as a default value).

domainDefaultValue :: CExpr -> Domain -> CExpr   

Generates Curry expressions representing a default values for a given domain. The first argument contains an expression that is used for ClockTime attributes (it is set to the current time as a default value).

isStringDom :: Domain -> Bool   

hasDateAttribute :: [Attribute] -> Bool   

combinator :: Int -> (String,String)   

attrWidgets :: [Attribute] -> [CExpr]   

widgetFor :: Domain -> Bool -> CExpr   

showQName :: (String,String) -> String   

Further infos:

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