Update docs

docs/Data/BigInt.md

@@ -5,7 +5,7 @@ This module defines a `BigInt` data type for arbitrary length integers.
 #### `BigInt`
 
 ``` purescript
-data BigInt :: *
+data BigInt :: Type
 ```
 
 An arbitrary length integer.
@@ -17,7 +17,8 @@ Ord BigInt
 Show BigInt
 Semiring BigInt
 Ring BigInt
-ModuloSemiring BigInt
+CommutativeRing BigInt
+EuclideanRing BigInt
 ```
 
 #### `fromInt`
@@ -84,47 +85,47 @@ Returns `true` if the number is prime, `false` otherwise.
 not :: BigInt -> BigInt
 ```
 
-Returns a bit inverted number.
+Invert the bits.
 
 #### `or`
 
 ``` purescript
 or :: BigInt -> BigInt -> BigInt
 ```
 
-Returns a bit or'ed number.
+or the bits.
 
 #### `xor`
 
 ``` purescript
 xor :: BigInt -> BigInt -> BigInt
 ```
 
-Returns a bit xor'ed numnber.
+Exlusive or the bits.
 
 #### `and`
 
 ``` purescript
 and :: BigInt -> BigInt -> BigInt
 ```
 
-Returns a bit and'ed number.
+and the bits.
 
 #### `shl`
 
 ``` purescript
 shl :: BigInt -> Number -> BigInt
 ```
 
-Shift the first number to the right by the second number of bits and return the result. Shifts in ones if the first number is negative.
+shift the bits left and zero fill.
 
 #### `shr`
 
 ``` purescript
 shr :: BigInt -> Number -> BigInt
 ```
 
-Shift the first number to the left by the second number of bits and return the result.
+Shift the bits right and maintain pos/neg.
 
 #### `fromString`
 
@@ -165,4 +166,12 @@ toString :: BigInt -> String
 
 A decimal representation of the `BigInt` as a `String`.
 
+#### `toBase`
+
+``` purescript
+toBase :: Int -> BigInt -> String
+```
+
+A base N representation of the `BigInt` as a `String`.
+