[Haskell-cafe] Patch combinators
emax at chalmers.se
Mon Jan 16 13:07:14 CET 2012
Based on ideas by Koen Claessen, I have made a small module for what
might be called patch combinators:
Examples are found as comments.
Before I push this to Hackage, I just wanted to check if there is any
package that already provides this sort of functionality.
(We're planning to use this module for expressing compile-time
constraints on Feldspar functions.)
Thanks for any feedback!
More information about the Haskell-Cafe