| ||||||||
| ||||||||
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 |