typeparams: Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

[ bsd3, configuration, data, dependent-types, library, optimization ] [ Propose Tags ]

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.

Versions [faq],,,, 0.0.4, 0.0.5, 0.0.6
Dependencies base (>=3 && <5), constraints (>=0.3.4), deepseq (>=1.3), ghc-prim, MonadRandom (>=0.1.13), primitive (>=0.5), reflection (>=1.3), tagged (>=0.7), template-haskell, vector (>=0.10) [details]
License BSD-3-Clause
Author Mike izbicki
Maintainer mike@izbicki.me
Category Configuration, Dependent Types, Data, Optimization
Home page http://github.com/mikeizbicki/params/
Bug tracker http://github.com/mikeizbicki/params/issues
Uploaded by MikeIzbicki at 2014-06-04T09:19:20Z
Distributions NixOS:0.0.6
Downloads 4161 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-12-14 [all 7 reports]


  • Data
    • Data.Params
      • Data.Params.Frac
      • Data.Params.PseudoPrim
      • Data.Params.Vector
        • Data.Params.Vector.Unboxed


Maintainer's Corner

For package maintainers and hackage trustees