summaryrefslogtreecommitdiff
path: root/walint.cabal (unfollow)
Commit message (Collapse)AuthorFilesLines
2023-10-24a year went byHEADmainstuebinm1-160/+0
This does many meta-things, but changes no functionality: - get rid of stack, and use just cabal with a stackage snapshot instead (why did I ever think stack was a good idea?) - update the stackage snapshot to something halfway recent - thus making builds work on nixpkgs-23.05 (current stable) - separating out packages into their own cabal files - use the GHC2021 set of extensions as default - very slight code changes to make things build again - update readme accordingly - stylish-haskell run
2022-10-11use template haskell aeson, not genericsstuebinm1-0/+1
this has been bothering me for MONTHS, and it compiles faster now. also fixed some warnings
2022-10-11update stack resolverstuebinm1-36/+9
(also got rid of the map templater, which had version problems with mustache — it's not likely anyone will need it anyways)
2022-03-30remove unused modulestuebinm1-3/+1
2022-03-23server: add a "panic i'm on a train"-offline modestuebinm1-0/+1
(this also adds general cli arguments, but the main point is that downloading monstrously large repositories is a silly idea when i'm on a train with surprisingly bad wifi)
2022-03-19server: websocket for updates & auto-reloadstuebinm1-0/+2
todo: find a better solution than writing javascript in haskell strings. SERIOUSLY.
2022-03-19mapserver: somewhat more decent loggingstuebinm1-0/+1
2022-03-19cwality-maps: better loggingstuebinm1-0/+1
2022-03-19cwality-maps: add mustache templatingstuebinm1-0/+3
not going to be my faviourite templating language, but it seems to work pretty well for this.
2022-03-19little server for making cwality maps (which meow, for now)stuebinm1-1/+32
2022-03-19separate tiled modules out into own packagestuebinm1-3/+22
2022-03-19remove unused dependenciesstuebinm1-4/+0
2022-03-19switch to universum preludestuebinm1-1/+7
also don't keep adjusted maps around if not necessary
2022-03-19sprinkle some NFData everywherestuebinm1-1/+1
(also some evaluateNF, leading to slightly less memory usage)
2022-03-19server: post map updates to exneuland's APIstuebinm1-0/+2
2022-03-19server: remove cli-git, cli-extrasstuebinm1-2/+1
both these packages are hard to use, seem to be either unfinished or abandoned, and also generally not very good. Also for some reason they depend on `lens`. Removing them dramatically shrunk the dependency closure!
2022-03-19internal state: sort according to orgstuebinm1-2/+1
(also, more lenses i guess)
2022-03-19server: repositores & orgs fixed in configstuebinm1-0/+6
a very simple setup that might be usable for divoc and similar small events
2022-03-19… several hours of fighting with TOML laterstuebinm1-0/+1
WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?)
2022-03-19server: switch to universum prelude, some cleanupstuebinm1-1/+4
it's slightly less of a mess than it was before
2022-03-19server: added (somewhat) sensible loggingstuebinm1-26/+23
it's not very sensible, but at least it exists
2022-03-19server: admin interfacestuebinm1-1/+1
(for now, just a list of all maps and their current status)
2022-03-19server: present lint results in pretty htmlstuebinm1-0/+1
(this is mostly a rewrite / translation of the django templates built into rc3's hub)
2022-03-19server: simple servant-lucid stuffstuebinm1-1/+4
2022-03-19server: simple toml configstuebinm1-0/+1
2022-03-19server: proper job handlingstuebinm1-0/+2
Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting)
2022-03-19non-blocking serverstuebinm1-5/+6
2022-03-19basic server setup (using servant)stuebinm1-2/+34
adds a very basic http server that can be sent links to repositories & will download & lint them, then answer the request with the lints. Should probably do this in a non-blocking way …
2022-03-19use hpack and clean up modulesstuebinm1-76/+75
as annoying as yaml is, cabal's package format is somehow worse, apparently
2022-03-19playing around with typesstuebinm1-1/+3
2022-03-19use url package for parsing of urlsjonny1-1/+2
2021-12-30add dot language output for repository map graphsstuebinm1-1/+2
2021-12-27urlencode dereferrer linksstuebinm1-1/+2
2021-12-23add suggestions for misspelled propertiesstuebinm1-1/+2
(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
2021-12-22print version information on --versionstuebinm1-1/+4
If --version is given, `walint` prints version information, then exists with code 0.
2021-12-17simple graphviz visualisation of a repositorystuebinm1-1/+2
might be useful to have
2021-12-17some simple graph algorithmsstuebinm1-1/+3
this just checks for maps from which it's impossible to reach `main.json`, and then gives a warning. Properly it should check if these maps have an exit to outside the repository (in which case it may give a suggestion, and an error otherwise). Also, redid some of the CheckDir code. No idea what that mess was, but it's marginally nicer now.
2021-12-16fixed some warnings (and disabled others)stuebinm1-1/+1
So far i've never found an instance of -Wname-shadowing telling me anything useful, so it's disabled now, and most of the other trivial ones are fixed. (I assume this means I'll need -Wname-shadowing in about a day or two to find some bug ...)
2021-12-08rudimentary linting for overlapping layersstuebinm1-0/+1
2021-12-04lots of code reorganising and some deduplicationstuebinm1-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.
2021-12-02collect badges from object layersstuebinm1-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.
2021-11-20make link adjustments configurablestuebinm1-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.
2021-11-14too much type level stuff to read a config filestuebinm1-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.
2021-11-10extra module for repository writeoutstuebinm1-0/+1
2021-10-04relax dependency versionsstuebinm1-2/+2
2021-10-04removed unnecessary dependencystuebinm1-1/+1
2021-10-01rename to walintstuebinm1-4/+4
2021-09-30nicer json output which leaks less haskell namesstuebinm1-1/+2
2021-09-23prettier pretty printing and stuffstuebinm1-0/+1
also, configurable log level, which only required relaxing the type system once!
2021-09-23handle all maps in entire repositoriesstuebinm1-0/+1
(+ checking that paths don't run outside of respositories)
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 01:21:55 +0000