CurryInfo: ertools-3.0.0 / Database.ERD.ToCDBI.genEntityDescription

definition: 
genEntityDescription :: String -> Entity -> CFuncDecl
genEntityDescription mName (Entity name attrs) = 
  stCmtFunc ("The ER description of the `" ++ name ++ "` entity.")
        (mName, firstLow name ++ "_CDBI_Description" )
        0
        Public
        (applyTC (mDescr, "EntityDescription") [baseType (mName, name)])
        [(simpleRule [] (applyE (CSymbol (mDescr, "ED"))
                                [string2ac name,
                                 list2ac (map attr2CSymbol attrs),
                                 writeTransFunOne mName name attrs,
                                 writeTransFunTwo mName name attrs,
                                 writeTransFunThree mName name attrs]))]
demand: 
argument 2
deterministic: 
deterministic operation
documentation: 
-- Generates an entity-description based on an entity.
failfree: 
<FAILING>
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{(_,{Entity}) |-> _}
name: 
genEntityDescription
precedence: 
no precedence defined
result-values: 
_
signature: 
String -> Database.ERD.Entity -> AbstractCurry.Types.CFuncDecl
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term