Module

Data.Typelevel.Num.Sets

Package
purescript-typelevel
Repository
bodil/purescript-typelevel

#Nat Source

class Nat n  where

Members

Instances

#toInt' Source

toInt' :: forall n. Nat n => Proxy n -> Int

Sugar for toInt, providing a more intuitive type

#Pos Source

class (Nat n) <= Pos n 

Instances

#subLastDec Source

subLastDec :: forall d x. Nat (x :* d) => Nat x => x :* d -> Int

#div10Dec Source

div10Dec :: forall d x. Nat (x :* d) => x :* d -> x

#reifyInt Source

reifyInt :: forall r. Int -> (forall n. Nat n => n -> r) -> r

#reifyIntP Source

reifyIntP :: forall r. Int -> (forall n. Pos n => n -> r) -> r