CurryInfo: call-analysis-3.2.0 / Analysis.abstractCall

 
abstractCall :: ADom a -> (String,[Term]) -> (String,[a])
abstractCall (ADom _ avar acons _ _ _ _) (f,cargs) = (f, map cons2aterm cargs)
 where
  -- map a constructor term into abstract term
  cons2aterm (Var v) = avar v
  cons2aterm (Func Cons c args) = acons c (map cons2aterm args)
  cons2aterm (Func Def _ _) = error "cons2aterm: Func Def occurred"

 arguments 1 2

 deterministic operation

 
map a function applied to constructor terms
into an abstract abstract call w.r.t. a given domain

 (_, _)

 referentially transparent operation

 no fixity defined

 {({ADom},{(,)}) |-> {(,)}}

 abstractCall

 no precedence defined

 {(,)}

 ADom a -> (String, [TRS.Term]) -> (String, [a])

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms