type-combinators-singletons

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

Version on this page:0.2.1.0
LTS Haskell 11.22:0.2.1.0
Stackage Nightly 2018-03-12:0.2.1.0
Latest on Hackage:0.2.1.0

See all snapshots type-combinators-singletons appears in

BSD3 licensed by Justin Le
Maintained by justin@jle.im

Module documentation for 0.2.1.0

type-combinator-singletons

Conversions between data-types in type-combinators and singletons from singletons and orphan instances.

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.

Changes

Changelog

Version 0.2.1.0

Jan 20, 2018

https://github.com/mstksg/type-combinators-singletons/releases/tag/v0.2.1.0

  • Added singSome/someSing and singWit1/wit1Sing, to convert between the singletons types SomeSing and SingInstance and their more generic representations in type-combinators, Some Sing and Wit1 Sing.

Version 0.2.0.0

Jan 16, 2018

https://github.com/mstksg/type-combinators-singletons/releases/tag/v0.2.0.0

  • Gathered together the many two-way conversion functions into a typeclass, TC.

Version 0.1.0.0

Sep 1, 2017

https://github.com/mstksg/type-combinators-singletons/releases/tag/v0.1.0.0

  • Initial release.
Depends on 3 packages:
Used by 1 package:
comments powered byDisqus