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.

Versions 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 Sat May 2 01:32:11 UTC 2015
Distributions NixOS:1.0.1.0
Downloads 1635 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-02 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees