951 Commits

Author	SHA1	Message	Date
Rob Rix	6ee5c2d261	Force the after branch of replacements onto the next line.	2017-09-10 16:11:07 +01:00
Rob Rix	a2d9decbf0	Reformat replacements in sexpression rendering.	2017-09-10 16:03:36 +01:00
Rob Rix	5f7adb59be	Dedupe replacements.	2017-09-10 15:54:40 +01:00
Rob Rix	b330eb45eb	Produce only a single entry for patches.	2017-09-10 15:38:09 +01:00
Rob Rix	cc1f75cb1a	Place entries for patch nodes above the body of the patch.	2017-09-10 15:25:38 +01:00
Rob Rix	fd05f7cb80	Patches count as changes.	2017-09-10 15:23:22 +01:00
Rob Rix	e5d345dca7	Simplify the selection of patches.	2017-09-10 15:15:14 +01:00
Rob Rix	d678048dfd	Fix tables of contents for patches.	2017-09-10 10:46:04 +01:00
Rob Rix	8fff046b02	Correct s-expression output on the first line.	2017-09-09 23:16:24 +01:00
Rob Rix	760955c120	Apply padding to terms in renderSExpressionTerm.	2017-09-09 23:06:31 +01:00
Rob Rix	b7fa780060	Simplify some folds.	2017-09-09 23:01:51 +01:00
Rob Rix	e57beaeb9f	Tweaks to s-expression rendering.	2017-09-09 22:56:41 +01:00
Rob Rix	66fc464357	Get rid of the other padding mechanism.	2017-09-09 22:27:46 +01:00
Rob Rix	5baab6ea6b	Avoid extra newlines on the first line.	2017-09-09 21:48:40 +01:00
Rob Rix	987dcb7839	Patches recur through Diff.	2017-09-09 21:36:18 +01:00
Rob Rix	6eb0f7cff6	Add bindings & variables to diffs.	2017-09-09 18:14:05 +01:00
Rob Rix	0bfd29fddc	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-09 17:49:12 +01:00
Rob Rix	d0a2687edc	🔥 all the LANGUAGE pragmas in Renderer.JSON.	2017-09-09 17:46:35 +01:00
Rob Rix	7404b41717	Renderer.JSON no longer contains orphan instances.	2017-09-09 17:46:08 +01:00
Rob Rix	c83746e74e	Move the Output instance for [Value] to Data.Output.	2017-09-09 17:45:49 +01:00
Rob Rix	f6f1b21d94	Move the Output instance for maps to Data.Output.	2017-09-09 17:45:01 +01:00
Rob Rix	5be89f11ee	🔥 Renderer.JSON’s export of ToJSONFields.	2017-09-09 17:41:24 +01:00
Rob Rix	44aab0edcf	Renderer.JSON is decidable.	2017-09-09 17:39:46 +01:00
Rob Rix	c6a111b71d	🔥 the ToJSON instance for Both.	2017-09-09 17:39:08 +01:00
Rob Rix	f30a5d0754	Move the ToJSON/ToJSONFields instances for Diff into Diff.	2017-09-09 17:37:26 +01:00
Rob Rix	c449ad481e	Move the ToJSON/ToJSONFields instances for Term into Term.	2017-09-09 17:36:35 +01:00
Rob Rix	8ce60eecb8	Lift the Term/Diff ToJSONFields instances to * -> *.	2017-09-09 17:35:45 +01:00
Rob Rix	aa78f3eaeb	Move the ToJSONFields instance for Category into Category.	2017-09-09 17:30:34 +01:00
Rob Rix	0845687d51	Move the ToJSONFields instance for Syntax into Syntax.	2017-09-09 17:25:55 +01:00
Rob Rix	4e3c34d8f7	Move the ToJSONFields instance for Patch into Patch.	2017-09-09 17:24:56 +01:00
Rob Rix	41ecede023	🔥 the ToJSONFields instance for unpopulated Unions.	2017-09-09 17:23:58 +01:00
Rob Rix	5b62e4bf5c	Move the ToJSONFields instance for populated Unions into Data.JSON.Fields.	2017-09-09 17:23:49 +01:00
Rob Rix	7bb92dfd98	Move the ToJSONFields instance for [] into Data.JSON.Fields.	2017-09-09 17:23:28 +01:00
Rob Rix	c1b521ab9b	Move the ToJSONFields instance for Maybe into Data.JSON.Fields.	2017-09-09 17:23:14 +01:00
Rob Rix	d7a5ea152d	Move the ToJSONFields instance for Span into Data.Span.	2017-09-09 17:20:43 +01:00
Rob Rix	42c1795c0a	Move the ToJSONFields instance for Range into Data.Range.	2017-09-09 17:19:46 +01:00
Rob Rix	62603c803c	Move the ToJSONFields/ToJSON instances for Records into Data.Record.	2017-09-09 17:18:24 +01:00
Rob Rix	7a88cad094	Move the ToJSONFields instance for Both into the Data.JSON.Fields module.	2017-09-09 17:18:10 +01:00
Rob Rix	3e12a91359	Move ToJSONFields into its own module.	2017-09-09 17:16:00 +01:00
Rob Rix	acff088e68	Define printTerm as a catamorphism.	2017-09-09 16:58:41 +01:00
Rob Rix	9765775242	Define printDiff as a catamorphism.	2017-09-09 16:55:32 +01:00
Rob Rix	3ad5374b94	Move all the Listable stuff into the tests.	2017-09-09 14:44:57 +01:00
Rob Rix	b7e211c9c2	Redefine Term as a wrapper for TermF.	2017-09-09 11:47:10 +01:00
Rob Rix	1267fe5ea7	Rename the In constructor to Copy.	2017-09-09 11:27:04 +01:00
Rob Rix	9e40e9a09a	Give our own definition of Diff.	2017-09-09 11:23:57 +01:00
Rob Rix	07bef3f75e	🔥 deepseq.	2017-09-08 17:35:55 +01:00
Rob Rix	f2cd05d5fc	Rename Cofree/CofreeF to Term/TermF.	2017-09-08 16:45:08 +01:00
Rob Rix	aa9d4c4f19	Give our own definition of CofreeF.	2017-09-08 16:40:23 +01:00
Rob Rix	1a6af2179b	Give our own definition of Cofree.	2017-09-08 16:24:11 +01:00
Rob Rix	a0adfdf0cf	Constrain to Foldable/Functor instead of Traversable.	2017-08-08 10:00:31 -04:00