summaryrefslogtreecommitdiff
path: root/walint.cabal (follow)
Commit message (Collapse)AuthorAgeFilesLines
* rudimentary linting for overlapping layersstuebinm2021-12-081-0/+1
|
* lots of code reorganising and some deduplicationstuebinm2021-12-041-2/+2
| | | | | | | it was kinda getting messy in places. Also found some accidental isomorphisms between types, so these are now only one type because the consequences were getting silly.
* collect badges from object layersstuebinm2021-12-021-0/+1
| | | | | this includes a halfway-reasonable parsing of object layers, as well as some monad plumbing to get them all in the right place.
* make link adjustments configurablestuebinm2021-11-201-0/+1
| | | | | | this allows for creating custom URI "schemas" in the linter's config, which may be either allowed, prefixed, or translated according to some (domain-based) substitution.
* too much type level stuff to read a config filestuebinm2021-11-141-0/+2
| | | | | | | | | This got kinda out of hand, but it can now (a) read a json config file and (b) patch that with another json given on the command line to change some of the options given in the file. No, I probably didn't need to make the `patch` function sufficiently general to work with arbitrary records, but it was kinda fun to do.
* extra module for repository writeoutstuebinm2021-11-101-0/+1
|
* relax dependency versionsstuebinm2021-10-041-2/+2
|
* removed unnecessary dependencystuebinm2021-10-041-1/+1
|
* rename to walintstuebinm2021-10-011-0/+64