type-level-0.2.2: Type-level programming library Source code Contents Index

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

class PosI n => Pos n class NatI n => Nat n toNum :: (NatI n, Num a) => n -> a toInt :: Nat n => n -> Int reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> r

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

Reflecting function

toInt :: Nat n => n -> Int Source

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)

Produced by Haddock version 2.6.0