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

definition:
genGetterSetters :: String -> Entity -> [CFuncDecl]
genGetterSetters mName (Entity name attrs) = 
 let indAttrs = zip attrs [1..(length attrs)]
  in map (genGetter mName name (length attrs)) indAttrs ++
     map (genSetter mName name (length attrs)) indAttrs
demand:
argument 2
deterministic:
deterministic operation
documentation:
-- Generates all getter and setter methods based on an entity.
failfree:
<FAILING>
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,{Entity}) |-> _}
name:
genGetterSetters
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