nf: NF data type to statically enforce normal form

[ bsd3, data, library ] [ Propose Tags ]

This package provides a data type NF representing data which has been evaluated to normal form. This is a useful type discipline for many situations when normal form data is necessary, e.g. when transmitting data to other threads over channels.

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 1.0.0.0, 1.0.0.1, 1.0.0.2, 1.0.0.3, 1.0.1.0
Dependencies base (>=2 && <5), deepseq (>=1.1) [details]
License BSD-3-Clause
Author Edward Z. Yang
Maintainer ezyang@cs.stanford.edu
Category Data
Home page https://github.com/ezyang/nf
Uploaded by EdwardYang at 2015-05-02T01:32:11Z
Distributions NixOS:1.0.1.0
Downloads 3927 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-02 [all 1 reports]