I Use This!
Activity Not Available
Analyzed about 4 years ago. based on code collected over 7 years ago.

Project Summary

This library permits performing computations on the type-level. Type-level functions are implemented
using functional dependencies of multi parameter type classes. To date, Booleans and Numerals
(Naturals and Positives) are supported. With regard to Numerals, there is support for common
arithmetic operations (addition, substraction, multiplication, division, exponientation, logarithm,
maximum, comparison, GCD) over natural numbers (using a decimal representation to make compile-time
errors friendlier). Although making use of type-level computations might seem devious and obfuscated
at first sight, it is indeed useful in practice to implement lightweight dependent types such us
number-parameterized types (e.g. an array type parameterized by the array's size or a modular group
type Zn parameterized by the modulus).


assurance correctness haskell types

In a Nutshell, type-level...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    you can embed statistics from Open Hub on your site
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    data presented on the Open Hub is available through our API

 Code locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.

30 Day Summary

Jun 17 2011 — Jul 17 2011

12 Month Summary

Jul 17 2010 — Jul 17 2011


Be the first to rate this project
Click to add your rating
Review this Project!