7613 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ba90fdac88	Define a GSequenceable instance over [].	2016-07-22 16:06:29 -04:00
Rob Rix	ac6c451ab8	Sequenceable implies Functor.	2016-07-22 16:05:50 -04:00
Rob Rix	735f8128cf	Define GSequenceable over products.	2016-07-22 16:01:07 -04:00
Rob Rix	21370a49a0	Define GSequenceable over sums.	2016-07-22 16:00:01 -04:00
Rob Rix	3913e078f4	Define GSequenceable over M1.	2016-07-22 15:58:36 -04:00
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
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
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