type-combinators-singletons

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

Latest on Hackage:0.2.1.0

See all snapshots type-combinators-singletons appears in

BSD-3-Clause licensed by Justin Le
Maintained by justin@jle.im

Module documentation for 0.2.1.0

This version can be pinned in stack with:type-combinators-singletons-0.2.1.0@sha256:907e534796fb10e50eeb9168e3f7284a8fb92140312807f14f263ed47ce0e52f,1129

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.