walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	Functional jitsiRoomAdminTag adjustment	stuebinm	2021-11-14	1	-4/+1
\| \| \| \|	also yet another typeclass™, because why not?
*	too much type level stuff to read a config file	stuebinm	2021-11-14	1	-3/+19
\| \| \| \| \| \| \| \| \|	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.
*	fail on missing map assets	stuebinm	2021-11-10	1	-4/+6
\| \| \| \|	(but not (yet?) on missing maps/entrypoints)
*	copy map assets (and refuse if any are missing)	stuebinm	2021-11-10	1	-1/+1
\|
*	extra module for repository writeout	stuebinm	2021-11-10	1	-2/+2
\|
*	first example of a map adjustment	stuebinm	2021-11-09	1	-9/+15
\| \| \| \| \| \| \| \| \|	this also includes some more monad plumbing, and an option for the linter to actually write things out again. Some of the previous commit was reverted a bit since it turned out to be stupid, but overall it was suprisingly easy once I got around to it, so yay! i guess Also includes a fairly silly example of how to use it.
*	removed unnecessary dependency	stuebinm	2021-10-04	1	-4/+2
\|
*	prettier pretty printing and stuff	stuebinm	2021-09-23	1	-3/+5
\| \| \| \| \|	also, configurable log level, which only required relaxing the type system once!
*	handle all maps in entire repositories	stuebinm	2021-09-23	1	-7/+8
\| \| \| \|	(+ checking that paths don't run outside of respositories)
*	very naïve handling of directories	stuebinm	2021-09-23	1	-1/+3
\|
*	tame the strings	stuebinm	2021-09-18	1	-6/+7
\| \| \| \| \| \|	Adds a PrettyPrint typeclass which operates on Text and should replace Show, since constantly converting strings from linked lists to arrays seems somewhat silly.
*	(somewhat) reasonable representation of parse errors	stuebinm	2021-09-17	1	-6/+3
\| \| \| \| \| \| \| \|	This makes map loading (and parsing) part of the linter, and also makes it return "general lints" and nothing else in case that failed. Possibly a sum type would be nicer here, but I guess it's not really important since everything ends up as json anyways?
*	input options, output json	stuebinm	2021-09-16	1	-44/+41
\| \| \| \| \| \| \|	input options are mostly dummies for now, but some work (e.g. --inpath and --json). Lints can now be optionally printed as json to be reasonably machine-readable (and the json can be pretty-printed to make it human-readable again …).
*	moving lots of code around	stuebinm	2021-09-16	2	-561/+26
\| \| \| \|	(also renaming things now that concepts seem a bit clearer)
*	small update	stuebinm	2021-09-16	1	-5/+6
\|
*	simple proof of concept	stuebinm	2021-09-05	2	-0/+591
	Lots of monads everywhere, hurray! (unfortunately, workadventure maps don't quite form a category; they lack composition …) Credits: - the example.json file is by TabascoEye (with some modifications for testing purposes) - the Tiled module is forked from aeson-tiled on hackage, since that package didn't handle custom layer properties correctly