[Haskell-cafe] Patch combinators

Emil Axelsson emax at chalmers.se
Mon Jan 16 13:07:14 CET 2012

Hi all!

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!

/ Emil

More information about the Haskell-Cafe mailing list