@hackage / nf

NF data type to statically enforce normal form

Latest1.0.1.0

About

Metadata

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

  • Maintained by: ezyang@cs.stanford.edu

  • Lottery factor: 0

Links

Installation

Readme

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.