type-level-0.2.4: Type-level programming libraryContentsIndex
Data.TypeLevel.Num
Portabilitynon-portable
Stabilityexperimental
Maintaineralfonso.acosta@gmail.com
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: http://www.ict.kth.se/org/ict/ecs/sam/projects/forsyde/www/files/tutorial/tutorial.html#FSVec

Documentation
module Data.TypeLevel.Num.Reps
module Data.TypeLevel.Num.Aliases
module Data.TypeLevel.Num.Sets
module Data.TypeLevel.Num.Ops
Produced by Haddock version 2.6.0