7310 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	9a94dddd2b	Define GSequenceable over Rec1.	2016-07-22 15:57:47 -04:00
Rob Rix	bc5f05494d	Define a default implementation of gsequenceAlt.	2016-07-22 15:42:31 -04:00
Rob Rix	ff869ec517	Define GSequenceable over K1.	2016-07-22 15:40:05 -04:00
Rob Rix	5b36bf1507	Define GSequenceable over Par1.	2016-07-22 15:40:01 -04:00
Rob Rix	7203942df2	Implement GSequenceable over unit constructors.	2016-07-22 15:36:17 -04:00
Rob Rix	e93a826f52	Stub in a GSequenceable typeclass.	2016-07-22 15:34:28 -04:00
Rob Rix	808f15d40e	Stub in a generic Sequenceable module.	2016-07-22 15:33:01 -04:00
Rob Rix	dd0e4d890f	Define mergeMaybe’s algebra using sequenceAlt.	2016-07-22 15:32:11 -04:00
Rob Rix	22476895c6	Define mergeMaybe’s algebra by iteration. ... This is a restricted class of catamorphism which happens to line up exactly with what we’re doing here.	2016-07-22 15:31:10 -04:00
Rob Rix	9b322da2be	Add a Sequenceable instance over Syntax.	2016-07-22 15:30:35 -04:00
Rob Rix	a9829e67cd	Add a Sequenceable instance over [].	2016-07-22 15:29:12 -04:00
Rob Rix	f53cf8f05e	Stub in a Sequenceable typeclass.	2016-07-22 15:28:47 -04:00
Josh Vera	092fe3752a	Merge pull request #643 from github/🔥-orphan-instances ... 🔥 orphan instances	2016-07-22 12:37:54 -04:00
Rob Rix	093048b736	Stop hiding a symbol we don’t shadow.	2016-07-22 11:58:09 -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	389b2ddfa6	Use joinCrosswalk in the spec.	2016-07-22 11:40:04 -04:00
Rob Rix	faa195ea8f	Add a drop-in for Crosswalk over Bicrosswalkable Joins.	2016-07-22 11:39:56 -04:00
Rob Rix	4f8ef622aa	Use the Bicrosswalk instance directly.	2016-07-22 11:39:30 -04:00
Josh Vera	224332fb86	Merge pull request #639 from github/generalize-rws-over-the-functor ... Generalize rws over the functor	2016-07-22 11:24:00 -04:00
Rob Rix	0016bb92ea	Merge branch 'master' into generalize-rws-over-the-functor	2016-07-21 11:49:55 -04:00
Josh Vera	320a4cefef	Merge pull request #641 from github/🔥-diff-output-module ... 🔥 the DiffOutput module	2016-07-21 11:48:02 -04:00
joshvera	7cadd91ca3	Merge remote-tracking branch 'origin/master' into 🔥-diff-output-module	2016-07-21 11:46:06 -04:00
Josh Vera	43e63ae6e6	Merge pull request #638 from github/🔥-the-size-field ... 🔥 the size field	2016-07-21 11:18:35 -04:00
Rob Rix	13205aa009	Pattern match inline.	2016-07-15 16:11:36 -04:00
Rob Rix	c92ce1b6fd	printDiff calls into textDiff.	2016-07-15 16:05:17 -04:00
Rob Rix	3b61b5c5be	Rearrange printDiff to apply the --output flag in all cases.	2016-07-15 16:03:51 -04:00
Rob Rix	631b557823	🔥 DiffOutput.hs.	2016-07-15 16:01:43 -04:00
Rob Rix	48edd67a65	Move textDiff, truncatedDiff, and printDiff into Diffing.hs.	2016-07-15 16:00:39 -04:00
Rob Rix	3794c7a437	Replace an obscure hylo with a clearer cata.	2016-07-15 15:18:51 -04:00
Rob Rix	ae8d744061	📝 rws in full.	2016-07-15 15:15:22 -04:00
Rob Rix	0337e18baf	Correct the documentation of rws.	2016-07-15 15:13:14 -04:00
Rob Rix	145252c8ba	Generalize UnmappedTerm, allowing a decidable Eq instance.	2016-07-15 15:12:27 -04:00
Rob Rix	882c4fe2ff	Generalize rws over arbitrary functors.	2016-07-15 15:05:46 -04:00
Rob Rix	bdb93ef44b	pqGrams doesn’t require Syntax.	2016-07-15 14:55:26 -04:00
Rob Rix	2d4778160f	We no longer rely on Hashable leaves.	2016-07-15 14:54:34 -04:00
Rob Rix	190dcfe18c	pqGrams doesn’t include leaf values in labels itself.	2016-07-15 14:49:39 -04:00
Rob Rix	d6bf0920bd	Add leaf values to the labels computed in Interpreter.	2016-07-15 14:49:21 -04:00
Rob Rix	4b33b24a05	Labels are computed from the entire term.	2016-07-15 14:45:37 -04:00
Rob Rix	9ca138df07	Assign siblings and merge in a single step.	2016-07-15 14:35:14 -04:00
Rob Rix	7b27fc2f73	Merge branch 'master' into 🔥-the-size-field	2016-07-15 11:34:13 -04:00
Josh Vera	6fa57a5e58	Merge pull request #637 from github/generalize-all-the-things! ... Generalize all the things!	2016-07-15 11:32:13 -04:00
Rob Rix	85659ec988	Fix up the asymmetrical context fixture.	2016-07-15 11:31:43 -04:00
Rob Rix	529334a552	Fix up the dictionary fixture.	2016-07-15 11:30:49 -04:00
Rob Rix	292a8f0a07	Fix up the multiline insert fixture.	2016-07-15 11:29:15 -04:00
Rob Rix	fcc4df2232	Fix up the insert fixture.	2016-07-15 11:27:48 -04:00
Rob Rix	2d1dea1270	Fix up the nested insert fixture.	2016-07-15 11:26:18 -04:00
Rob Rix	49291bf1ab	Fix up the newline-at-eof fixture.	2016-07-15 11:26:11 -04:00
Rob Rix	5af6188b17	Fix up the no-newline-at-eof fixture.	2016-07-15 11:23:18 -04:00
Rob Rix	ce4ad3d9bc	Fix up the reformat fixture.	2016-07-15 11:20:55 -04:00