CurryInfo: residuation-analysis-3.0.0 / AnalyzeResiduation.allResOps

definition: Info
 
allResOps :: [(QName,ResiduationInfo)] -> [String]
allResOps resinfo =
  map (snd . fst)
      (filter (\ (_,i) -> i==MayResiduate || i==NoResInfo) resinfo)
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
Returns the list of possibly residuating operations.
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {:,[]}}
name: Info
 allResOps
precedence: Info
 no precedence defined
result-values: Info
 {:,[]}
signature: Info
 [((String, String), Analysis.Residuation.ResiduationInfo)] -> [String]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms