retemplate

.github/workflows/haskell-stack.yaml

@@ -0,0 +1,14 @@
+name: haskell-stack
+on:
+- push
+- pull_request
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - run: |
+        if [ -f .github/packages.txt ]; then sudo apt-get update && sudo apt-get install -y $(cat .github/packages.txt); fi
+    - uses: freckle/stack-action@v4
+      with:
+        pedantic: false

README.md

@@ -1,7 +1,5 @@
 # blanks
 
-[![CircleCI](https://circleci.com/gh/ejconlon/blanks/tree/master.svg?style=svg)](https://circleci.com/gh/ejconlon/blanks/tree/master)
-
 Fill-in-the-blanks - A library factoring out substitution from ASTs.
 
 It's a pain to track de Bruijn indices yourself to implement capture-avoiding subsititution,

fourmolu.yaml

@@ -0,0 +1,15 @@
+indentation: 2
+column-limit: 120
+function-arrows: leading
+comma-style: leading
+import-export-style: leading
+indent-wheres: false
+record-brace-space: true
+newlines-between-decls: 1
+haddock-style: single-line
+haddock-style-module:
+let-style: auto
+in-style: left-align
+respectful: false
+fixities: []
+unicode: never

justfile

@@ -0,0 +1,39 @@
+stack_build := "stack build --fast"
+src_dirs := "src test"
+
+# No default tasks
+default:
+  just --list
+
+# Build and run tests
+test:
+  {{ stack_build }} --test
+
+# Build only
+build:
+  {{ stack_build }} --test --no-run-tests
+
+# Clean stack work
+clean:
+  stack clean --full
+
+# Enter repl
+ghci:
+  stack ghci --test
+
+# Open browser with generated docs
+docs:
+  stack haddock --open
+
+# Install tool deps
+deps:
+  stack build --copy-compiler-tool hlint fourmolu
+
+# Format with fourmolu
+format:
+  stack exec -- fourmolu --mode inplace {{ src_dirs }}
+
+# Lint with hlint
+lint:
+  stack exec -- hlint {{ src_dirs }}
+

src/Blanks.hs

@@ -3,7 +3,8 @@
 -- for source locations and the like. See the test suite for examples.
 module Blanks
   ( module Blanks
-  ) where
+  )
+where
 
 import Blanks.Conversion as Blanks
 import Blanks.Internal.Abstract as Blanks

src/Blanks/Conversion.hs

@@ -3,10 +3,16 @@ module Blanks.Conversion
   ( locScopeForget
   , scopeAnno
   , asLocScope
-  ) where
+  )
+where
 
-import Blanks.LocScope (LocScope, pattern LocScopeAbstract, pattern LocScopeBound, pattern LocScopeEmbed,
-                        pattern LocScopeFree)
+import Blanks.LocScope
+  ( LocScope
+  , pattern LocScopeAbstract
+  , pattern LocScopeBound
+  , pattern LocScopeEmbed
+  , pattern LocScopeFree
+  )
 import Blanks.Scope (Scope, pattern ScopeAbstract, pattern ScopeBound, pattern ScopeEmbed, pattern ScopeFree)
 
 -- | Forget all the annotations and yield a plain 'Scope'.
@@ -20,7 +26,8 @@ locScopeForget ls =
 
 -- | Annotate every location in the 'Scope' with a given value as a 'LocScope'.
 scopeAnno :: (Functor n, Functor f) => l -> Scope n f a -> LocScope l n f a
-scopeAnno l = go where
+scopeAnno l = go
+ where
   go s =
     case s of
       ScopeBound b -> LocScopeBound l b