search

gelisam / surjective

An output coverage checker
https://hackage.haskell.org/package/surjective
11 stars 2 forks source link

Consider using pattern quotations #11

Open gelisam opened 6 years ago

gelisam commented 6 years ago

I initially rejected the idea of using pattern quotations for the reasons explained in this comment, but maybe the following syntax might work?

$$(surjective $ \covers -> [||... $(covers [p|Just True|]) (Just True)||])