search

agrafix / superrecord

Haskell: Supercharged anonymous records
BSD 3-Clause "New" or "Revised" License
83 stars 16 forks source link

RecAll constraint #4

Closed dredozubov closed 7 years ago

dredozubov commented 7 years ago

I've defined a similar type family in my own code, it may be useful in a library as well. In the nutshell, it checks if all of the types of record fields satisfy a certain constraint.

This change is Reviewable

agrafix commented 7 years ago

Sure, why not :-)