Array and many other data structures do not provide sum, product, any or all which could be used in the foldl/r simplifications
Often, these extra helpers are provided by modules in different packages.
Currently, only a function's name is stored in the type properties which has to manually combined with its module name.
This PR replaces these function names by qualified names.
Modules don't always expose functions we might expect to apply some simplifications. E.g.
Array
andGraph
do not expose asingleton
Array
and many other data structures do not providesum
,product
,any
orall
which could be used in thefoldl/r
simplificationsOften, these extra helpers are provided by modules in different packages.
Currently, only a function's name is stored in the type properties which has to manually combined with its module name. This PR replaces these function names by qualified names.