About

Metadata

  • Last updated , by IainAlexander
  • License BSD-3-Clause
  • Categories Type System
  • Maintained by: Iain Alexander <ia@stryx.demon.co.uk>

  • Lottery factor: 0

Links

Installation

Readme

README for data-type version 0.1.0

Use Cabal (http://www.haskell.org/cabal/) to install.

This is a collection of useful type-level definitions, drawn from various sources, and organised in a hopefully useful fashion.

Tests are currently in a local subdirectory . Data.Type.Test.Bool contains compile-time only tests - just load it in ghci. Data.Type.Test.Nat uses HUnit.

$Header: c:/Source/Haskell/Type/RCS/README,v 1.1 2011/09/14 01:26:27 dosuser Exp dosuser $