741 Commits

Author	SHA1	Message	Date
Rob Rix	6eb0f7cff6	Add bindings & variables to diffs.	2017-09-09 18:14:05 +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	9e4ae0ee34	Rename cofree to term.	2017-09-08 17:23:16 +01:00
Rob Rix	185818d8bd	Rename runCofree to unTerm.	2017-09-08 16:46:35 +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	a6fa1c80c9	Whoops.	2017-07-31 15:23:58 -04:00
Rob Rix	7da8799e08	🔥 Prologue & protolude.	2017-07-28 14:37:02 -04:00
Rob Rix	ed1533f7fc	Rename Data.Source.{drop,take,break} to disambiguate.	2017-06-24 11:26:08 -04:00
Rob Rix	43f9e70517	🔥 the export of Data.Source.break.	2017-06-24 11:17:17 -04:00
Rob Rix	323347446d	Rename actualLine* to sourceLine*.	2017-06-24 11:13:22 -04:00
Rob Rix	d2e4ce8dc3	🔥 the export of Data.Source.take.	2017-06-24 11:11:10 -04:00
Rob Rix	fc09d74b73	Rename the Source module to Data.Source.	2017-06-24 09:59:41 -04:00
Rob Rix	1edc6a2718	Rename the Range module to Data.Range.	2017-06-24 09:46:28 -04:00
Rob Rix	1c33f9faf3	Compute actualLineRanges over the whole Source.	2017-05-19 10:30:58 -04:00
Rob Rix	ccf92f9808	Rename setCharacterRange -> setByteRange.	2017-05-05 09:32:15 -04:00
Rob Rix	d9b6c51319	Extract the wrapInBranch lambda into a binding.	2017-05-05 09:31:23 -04:00
Rob Rix	634b8e450f	Apply the fusion law.	2017-05-05 09:30:27 -04:00
Rob Rix	231abd6cb5	Generalize alignment over the syntax functor.	2017-05-04 17:31:45 -04:00
Rob Rix	e3192150e2	Define take & drop functions for Source.	2017-04-21 13:36:41 -04:00
Rob Rix	75d3fc5079	🔥 stale hiding of fromList.	2017-02-16 14:28:32 -05:00
Rob Rix	a7bfbb72f4	Rename characterRange to byteRange.	2017-02-16 11:58:26 -05:00
Rob Rix	0ce897db17	🔥 Source.uncons.	2017-02-13 10:17:55 -05:00
Rob Rix	bc2a29d84e	Source is no longer parametric in the character type.	2017-02-10 11:21:24 -05:00
joshvera	bfe57829d6	Merge remote-tracking branch 'origin/master' into rws-large-diffs	2016-09-27 10:34:19 -04:00
Rob Rix	38d6bbe644	Merge branch 'master' into ghc8	2016-09-17 20:45:58 -04:00
joshvera	16aae4d95d	Move a few declarations into Prologue	2016-09-16 10:14:51 -04:00
Rob Rix	62196878fa	Merge branch 'master' into ghc8 ... # Conflicts: # semantic-diff.cabal # src/Diff.hs # src/Term.hs # src/Term/Arbitrary.hs # stack.yaml # tools/semantic-git-diff/src/SemanticDiff.hs	2016-09-14 16:12:47 -04:00
Rob Rix	953bf3ba58	Stop hiding ++, Source doesn’t export it any more.	2016-09-13 15:09:55 -04:00
Rob Rix	2b933904c9	Add specializations of Term/TermF/Diff/DiffF/SplitDiff over Syntax/Record.	2016-09-12 13:40:22 -04:00
Rob Rix	98637ad656	Generalize Term/TermF & Diff/DiffF over the functor.	2016-09-09 14:46:50 -04:00
Rick Winfrey	60d10c483e	Disambiguate between Syntax Comment and Category Comment	2016-08-16 13:08:55 -05:00
Rob Rix	7435e9069c	Wrap all the branch cases but Fixed in Indexed.	2016-07-26 03:50:13 -04:00
Rob Rix	b95cadd9a8	Factor catMaybes out of the alignment cases.	2016-07-22 18:43:16 -04:00
Rob Rix	a495f143aa	Align leaves and comments through alignBranch.	2016-07-22 18:42:31 -04:00
joshvera	819470afea	use biseuqnceL for comments	2016-07-22 12:55:54 -04:00
joshvera	b27eac56d9	Merge remote-tracking branch 'origin/master' into syntax-redux	2016-07-22 12:38:34 -04:00
joshvera	70f9329f1a	Merge remote-tracking branch 'origin/master' into syntax-redux	2016-07-22 12:36:03 -04:00
Rob Rix	041aea8f4c	🔥 the orphan Crosswalk instance over Join of Bicrosswalkable bifunctors.	2016-07-22 11:42:00 -04:00
Rob Rix	d8f8b50cb9	Compute Leaf alignment using the Bicrosswalk instance.	2016-07-22 11:41:45 -04:00
Rob Rix	4f8ef622aa	Use the Bicrosswalk instance directly.	2016-07-22 11:39:30 -04:00
Rob Rix	cd19193471	Avoid requiring Show instances everywhere.	2016-07-14 15:59:23 -04:00
joshvera	27c338331f	Merge remote-tracking branch 'origin/master' into syntax-redux	2016-07-14 15:22:46 -04:00
Rob Rix	2826a7948a	🔥 a redundant definition.	2016-07-14 14:07:33 -04:00
Rob Rix	b9b0bda2bd	🔥 a redundant import.	2016-07-14 14:07:22 -04:00
Rob Rix	2a85ef7668	Placate hlint.	2016-07-14 14:07:15 -04:00
Rob Rix	bc05e694a3	🔥 Keyed syntax nodes.	2016-07-12 23:27:09 -04:00
joshvera	28457049f2	Add some vertical space to ease debugging	2016-07-08 15:19:43 -04:00