Fourmolu

[kazu-yamamoto]

• Adding fourmolu.yaml
• Reformatting most Haskell files with fourmolu

[Vlix]

Straight-forward addition 👍

The following is one of the reasons I prefer trailing function arrows, though:

-- leading
type CheckCreds =
    ByteString
    -> ByteString
    -> IO Bool

compare with trailing:

-- trailing
type CheckCreds =
    ByteString ->
    ByteString ->
    IO Bool

Since this way: they're alligned, and the one that stands out because it doesn't have an arrow is the result of the function, instead of the first argument. (My reasoning is, the first argument isn't special, the result is, so having that be more visually apparent makes more sense)

And with normal functions the diffs are nicer if the first argument moves:

  -- leading
  myFunc
-    :: Arg1
-    -> Arg2
+    :: Arg2
+    -> Arg1
     -> Result

versus

  -- trailing
  myFunc ::
-    Arg1 ->
     Arg2 ->
+    Arg1 ->
     Result

But if you prefer this, it's a nit-pick, so it's totally fine 👍
LGTM.

[kazu-yamamoto]

I have no logical reason why I prefer leading.
Anyway, I will merge this after all possible PRs have been merged.

[Vlix]

I'd say just add this in. 👍
The other open PRs can resolve any conflicts without too much hassle. (only one with more hassle is mine, but I'll reformat it after, no problem)

[kazu-yamamoto]

I would like to merge #964 first.

[kazu-yamamoto]

Rebased and watching CI.