Switch to Promise namespace, add purs-tidy

Author: garyb

.gitignore

@@ -1,6 +1,7 @@
 /.*
 !/.gitignore
 !/.eslintrc.json
+!/.tidyrc.json
 !/.github/
 package-lock.json
 /bower_components/

.tidyrc.json

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

package.json

@@ -2,12 +2,13 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "eslint src && pulp build -- --censor-lib --strict"
+    "build": "eslint src && purs-tidy check --config-require src/**/*.purs && pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "eslint": "^8.22.0",
+    "eslint": "^8.23.0",
     "pulp": "16.0.2",
     "purescript-psa": "^0.8.2",
+    "purs-tidy": "^0.9.2",
     "rimraf": "^3.0.2"
   }
 }

src/Web/Promise.purs renamed to src/Promise.purs

@@ -1,16 +1,16 @@
-module Web.Promise
-  ( module Web.Promise
-  , module Web.Promise.Internal
-  , module Web.Promise.Rejection
+module Promise
+  ( module Promise
+  , module Promise.Internal
+  , module Promise.Rejection
   ) where
 
 import Prelude
 
 import Effect (Effect)
 import Effect.Uncurried (mkEffectFn1, mkEffectFn2, runEffectFn1, runEffectFn2, runEffectFn3)
-import Web.Promise.Internal (Promise, reject)
-import Web.Promise.Internal as P
-import Web.Promise.Rejection (Rejection)
+import Promise.Internal (Promise, reject)
+import Promise.Internal as P
+import Promise.Rejection (Rejection)
 
 type Executor a = (a -> Effect Unit) -> (Rejection -> Effect Unit) -> Effect Unit
 
@@ -29,7 +29,7 @@ then_ k p = runEffectFn2 P.then_ (mkEffectFn1 k) p
 
 thenOrCatch
   :: forall a b c
-  . Flatten b c
+   . Flatten b c
   => (a -> Effect (Promise b))
   -> (Rejection -> Effect (Promise b))
   -> Promise a

src/Web/Promise/Internal.js renamed to src/Promise/Internal.js

@@ -1,10 +1,10 @@
-module Web.Promise.Internal where
+module Promise.Internal where
 
 import Prelude
 
 import Effect (Effect)
 import Effect.Uncurried (EffectFn1, EffectFn2, EffectFn3)
-import Web.Promise.Rejection (Rejection)
+import Promise.Rejection (Rejection)
 
 foreign import data Promise :: Type -> Type
 

src/Web/Promise/Internal.purs renamed to src/Promise/Internal.purs

@@ -1,4 +1,4 @@
-module Web.Promise.Lazy where
+module Promise.Lazy where
 
 import Prelude
 
@@ -7,8 +7,8 @@ import Data.Traversable (traverse)
 import Effect (Effect)
 import Effect.Class (class MonadEffect)
 import Effect.Uncurried (mkEffectFn1, mkEffectFn2, runEffectFn1, runEffectFn2)
-import Web.Promise (class Flatten, Executor, Rejection)
-import Web.Promise.Internal as P
+import Promise (class Flatten, Executor, Rejection)
+import Promise.Internal as P
 
 -- | A trivial box that adds a layer between promises to prevent automatic flattening.
 data Box a = Box a

src/Web/Promise/Lazy.purs renamed to src/Promise/Lazy.purs

@@ -1,4 +1,4 @@
-module Web.Promise.Rejection
+module Promise.Rejection
   ( Rejection
   , fromError
   , toError
@@ -15,4 +15,4 @@ foreign import fromError :: Error -> Rejection
 foreign import _toError :: Fn3 (forall a. a -> Maybe a) (forall a. Maybe a) Rejection (Maybe Error)
 
 toError :: Rejection -> Maybe Error
-toError = runFn3 _toError Just Nothing
+toError = runFn3 _toError Just Nothing