https://github.com/mstksg/type-combinators-singletons

Interop between type-combinators and singletons library
https://github.com/mstksg/type-combinators-singletons

Last synced: 3 months ago
JSON representation

Interop between type-combinators and singletons library

• Host: GitHub
• URL: https://github.com/mstksg/type-combinators-singletons
• Owner: mstksg
• License: bsd-3-clause
• Created: 2017-03-25T06:45:48.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-06-17T09:19:39.000Z (over 6 years ago)
• Last Synced: 2024-09-21T12:58:23.315Z (4 months ago)
• Language: Haskell
• Size: 80.1 KB
• Stars: 4
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
type-combinator-singletons

==========================

Conversions between data-types in *[type-combinators][]* and singletons from

*[singletons][]* and orphan instances.

[type-combinators]: https://hackage.haskell.org/package/type-combinators

[singletons]: https://hackage.haskell.org/package/singletons

There's a lot of overlap in functionality between the two libraries.  I often

use both of them together side-by-side to do different things, but there is

some friction the process of converting between the identical data types that

both libraries have, and between similar typeclasses.  This library attempts to

ease that friction by providing conversion functions between identical data

types and also many of the appropriate orphan typeclass instances.