Portability	non-portable (non-standard instances)
Stability	experimental
Maintainer	[email protected]

Data.TypeLevel.Num.Sets

Description

Type-level numerical sets. Currently there is only support for Naturals and Positives.

Synopsis

Documentation

class PosI n => Pos n Source

Positives (Naturals without zero)

Instances

PosI n => Pos n

class NatI n => Nat n Source

Naturals (Positives and zero)

Instances

NatI n => Nat n

toNum :: (NatI n, Num a) => n -> aSource

Reflecting function

Less generic reflecting function (Int)

reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> rSource

Reification function. In CPS style (best possible solution)