instance-map: Template haskell utilities for helping with deserialization etc. of existential types
instance-map provides Template Haskell functions that help go from serialized values with value-level type witnesses (i.e. TypeRep values) to existential types containing type-level evidence of membership in a type class. It is useful for dealing with serialized values when only membership in a certain class (and not the monomorphic type) is known at the site of deserialization.
[Skip to Readme]
Downloads
- instance-map-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0 |
---|---|
Dependencies | base (>=4.7 && <5), containers, mtl, template-haskell [details] |
License | BSD-3-Clause |
Copyright | 2018 Richard Warfield |
Author | Richard Warfield |
Maintainer | richard@litx.io |
Category | Dependent Types |
Home page | https://github.com/RichardWarfield/instance-map#readme |
Source repo | head: git clone https://github.com/RichardWarfield/instance-map |
Uploaded | by rwarfield at 2018-07-23T05:06:49Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 797 total (1 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2018-07-23 [all 1 reports] |