type-level-0.2.4: Type-level programming librarySource codeContentsIndex
Data.TypeLevel.Num.Sets
Portabilitynon-portable (non-standard instances)
Stabilityexperimental
Maintaineralfonso.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)
show/hide Instances
PosI n => Pos n
class NatI n => Nat n Source
Naturals (Positives and zero)
show/hide Instances
NatI n => Nat n
toNum :: (NatI n, Num a) => n -> aSource
Reflecting function
toInt :: Nat n => n -> IntSource
Less generic reflecting function (Int)
reifyIntegral :: Integral i => i -> (forall n. Nat n => n -> r) -> rSource
Reification function. In CPS style (best possible solution)
Produced by Haddock version 2.6.1