Copyright	(c) 2008 Alfonso Acosta, Oleg Kiselyov, Wolfgang Jeltsch and KTH's SAM group
License	BSD-style (see the file LICENSE)
Maintainer	alfonso.acosta@gmail.com
Stability	experimental
Portability	non-portable (non-standard instances)
Safe Haskell	None
Language	Haskell98

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 Source

class NatI n => Nat n Source

Naturals (Positives and zero)

Instances

NatI n => Nat n Source

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

Reflecting function

Less generic reflecting function (Int)

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

Reification function. In CPS style (best possible solution)