@hackage / typeparams

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

Latest0.0.6

About

Metadata

  • Last updated , by MikeIzbicki
  • License BSD-3-Clause

  • Maintained by: mike@izbicki.me

  • Lottery factor: 0

Links

Installation

Readme

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.