| |||||||||
| |||||||||
Description | |||||||||
Type-level numerical sets. Currently there is only support for Naturals and Positives. | |||||||||
Synopsis | |||||||||
| |||||||||
Documentation | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Reflecting function | |||||||||
| |||||||||
Less generic reflecting function (Int) | |||||||||
| |||||||||
Reification function. In CPS style (best possible solution) | |||||||||
Produced by Haddock version 2.6.0 |