| definition: |
updCClassDecl :: (QName -> QName)
-> (CVisibility -> CVisibility)
-> (CContext -> CContext)
-> ([CTVarIName] -> [CTVarIName])
-> ([CFunDep] -> [CFunDep])
-> ([CFuncDecl] -> [CFuncDecl])
-> CClassDecl -> CClassDecl
updCClassDecl fn fv fc ft fd ff = trCClassDecl cls
where
cls name vis ctxt tvs fdeps funcs =
CClass (fn name) (fv vis) (fc ctxt) (ft tvs) (fd fdeps) (ff funcs)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Updates a class declaration. |
| failfree: |
(_, _, _, _, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_,_) |-> {trCClassDecl}}
|
| name: |
updCClassDecl |
| precedence: |
no precedence defined |
| result-values: |
{trCClassDecl}
|
| signature: |
((String, String) -> (String, String)) -> (AbstractCurry.Types.CVisibility -> AbstractCurry.Types.CVisibility) -> (AbstractCurry.Types.CContext -> AbstractCurry.Types.CContext) -> ([(Prelude.Int, String)] -> [(Prelude.Int, String)]) -> ([([(Prelude.Int, String)], [(Prelude.Int, String)])] -> [([(Prelude.Int, String)], [(Prelude.Int, String)])]) -> ([AbstractCurry.Types.CFuncDecl] -> [AbstractCurry.Types.CFuncDecl]) -> AbstractCurry.Types.CClassDecl -> AbstractCurry.Types.CClassDecl |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |