|
Data.TypeLevel.Num.Sets | Portability | non-portable (non-standard instances) | Stability | experimental | Maintainer | alfonso.acosta@gmail.com |
|
|
|
Description |
Type-level numerical sets. Currently there is only support for Naturals and
Positives.
|
|
Synopsis |
|
|
|
Documentation |
|
class PosI n => Pos n |
Positives (Naturals without zero)
| | Instances | |
|
|
class NatI n => Nat n |
Naturals (Positives and zero)
| | Instances | |
|
|
toNum :: (NatI n, Num a) => n -> a |
Reflecting function
|
|
toInt :: Nat n => n -> Int |
Less generic reflecting function (Int)
|
|
reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> r |
Reification function. In CPS style (best possible solution)
|
|
Produced by Haddock version 2.6.0 |