type-level-0.3.0: Type-level programming library

Copyright(c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
LicenseBSD-style (see the file LICENSE)
Maintaineralfonso.acosta@gmail.com
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell98

Data.TypeLevel.Num

Description

This module is a wrapper for all the publicly usable numerical types and functions of the type-level library.

Here is a tutorial on type-level numerals and how to use them to implement numerically-parameterized vectors: https://forsyde.ict.kth.se/trac/wiki/ForSyDe/Haskell/ForSyDeTutorial#FSVec

Documentation

module Data.TypeLevel.Num.Reps

module Data.TypeLevel.Num.Aliases

module Data.TypeLevel.Num.Sets

module Data.TypeLevel.Num.Ops