Introduce purs-tidy formatter (#21)

* 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
@@ -29,3 +31,6 @@ jobs:
 
       - name: Build source
         run: spago build --no-install --purs-args '--censor-lib --strict'
+
+      - 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 (#21 by @thomashoneyman)
 
 ## [v6.0.0](https://github.com/purescript-contrib/purescript-fixed-points/releases/tag/v6.0.0) - 2021-02-26
 

src/Data/Functor/Mu.purs

@@ -19,11 +19,11 @@ newtype Mu f = In (f (Mu f))
 
 -- | Rewrites a tree along a natural transformation.
 transMu
-  ∷ ∀ f g
-  . (Functor g)
-  ⇒ f ~> g
-  → Mu f
-  → Mu g
+  :: forall f g
+   . (Functor g)
+  => f ~> g
+  -> Mu f
+  -> Mu g
 transMu η =
   roll
     <<< map (transMu η)