The type-combinators-singletons package

[ Tags: bsd3, data, library ] [ Propose Tags ]

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

[Skip to Readme]


Change log
Dependencies base (>=4.9 && <5), singletons, type-combinators [details]
License BSD3
Copyright (c) Justin Le 2017
Author Justin Le
Category Data
Home page
Source repository head: git clone
Uploaded Tue Jan 16 23:43:29 UTC 2018 by jle
Distributions LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 178 total (102 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-01-16 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

Readme for type-combinators-singletons-

[back to package description]


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.