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

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

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.

Modules

[Index]

Data
- Data.Params
  - Data.Params.Frac
  - Data.Params.Functor
  - Data.Params.PseudoPrim
  - Data.Params.Vector
    - Data.Params.Vector.Unboxed

Downloads

typeparams-0.0.3.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

MikeIzbicki

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.1.0, 0.0.2.0, 0.0.3.0, 0.0.3.1, 0.0.4, 0.0.5, 0.0.6
Dependencies	base (>=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) [details]
License	BSD-3-Clause
Author	Mike izbicki
Maintainer	mike@izbicki.me
Category	Configuration, Dependent Types, Data, Optimization
Home page	http://github.com/mikeizbicki/typeparams/
Bug tracker	http://github.com/mikeizbicki/typeparams/issues
Uploaded	by MikeIzbicki at 2014-06-10T03:23:20Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	4924 total (22 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]