Module

Data.Typelevel.Num.Sets

Package: purescript-typelevel
Repository: bodil/purescript-typelevel

#Nat Source

class Nat n  where

Members

toInt :: n -> Int

Instances

Nat D0
Nat D1
Nat D2
Nat D3
Nat D4
Nat D5
Nat D6
Nat D7
Nat D8
Nat D9
(Pos x) => Nat (x :* D0)
(Pos x) => Nat (x :* D1)
(Pos x) => Nat (x :* D2)
(Pos x) => Nat (x :* D3)
(Pos x) => Nat (x :* D4)
(Pos x) => Nat (x :* D5)
(Pos x) => Nat (x :* D6)
(Pos x) => Nat (x :* D7)
(Pos x) => Nat (x :* D8)
(Pos x) => Nat (x :* D9)

#Pos Source

class (Nat n) <= Pos n

Instances

Pos D1
Pos D2
Pos D3
Pos D4
Pos D5
Pos D6
Pos D7
Pos D8
Pos D9
(Pos x) => Pos (x :* D0)
(Pos x) => Pos (x :* D1)
(Pos x) => Pos (x :* D2)
(Pos x) => Pos (x :* D3)
(Pos x) => Pos (x :* D4)
(Pos x) => Pos (x :* D5)
(Pos x) => Pos (x :* D6)
(Pos x) => Pos (x :* D7)
(Pos x) => Pos (x :* D8)
(Pos x) => Pos (x :* D9)

#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

Modules: Data.Typelevel.Bool; Data.Typelevel.Num; Data.Typelevel.Num.Aliases; Data.Typelevel.Num.Ops; Data.Typelevel.Num.Reps; Data.Typelevel.Num.Sets; Data.Typelevel.Undefined