Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | remove leftover rc3 things & some new stuff | stuebinm | 2022-03-19 | 9 | -183/+222 |
| | | | | | | | | | | | | | this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking! | ||||
* | linter: allow unrestricted domain scopes | stuebinm | 2022-03-19 | 2 | -23/+15 |
| | |||||
* | linter: remove bbb-simulating code | stuebinm | 2022-03-19 | 2 | -35/+5 |
| | |||||
* | walint: yet more strictness | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | | | | (though this time it doesn't seem to do much, if anything) | ||||
* | server: fix an annoying space | stuebinm | 2022-03-19 | 1 | -2/+1 |
| | |||||
* | server: small html improvements | stuebinm | 2022-03-19 | 1 | -3/+6 |
| | | | | bootstrap is horrible and should be replaced | ||||
* | fix cwality-maps | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | | | | whoops, forgot this earlier | ||||
* | make tiled even more strict | stuebinm | 2022-03-19 | 2 | -11/+11 |
| | | | | | | turns out aeson really REALLY likes to keep huge scientific numbers around, which is great if your data structures consist largely of arrays of (small) integers! | ||||
* | make tiled stricter (and organise some imports) | stuebinm | 2022-03-19 | 7 | -63/+50 |
| | |||||
* | walint: some marginally nicer code | stuebinm | 2022-03-19 | 1 | -55/+47 |
| | |||||
* | server: decrease default lint interval | stuebinm | 2022-03-19 | 1 | -1/+1 |
| | |||||
* | server: don't hardcode the websocket domain/protocol | stuebinm | 2022-03-19 | 1 | -1/+2 |
| | |||||
* | update haskell.nix hash | stuebinm | 2022-03-19 | 1 | -2/+2 |
| | |||||
* | server: websocket for updates & auto-reload | stuebinm | 2022-03-19 | 9 | -84/+158 |
| | | | | todo: find a better solution than writing javascript in haskell strings. SERIOUSLY. | ||||
* | server: add a very simple relint button | stuebinm | 2022-03-19 | 5 | -40/+79 |
| | |||||
* | update readme | stuebinm | 2022-03-19 | 1 | -27/+22 |
| | | | | | this isn't comprehensive or anything, but at least acknowledges that this repo now contains more than just the linter | ||||
* | mapserver: somewhat more decent logging | stuebinm | 2022-03-19 | 4 | -27/+32 |
| | |||||
* | cwality-maps: better logging | stuebinm | 2022-03-19 | 3 | -5/+13 |
| | |||||
* | cwality-maps: remove unused parameters | stuebinm | 2022-03-19 | 1 | -5/+2 |
| | | | | | the substitutions + templating seems reasonably powerfull, let's see how far we get without custom-made specific things. | ||||
* | cwality-maps: add mustache templating | stuebinm | 2022-03-19 | 6 | -62/+120 |
| | | | | | not going to be my faviourite templating language, but it seems to work pretty well for this. | ||||
* | little server for making cwality maps (which meow, for now) | stuebinm | 2022-03-19 | 5 | -3/+296 |
| | |||||
* | separate tiled modules out into own package | stuebinm | 2022-03-19 | 10 | -17/+46 |
| | |||||
* | server: write out adjusted maps | stuebinm | 2022-03-19 | 6 | -27/+69 |
| | |||||
* | remove unused dependencies | stuebinm | 2022-03-19 | 2 | -6/+0 |
| | |||||
* | switch to universum prelude | stuebinm | 2022-03-19 | 24 | -303/+287 |
| | | | | also don't keep adjusted maps around if not necessary | ||||
* | sprinkle some NFData everywhere | stuebinm | 2022-03-19 | 11 | -39/+62 |
| | | | | (also some evaluateNF, leading to slightly less memory usage) | ||||
* | server: remove a thunk leak | stuebinm | 2022-03-19 | 4 | -22/+34 |
| | | | | | (really a lot of these data structures should be eagerly evaluated into normal form, i suspect there's still a lot to be gained) | ||||
* | update nix build system | stuebinm | 2022-03-19 | 2 | -4/+4 |
| | |||||
* | server: exneuland wants a token, apparently | stuebinm | 2022-03-19 | 3 | -19/+17 |
| | |||||
* | server: post map updates to exneuland's API | stuebinm | 2022-03-19 | 5 | -20/+71 |
| | |||||
* | server: remove cli-git, cli-extras | stuebinm | 2022-03-19 | 4 | -42/+58 |
| | | | | | | | | 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! | ||||
* | server: add mapservice GET endpoint | stuebinm | 2022-03-19 | 6 | -57/+75 |
| | |||||
* | internal state: sort according to org | stuebinm | 2022-03-19 | 7 | -45/+84 |
| | | | | (also, more lenses i guess) | ||||
* | server: repositores & orgs fixed in config | stuebinm | 2022-03-19 | 8 | -199/+245 |
| | | | | a very simple setup that might be usable for divoc and similar small events | ||||
* | … several hours of fighting with TOML later | stuebinm | 2022-03-19 | 6 | -71/+115 |
| | | | | | | WHO THOUGHT THIS SYNTAX WAS A GOOD IDEA?? (and who decided to write the least obvious combinator library to parse it?) | ||||
* | server: switch to universum prelude, some cleanup | stuebinm | 2022-03-19 | 10 | -146/+1186 |
| | | | | it's slightly less of a mess than it was before | ||||
* | add haskell.nix build system | stuebinm | 2022-03-19 | 5 | -4/+57 |
| | | | | | | it's an annoying blockchain company, but apparently that thing is the only usable option to build stack things with nix without having to redefine all the (outdated) haskell packages in nixpkgs? | ||||
* | don't fail compilation if git is unavailable | stuebinm | 2022-03-19 | 1 | -1/+3 |
| | | | | (instead, `walint --version` will now just say "unknown") | ||||
* | server: added (somewhat) sensible logging | stuebinm | 2022-03-19 | 4 | -66/+75 |
| | | | | it's not very sensible, but at least it exists | ||||
* | server: more debug output | stuebinm | 2022-03-19 | 1 | -1/+1 |
| | |||||
* | server: admin interface | stuebinm | 2022-03-19 | 5 | -65/+118 |
| | | | | (for now, just a list of all maps and their current status) | ||||
* | server: present lint results in pretty html | stuebinm | 2022-03-19 | 11 | -47/+2359 |
| | | | | | (this is mostly a rewrite / translation of the django templates built into rc3's hub) | ||||
* | server: simple servant-lucid stuff | stuebinm | 2022-03-19 | 8 | -12/+111 |
| | |||||
* | server: simple toml config | stuebinm | 2022-03-19 | 5 | -17/+49 |
| | |||||
* | server: proper job handling | stuebinm | 2022-03-19 | 5 | -67/+114 |
| | | | | | Note: the server will not check submissions for duplicates! (nor does it do any kind of rate-limiting) | ||||
* | non-blocking server | stuebinm | 2022-03-19 | 6 | -94/+134 |
| | |||||
* | basic server setup (using servant) | stuebinm | 2022-03-19 | 7 | -3/+274 |
| | | | | | | | 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 … | ||||
* | use hpack and clean up modules | stuebinm | 2022-03-19 | 13 | -148/+219 |
| | | | | as annoying as yaml is, cabal's package format is somehow worse, apparently | ||||
* | playing around with types | stuebinm | 2022-03-19 | 4 | -1/+40 |
| | |||||
* | use url package for parsing of urls | jonny | 2022-03-19 | 3 | -13/+32 |
| |