1
I Use This!
Activity Not Available
Analyzed 6 months 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...

 No code available to analyze

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has no code locations, and so Open Hub cannot perform this analysis

Is this project's source code hosted in a publicly available repository? Do you know the URL? If you do, click the button below and tell us so that Open Hub can generate statistics! It's fast and easy - try it and see!

Add a code location

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    search using multiple tags to find exactly what you need

 No code available to analyze

Open Hub computes statistics on FOSS projects by examining source code and commit history in source code management systems. This project has no code locations, and so Open Hub cannot perform this analysis

Is this project's source code hosted in a publicly available repository? Do you know the URL? If you do, click the button below and tell us so that Open Hub can generate statistics! It's fast and easy - try it and see!

Add a code location

Community Rating

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