walint - A linter for workadventure maps

	Commit message (Collapse)	Author	Age	Files	Lines
*	handle all maps in entire repositories	stuebinm	2021-09-23	5	-73/+105
\| \| \| \|	(+ checking that paths don't run outside of respositories)
*	very naïve handling of directories	stuebinm	2021-09-23	7	-27/+124
\|
*	use PrettyPrinter more	stuebinm	2021-09-20	4	-29/+20
\|
*	typechecking for path depths!	stuebinm	2021-09-20	4	-69/+127
\| \| \| \| \| \|	This now checks if relative paths are still inside the repository, as a general safety mechanism to stop the linter from accidentally reading other things, as well as a nice hint for users.
*	rebuilding the core LintWriter monad	stuebinm	2021-09-20	3	-93/+68
\| \| \| \| \|	it is no longer an Either since that wasn't used anyways, but is now also a Reader.
*	simple parsing of local dependency paths	stuebinm	2021-09-20	4	-21/+27
\|
*	moving code around	stuebinm	2021-09-20	1	-57/+69
\|
*	lint embedded tilesets	stuebinm	2021-09-20	4	-11/+21
\|
*	lint map things that aren't custom properties	stuebinm	2021-09-20	2	-12/+36
\|
*	lint general map properties	stuebinm	2021-09-20	4	-72/+121
\|
*	some properties require non-empty layers	stuebinm	2021-09-19	4	-46/+92
\|
*	support for properties that aren't strings	stuebinm	2021-09-19	4	-49/+88
\| \| \| \|	apparently i couldn't read or something?
*	collecting map dependencies	stuebinm	2021-09-18	4	-20/+70
\|
*	moved types into Types.hs	stuebinm	2021-09-18	5	-51/+67
\| \| \| \|	it's almost as if there's some structure to this code!
*	can collect dependencies!	stuebinm	2021-09-18	4	-25/+56
\| \| \| \| \| \| \|	There's now a Lint type, which may be either a "true lint" (which is a Hint, which contains some message and level of severity), or a Depends, which indicates that this map depends on some ressource or other (and is otherwise treated as a special info Hint in all other cases)
*	type check properties	stuebinm	2021-09-18	3	-56/+42
\| \| \| \| \| \|	/finally/ figured out that all properties just look like {name, value, type} so now that's abstracted away and Properties.hs doesn't look like javascript anymore
*	tame the strings	stuebinm	2021-09-18	5	-49/+62
\| \| \| \| \| \|	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	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