row-types

Row-Types

Row-types is a library of open records and variants for Haskell using closed type families and type literals (among other things…). See examples/Examples.lhs for a literate Haskell file that functions as an overview of how this library can be used.

Also, check out these posts about cool things you can do with row-types:

• Row types for CSV library
• Type Surgery
• Typed Errors Done Better
• Overriding Type Class Instances

Available on Hackage.
Source available on GitHub.

This site is open source. Improve this page.