Module

Data.Typelevel.Num.Sets

Package
purescript-typelevel
Repository
bodil/purescript-typelevel

#Nat Source

class Nat n  where

Members

Instances

#Pos Source

class (Nat n) <= Pos n 

Instances

#subLastDec Source

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

#div10Dec Source

div10Dec :: forall x d. 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