haskell-src-meta
haskell-src-meta copied to clipboard
No support for Arrow Proc notation
haskell-src-exts is able to provide an AST for arrow proc notation, but meta is unable to translate that back into TH.
We would have to desugar arrow notation ourselves since TH doesn't support it directly. Are you up for writing a desugarer?
I have written one. https://github.com/tomberek/ArrowDesugar It needs some work and may not be 100% compliant. But the Arrow ecosystem seems to be suffering. I'm trying to bring it back.
Similar exploratory work: https://github.com/tomberek/rulestesting/blob/master/Control/Arrow/TH.hs