CurryInfo: icurry-3.2.0 / FlatCurry.CaseCompletion.allConsExp

definition: Info 
 
allConsExp :: Expr -> [QName]
allConsExp (Var _) = []
allConsExp (Lit _) = []
allConsExp (Comb _ _ es) = unionMap allConsExp es
allConsExp (Case _ e brs) =
  union (allConsExp e) (unionMap allConsBranch brs)
 where
  allConsBranch (Branch (LPattern _)   be) = allConsExp be
  allConsBranch (Branch (Pattern qn _) be) = union [qn] (allConsExp be)
allConsExp (Let bs e) =
  union (allConsExp e) (unionMap (allConsExp . snd) bs)
allConsExp (Free _ e) = allConsExp e
allConsExp (Or e1 e2) = union (allConsExp e1) (allConsExp e2)
allConsExp (Typed e _) = allConsExp e
demand: Info 
 argument 1
deterministic: Info 
 deterministic operation
failfree: Info 
 _
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {({Var}) |-> {[]} || ({Lit}) |-> {[]} || ({Comb}) |-> _ || ({Case}) |-> _ || ({Let}) |-> _ || ({Free}) |-> _ || ({Or}) |-> _ || ({Typed}) |-> _}
name: Info 
 allConsExp
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 FlatCurry.Types.Expr -> [(String, String)]
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 reducible on all ground data terms