purs-tidy format-in-place src/**/*.purs test/**/*.purs

Author: Serhii Khoma

src/JS/BigInt.purs

@@ -37,12 +37,12 @@ import Type.Proxy (Proxy(..))
 foreign import data BigInt ∷ Type
 
 -- | FFI wrapper to parse a String into a BigInt.
-foreign import fromStringImpl ∷
-  ∀ a.
-  (a → Maybe a) →
-  Maybe a →
-  String →
-  Maybe BigInt
+foreign import fromStringImpl
+  ∷ ∀ a
+  . (a → Maybe a)
+  → Maybe a
+  → String
+  → Maybe BigInt
 
 -- | Parse a string into a `BigInt`. Returns `Nothing` if the parse fails.
 -- | Supports decimal, binary, octal, hexadecimal and exponentiation notations.
@@ -86,12 +86,12 @@ fromStringAs = fromStringAsImpl Just Nothing
 foreign import fromInt ∷ Int → BigInt
 
 -- | FFI wrapper to parse a Number into a BigInt.
-foreign import fromNumberImpl ∷
-  ∀ a.
-  (a → Maybe a) →
-  Maybe a →
-  Number →
-  Maybe BigInt
+foreign import fromNumberImpl
+  ∷ ∀ a
+  . (a → Maybe a)
+  → Maybe a
+  → Number
+  → Maybe BigInt
 
 -- | Convert a Number to a BigInt. The fractional part is truncated.
 fromNumber ∷ Number → Maybe BigInt

test/Test/Main.purs

@@ -81,10 +81,12 @@ main = do
   assert $ fromString "10000000" == Just (fromInt 10000000)
   quickCheck $ \(TestBigInt a) -> (fromString <<< toString) a == Just a
 
-  quickCheck $ \(TestBigInt a) -> 
-    let radixes = [binary, octal, decimal, hexadecimal, base36]
-    in un Conj $ flip foldMap radixes $ \r -> 
-          Conj $ (fromStringAs r $ toStringAs r a) == Just a
+  quickCheck $ \(TestBigInt a) ->
+    let
+      radixes = [ binary, octal, decimal, hexadecimal, base36 ]
+    in
+      un Conj $ flip foldMap radixes $ \r ->
+        Conj $ (fromStringAs r $ toStringAs r a) == Just a
 
   log "Parsing strings with a different base"
   assert $ fromString "0b100" == Just four
@@ -98,7 +100,7 @@ main = do
   log "Binary relations between integers should hold before and after converting to BigInt"
   testBinary (+) (+)
   testBinary (-) (-)
---  testBinary (*) (*)
+  --  testBinary (*) (*)
   testBinary mod mod
   testBinary (/) (/)