CurryInfo: currydoc-4.0.0 / CurryDoc.Html.isSpecFunc

definition: Info 
 
isSpecFunc :: CFuncDecl -> Bool
isSpecFunc fdecl =
  let rfname = reverse (snd (funcName fdecl))
   in any (`isPrefixOf` rfname) ["ceps'","erp'","tsop'"]
demand: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
documentation: Info 
 
Is a function definition part of a specification, i.e.,
a full specification (suffix 'spec), a precondition (suffix 'pre),
or a postcondition (suffix 'post)?
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_) |-> _}
name: Info 
 isSpecFunc
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 AbstractCurry.Types.CFuncDecl -> Prelude.Bool
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 reducible on all ground data terms