Introduce purs-tidy formatter (#28)

* Add purs-tidy formatter

* Run purs-tidy

Author: thomashoneyman

.github/workflows/ci.yml

@@ -15,6 +15,8 @@ jobs:
 
       - name: Set up a PureScript toolchain
         uses: purescript-contrib/setup-purescript@main
+        with:
+          purs-tidy: "latest"
 
       - name: Cache PureScript dependencies
         uses: actions/cache@v2
@@ -32,3 +34,6 @@ jobs:
 
       - name: Run tests
         run: spago test --no-install
+
+      - name: Check formatting
+        run: purs-tidy check src test

.gitignore

@@ -2,6 +2,7 @@
 !.gitignore
 !.github
 !.editorconfig
+!.tidyrc.json
 
 output
 generated-docs

.tidyrc.json

@@ -0,0 +1,10 @@
+{
+  "importSort": "source",
+  "importWrap": "source",
+  "indent": 2,
+  "operatorsFile": null,
+  "ribbon": 1,
+  "typeArrowPlacement": "first",
+  "unicode": "never",
+  "width": null
+}

CHANGELOG.md

@@ -11,6 +11,7 @@ New features:
 Bugfixes:
 
 Other improvements:
+- Added `purs-tidy` formatter (#12 by @thomashoneyman)
 
 ## [v5.1.0](https://github.com/purescript-contrib/purescript-precise/releases/tag/v5.1.0) - 2021-05-06
 

src/Data/Digit.purs

@@ -1,8 +1,19 @@
 module Data.Digit
   ( Digit
-  , fromInt , toInt
-  , fromChar , toChar
-  , _zero, _one, _two, _three, _four, _five, _six, _seven, _eight, _nine
+  , fromInt
+  , toInt
+  , fromChar
+  , toChar
+  , _zero
+  , _one
+  , _two
+  , _three
+  , _four
+  , _five
+  , _six
+  , _seven
+  , _eight
+  , _nine
   ) where
 
 import Prelude
@@ -30,10 +41,12 @@ toInt :: Digit -> Int
 toInt (Digit c) = c
 
 fromChar :: Char -> Maybe Digit
-fromChar c = let code = toCharCode c
-              in if code >= 48 && code <= 57
-                    then Just (Digit $ code - 48)
-                    else Nothing
+fromChar c =
+  let
+    code = toCharCode c
+  in
+    if code >= 48 && code <= 57 then Just (Digit $ code - 48)
+    else Nothing
 
 toChar :: Digit -> Char
 toChar (Digit c) = unsafePartial $ fromJust $ fromCharCode (c + 48)

src/Data/HugeInt.purs

@@ -56,8 +56,9 @@ toHugeNum (HugeInt h) = h
 
 -- | Requires the input to have a zero-valued fractional component.
 fromHugeNum :: HugeNum -> Maybe HugeInt
-fromHugeNum h | HN.integerPart h == h = pure $ HugeInt h
-              | otherwise = Nothing
+fromHugeNum h
+  | HN.integerPart h == h = pure $ HugeInt h
+  | otherwise = Nothing
 
 -- | Input must look like a Purescript `Int`.
 -- | For example, `fromString "123456789012345" => Just (HugeInt 123456789012345)`.
@@ -96,14 +97,14 @@ isNegative (HugeInt h) = HN.isNegative h
 numOfDigits :: HugeInt -> Int
 numOfDigits (HugeInt h) = HN.numOfIntegral h
 
-even :: HugeInt-> Boolean
+even :: HugeInt -> Boolean
 even h = case drop (length (show h) - 1) (show h) of
-              "0" -> true
-              "2" -> true
-              "4" -> true
-              "6" -> true
-              "8" -> true
-              _ -> false
+  "0" -> true
+  "2" -> true
+  "4" -> true
+  "6" -> true
+  "8" -> true
+  _ -> false
 
 odd :: HugeInt -> Boolean
 odd = not <<< even

src/Data/HugeInt/Gen.purs

@@ -3,7 +3,7 @@ module Data.HugeInt.Gen where
 import Prelude
 
 import Control.Monad.Gen as Gen
-import Data.HugeInt ( HugeInt )
+import Data.HugeInt (HugeInt)
 import Data.HugeInt as HugeInt
 
 genHugeInt :: forall m. Gen.MonadGen m => m HugeInt