1
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).

Tags

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
  • ...
    search using multiple tags to find exactly what you need
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    anyone with an Open Hub account can update a project's tags

 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

Ratings

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