type-level-natural-number-operations: Basic operations on type-level natural numbers.

This package provides some basic operations that do not require the UndecideableInstances extension on type-level natural numbers. Specifically, this package provides the Plus and Minus type functions.

Modules

[Index]

Downloads

• type-level-natural-number-operations-1.0.tar.gz [browse] (Cabal source package)
• Package description (as included in the package)

Maintainer's Corner

Package maintainers

• GregoryCrosswhite

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates