The typeparams package

[Tags: bsd3, library]

This library provides a lens-like interface for working with type parameters. In the code:

 data Example p1 (p2::Config Nat) (p3::Constraint) = Example

p1, p2, and p3 are the type parameters.

Two example uses of this library are for unboxing unboxed vectors and supercompilation-like optimizations. Please see the README file on github for a detailed description and tutorial. After reading through that, the haddock documentation will make more sense.

Properties

Versions0.0.1.0, 0.0.2.0, 0.0.3.0, 0.0.3.1, 0.0.4, 0.0.5, 0.0.6
Change logNone available
Dependenciesbase (>=4.7 && <5), constraints (>=0.3.4), deepseq (>=1.3), ghc-prim, primitive (>=0.5), reflection (>=1.3), tagged (>=0.7), template-haskell, vector (>=0.10)
LicenseBSD3
AuthorMike izbicki
Maintainermike@izbicki.me
CategoryConfiguration, Dependent Types, Data, Optimization
Home pagehttp://github.com/mikeizbicki/typeparams/
Bug trackerhttp://github.com/mikeizbicki/typeparams/issues
UploadedMon Jan 26 03:24:50 UTC 2015 by MikeIzbicki
DistributionsNixOS:0.0.6
Downloads753 total (63 in last 30 days)
StatusDocs uploaded by user [build log]
Last success reported on 2015-01-26 [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees