ghc-type-level

Type-level programming library
  • Overview
  • Builds
  • Updates
  • Bugs
  • Contents
  • Changelog
  • Sources
  • Relationships

Description

This library permits performing computations on the type-level. Type-level functions are implemented using functional dependencies of multiparameter 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). For a tutorial on type-level numerals and how to use them to implement numerically-parameterized vectors see: <http://www.ict.kth.se/forsyde/files/tutorial/tutorial.html#FSVec>.

Active Releases Overview

Release Latest Released Version Version in Testing
{{html release}} 
{{html stable_version}} {{html testing_version}}

Upstream Summary

History

buildsys.package.list.change

Package list change for ghc-type-level: 'f19' (s390)

Details
2 months ago - 2014-02-24 09:26:06

buildsys.package.list.change

Package list change for ghc-type-level: 'f19'

Details
2 months ago - 2014-02-24 09:25:24

buildsys.package.list.change

Package list change for ghc-type-level: 'f19' (ppc)

Details
2 months ago - 2014-02-24 09:23:32

pkgdb.owner.update

petersen changed owner of ghc-type-level (f20) to 'petersen'

Details
2 months ago - 2014-02-24 09:20:44

buildsys.package.list.change

Package list change for ghc-type-level: 'f19' (s390)

Details
2 months ago - 2014-02-16 15:46:22

Found a bug? File a ticket. Note: There's some caching going on here. If you expect something and don't see it, check back in 5 minutes.

This Web Site is licensed under the GNU Affero General Public License. You may get sources for the current running code from these repositories: