Module Spicey.GenerationHelper

Summary of exported operations:

lowerFirst :: String -> String  Deterministic 
upperFirst :: String -> String  Deterministic 
dbconn :: String -> (String,String)  Deterministic 
Converts a string into a qualified name of the module "Database.CDBI.Connection".
html :: String -> (String,String)  Deterministic 
Converts a string into a qualified name of the module "HTML.Base".
listModule :: String  Deterministic 
timeModule :: String  Deterministic 
spiceyModule :: String  Deterministic 
authenticationModule :: String  Deterministic 
authorizationModule :: String  Deterministic 
htmlModule :: String -> (String,String)  Deterministic 
Converts a name into a qualified name of the module "HTML.Base".
sessionModule :: String -> (String,String)  Deterministic 
Converts a name into a qualified name of the module "HTML.Session".
storageModule :: String -> (String,String)  Deterministic 
Converts a name into a qualified name of the module "Config.Storage".
wuiModule :: String -> (String,String)  Deterministic 
Converts a name into a qualified name of the module "HTML.WUI".
sessionInfoModule :: String  Deterministic 
userSessionInfoType :: CTypeExpr  Deterministic 
dataModuleName :: String  Deterministic 
mappingModuleName :: String  Deterministic 
entitiesToHtmlModule :: String -> String  Deterministic 
Name of EntitiesToHtml module.
bootstrapModule :: String  Deterministic 
hrefButtonName :: (String,String)  Deterministic 
hrefSmallButtonName :: (String,String)  Deterministic 
relatedRelation :: String -> Relationship -> String  Deterministic 
relationshipsForEntityName :: String -> [Relationship] -> [Relationship]  Deterministic 
isGenerated :: Entity -> Bool  Deterministic 
notPKey :: Attribute -> Bool  Deterministic 
notKey :: Attribute -> Bool  Deterministic 
isRelevantForEntity :: Entity -> [Attribute] -> Bool  Deterministic 
oneToOne :: Entity -> [Relationship] -> [String]  Deterministic 
manyToOne :: Entity -> [Relationship] -> [String]  Deterministic 
manyToMany :: [Entity] -> Entity -> [String]  Deterministic 
linkTableName :: String -> String -> [Entity] -> String  Deterministic 
controllerType :: CTypeExpr  Deterministic 
The standard type of new and list controllers.
controllerModuleName :: String -> String  Deterministic 
newEntityTypeName :: String -> (String,String)  Deterministic 
The name of the type synonym for a "new entity" tuple.
controllerFormName :: String -> String -> (String,String)  Deterministic 
The name of the controller form for a given entity and form type.
controllerStoreName :: String -> String -> (String,String)  Deterministic 
The name of the controller store for a given entity and store type.
controllerFunctionName :: String -> String -> (String,String)  Deterministic 
The name of the controller function for a given entity and controller functionality.
transFunctionName :: String -> String -> (String,String)  Deterministic 
The name of the transaction function for a given entity and transaction functionality.
viewModuleName :: String -> String  Deterministic 
viewFunctionName :: String -> String -> (String,String)  Deterministic 
viewBlockType :: CTypeExpr  Deterministic 
The type of view blocks, i.e., [BaseHtml].
withHTMLContext :: CTypeExpr -> CQualTypeExpr  Deterministic 
htmlTVar :: CTypeExpr  Deterministic 
attrType :: Attribute -> CTypeExpr  Deterministic 
attrDefaultValues :: CExpr -> [Attribute] -> [CExpr]  Deterministic 
Generates Curry expressions representing default values.
domainDefaultValue :: CExpr -> Domain -> CExpr  Deterministic 
Generates Curry expressions representing a default values for a given domain.
isStringDom :: Domain -> Bool  Deterministic 
hasDateAttribute :: [Attribute] -> Bool  Deterministic 
combinator :: Int -> (String,String)  Deterministic 
attrWidgets :: [Attribute] -> [CExpr]  Deterministic 
widgetFor :: Domain -> Bool -> CExpr  Deterministic 
showQName :: (String,String) -> String  Deterministic 

Exported operations:

lowerFirst :: String -> String  Deterministic 

upperFirst :: String -> String  Deterministic 

dbconn :: String -> (String,String)  Deterministic 

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)  Deterministic 

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  Deterministic 

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

timeModule :: String  Deterministic 

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

spiceyModule :: String  Deterministic 

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

authenticationModule :: String  Deterministic 

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

authorizationModule :: String  Deterministic 

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

htmlModule :: String -> (String,String)  Deterministic 

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)  Deterministic 

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)  Deterministic 

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)  Deterministic 

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  Deterministic 

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

userSessionInfoType :: CTypeExpr  Deterministic 

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

dataModuleName :: String  Deterministic 

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

mappingModuleName :: String  Deterministic 

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

entitiesToHtmlModule :: String -> String  Deterministic 

Name of EntitiesToHtml module.

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

bootstrapModule :: String  Deterministic 

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

hrefButtonName :: (String,String)  Deterministic 

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

hrefSmallButtonName :: (String,String)  Deterministic 

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

relatedRelation :: String -> Relationship -> String  Deterministic 

Further infos:
  • partially defined

isGenerated :: Entity -> Bool  Deterministic 

notPKey :: Attribute -> Bool  Deterministic 

notKey :: Attribute -> Bool  Deterministic 

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

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

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

manyToMany :: [Entity] -> Entity -> [String]  Deterministic 

linkTableName :: String -> String -> [Entity] -> String  Deterministic 

controllerType :: CTypeExpr  Deterministic 

The standard type of new and list controllers.

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

controllerModuleName :: String -> String  Deterministic 

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

newEntityTypeName :: String -> (String,String)  Deterministic 

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)  Deterministic 

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)  Deterministic 

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)  Deterministic 

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)  Deterministic 

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  Deterministic 

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

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

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

viewBlockType :: CTypeExpr  Deterministic 

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

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

withHTMLContext :: CTypeExpr -> CQualTypeExpr  Deterministic 

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

htmlTVar :: CTypeExpr  Deterministic 

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

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

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  Deterministic 

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  Deterministic 

hasDateAttribute :: [Attribute] -> Bool  Deterministic 

combinator :: Int -> (String,String)  Deterministic 

attrWidgets :: [Attribute] -> [CExpr]  Deterministic 

widgetFor :: Domain -> Bool -> CExpr  Deterministic 

showQName :: (String,String) -> String  Deterministic 

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