hoopl
hoopl copied to clipboard
Interleaving multiple transfer functions using the same type of fact?
So, let's say I have an AliasInfo fact type, and I have a number of different transfer functions doing different alias analyses. I don't think I can see how to interleave them. Can this be done, currently?
Since all the transfer functions take the same data type, can you use function composition to combine these transfer functions? Do you have more concrete examples?