Module

Prim.Int

The Prim.Int module is embedded in the PureScript compiler. Unlike Prim, it is not imported implicitly. It contains automatically solved type classes for working with type-level intural numbers.

#Add

class Add (left :: Int) (right :: Int) (sum :: Int) | left right -> sum, left sum -> right, right sum -> left

Compiler solved type class for adding type-level Ints.

#Compare

class Compare (left :: Int) (right :: Int) (ordering :: Ordering) | left right -> ordering

Compiler solved type class for comparing two type-level Ints. Produces an Ordering.

#Mul

class Mul (left :: Int) (right :: Int) (product :: Int) | left right -> product

Compiler solved type class for multiplying type-level Ints.

#ToString

class ToString (int :: Int) (string :: Symbol) | int -> string

Compiler solved type class for converting a type-level Int into a type-level String (i.e. Symbol).

Modules