7574 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	abacae0cc0	redundant imports	2016-07-25 12:35:22 -04:00
joshvera	c7bdc8cd5b	let it breathe	2016-07-25 12:32:02 -04:00
joshvera	4ab572c94b	Merge remote-tracking branch 'origin/master' into property-tests	2016-07-25 12:30:23 -04:00
Rob Rix	07dd026e55	Merge pull request #611 from github/syntax-redux ... Flesh out syntax for diff summaries	2016-07-22 17:18:44 -04:00
joshvera	9686a7e53b	Remove extra split2.html	2016-07-22 17:10:11 -04:00
joshvera	8e15f9c955	Use unwrap	2016-07-22 17:10:11 -04:00
joshvera	b5119dab1e	Include Info	2016-07-22 14:51:08 -04:00
joshvera	485fc884a4	Merge branch 'syntax-redux' into property-tests	2016-07-22 14:39:54 -04:00
joshvera	5fe5da65b0	Use unwrap	2016-07-22 14:20:03 -04:00
Rob Rix	da42f2402f	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 14:17:45 -04:00
Rob Rix	be23bd05cf	Turn off RankNTypes in the Parser module.	2016-07-22 13:59:22 -04:00
Rob Rix	aa2b6a277c	🔥 unused inner functions.	2016-07-22 13:54:46 -04:00
Rob Rix	c92cc987ed	Put some formatting back.	2016-07-22 13:52:48 -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
Josh Vera	092fe3752a	Merge pull request #643 from github/🔥-orphan-instances ... 🔥 orphan instances	2016-07-22 12:37:54 -04:00
joshvera	70f9329f1a	Merge remote-tracking branch 'origin/master' into syntax-redux	2016-07-22 12:36:03 -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
joshvera	bd985202ee	Add an error case to Objects	2016-07-17 11:18:45 -04:00
joshvera	ad4d36f7fd	Add a CoArbitrary instance to Category	2016-07-17 11:18:31 -04:00
joshvera	a4851ba063	type signatures	2016-07-15 20:32:48 -04:00
joshvera	78bb7779a4	Test annotatedSummaries	2016-07-15 17:11:45 -04:00
joshvera	ac36cf5bcc	Pretty print diff summaries as lists of LeafInfo Docs	2016-07-15 17:06:41 -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
joshvera	ed2f8bd57d	Delete comments	2016-07-15 15:24:40 -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