type-level-integers: Provides integers lifted to the type level

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

This packages provides type level integers together with type families for basic arithmetic.

[Skip to Readme]

Properties

Versions	0.0.1, 0.0.1
Change log	None available
Dependencies	base (>=4.7 && <5) [details]
License	BSD-3-Clause
Copyright	(c) 2017 Moritz Schulte
Author	Moritz Schulte
Maintainer	mtesseract@silverratio.net
Category	Data
Home page	https://github.com/mtesseract/type-level-integers
Source repo	head: git clone https://github.com/mtesseract/type-level-integers
Uploaded	by mtesseract at 2017-04-06T14:58:31Z

Modules

[Index]

Data
- Type
  - Data.Type.Integer

Downloads

type-level-integers-0.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

mtesseract

For package maintainers and hackage trustees

edit package information

Readme for type-level-integers-0.0.1

[back to package description]

type-level-integers

This Haskell package implements naive type level integers. It exposes the module Data.Type.Integer which exports a new kind LiftedInt populated by the types Z (zero) and LInt Sign PosNat. In other words, a (type level) integer is either zero or a positive natural number together with a sign.

The module exports the type families LIntSucc, LIntPred, LIntInvert, LIntPlus and LIntMinus for manipulating types of kind LiftedInt.