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 -> leftCompiler solved type class for adding type-level Ints.
#Compare
class Compare (left :: Int) (right :: Int) (ordering :: Ordering) | left right -> orderingCompiler solved type class for comparing two type-level Ints.
Produces an Ordering.
#Mul
class Mul (left :: Int) (right :: Int) (product :: Int) | left right -> productCompiler solved type class for multiplying type-level Ints.
#ToString
class ToString (int :: Int) (string :: Symbol) | int -> stringCompiler solved type class for converting a type-level Int into a type-level String (i.e. Symbol).