CurryInfo: verify-non-fail-2.0.0 / Verify.Helpers.isSetFunOp

definition:
 
isSetFunOp :: QName -> Bool
isSetFunOp (mn,fn) =
  (mn == "Control.Search.SetFunctions" || mn == "Control.SetFunctions") &&
  take 3 fn == "set" &&
  all isDigit (drop 3 fn)
demand:
 argument 1
deterministic:
 deterministic operation
documentation:
 
Is this the name of a set function?
failfree:
 _
indeterministic:
 referentially transparent operation
infix:
 no fixity defined
iotype:
 {({(,)}) |-> _}
name:
 isSetFunOp
precedence:
 no precedence defined
result-values:
 _
signature:
 (String, String) -> Prelude.Bool
solution-complete:
 operation might suspend on free variables
terminating:
 possibly non-terminating
totally-defined:
 possibly non-reducible on same data term