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