walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	(somewhat) reasonable representation of parse errors	stuebinm	2021-09-17	3	-23/+44
\| \| \| \| \| \| \| \|	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	5	-63/+152
\| \| \| \| \| \| \|	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 …).
*	some unused code	stuebinm	2021-09-16	1	-5/+2
\|
*	moving lots of code around	stuebinm	2021-09-16	7	-169/+260
\| \| \| \|	(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	6	-0/+41904
	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