5752 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	f2a6895c6d	Constrain childLines to Crosswalk functors.	2016-03-14 14:53:25 -04:00
Rob Rix	b4415d7b93	Constrain adjoinChildren to Crosswalk functors.	2016-03-14 14:52:34 -04:00
Rob Rix	54a12b9c22	splitAbstractedTerm is constrained to Crosswalk functors.	2016-03-14 14:50:54 -04:00
Rob Rix	65f759069c	Use a let because nested wheres are a bit gross.	2016-03-14 14:32:48 -04:00
Rob Rix	1f62641fd3	Move makeBranchTerm into adjoinChildren.	2016-03-14 14:31:24 -04:00
Rob Rix	c877cdf0d2	s/MaybeBoth/BothMaybe.	2016-03-14 14:13:46 -04:00
Rob Rix	48df75b7ed	Align diffs in MaybeBoth.	2016-03-14 14:13:06 -04:00
Rob Rix	bf74097847	Add a bothWithDefault function to convert MaybeBoth back into Both.	2016-03-14 14:11:01 -04:00
Rob Rix	d78d15c578	Add a Coalescent instance over Maybe.	2016-03-14 12:29:21 -04:00
Rob Rix	6231024f38	Simplify Identity’s Coalescent instance.	2016-03-14 12:29:11 -04:00
Rob Rix	3b5f2a47b3	🔥 adjoinRows.	2016-03-14 10:35:35 -04:00
Rob Rix	79ac625dc8	Align by mappending Adjoined values.	2016-03-14 10:35:31 -04:00
Rob Rix	e968825b62	Generalize makeBranchTerm to Foldable Functors.	2016-03-14 10:00:48 -04:00
Rob Rix	fdf91d4f2a	Add an Align instance for Adjoined.	2016-03-14 09:37:54 -04:00
Rob Rix	7a2d331f40	Document snoc.	2016-03-14 09:26:42 -04:00
Rob Rix	ce912716ea	Document cons.	2016-03-14 09:26:39 -04:00
Rob Rix	7f74d0dc2e	Add snoc to construct Adjoined rightwards.	2016-03-14 09:25:59 -04:00
Rob Rix	6db4b1ce7a	Add cons to construct Adjoined leftwards.	2016-03-14 09:25:48 -04:00
Rob Rix	b39132299f	🔥 Source.cons.	2016-03-14 09:22:31 -04:00
Rob Rix	096680b668	Document uncons/unsnoc.	2016-03-14 09:17:26 -04:00
Rob Rix	564128a80a	Document fromList.	2016-03-14 09:17:19 -04:00
Rob Rix	7fe578e9c6	Merge branch 'master' into adjoin-associatively	2016-03-11 18:56:10 -05:00
Rob Rix	db103aea51	Rewrite the Monoid instance using the uncons/unsnoc functions.	2016-03-11 18:43:28 -05:00
Rob Rix	115549407c	Add an unsnoc function to unpack the right side of an Adjoined.	2016-03-11 18:40:45 -05:00
Rob Rix	004236acdb	Add an uncons function to unpack the left side of an Adjoined.	2016-03-11 18:40:32 -05:00
Rob Rix	1bb87bf6ee	Fix up a bunch of toLists into toStrings.	2016-03-11 18:35:31 -05:00
Rob Rix	2c91333d16	Use GeneralizedNewtypeDeriving to clean up Source. ... O(1) null, and far fewer symbol collisions.	2016-03-11 18:31:01 -05:00
Rob Rix	59edb8ff41	splitPatchByLines returns Adjoined.	2016-03-11 17:59:58 -05:00
Rob Rix	cf63f4b222	Split the guards across multiple lines.	2016-03-11 17:46:25 -05:00
Rob Rix	db7fe81ef0	Merge pull request #512 from github/add-newline-diff-text ... Add newline diff text to diffs	2016-03-11 17:43:32 -05:00
joshvera	df8f7589ee	Test we've added a nonewline line	2016-03-11 17:19:20 -05:00
joshvera	14094590a8	add-nonewline-diff-test	2016-03-11 17:02:50 -05:00
Rob Rix	c0b9e66981	Document justBoth.	2016-03-11 16:59:34 -05:00
Rob Rix	a6d2892a31	Add a justBoth function to lift Both a into MaybeBoth a.	2016-03-11 16:58:53 -05:00
Rob Rix	62c1798bf5	Document maybeBothOfThese.	2016-03-11 16:57:32 -05:00
Rob Rix	8b51fe7771	MaybeBoth is Coalescent.	2016-03-11 16:49:29 -05:00
Rob Rix	f8afe6208a	MaybeBoth is a Crosswalk.	2016-03-11 16:49:24 -05:00
Rob Rix	eaf8228932	MaybeBoth is Applicative.	2016-03-11 16:48:54 -05:00
Rob Rix	15cfd88fb5	Add maybeBothOfThese to construct Both (Maybe a) from These a a.	2016-03-11 16:48:33 -05:00
Rob Rix	95b229ad20	Add a newtype wrapper around Both (Maybe a).	2016-03-11 16:48:12 -05:00
Rob Rix	536053ef73	Use the Monoid instance to concatenate lists. ... This will allow us to swap lists out for some other Monoid.	2016-03-11 15:29:12 -05:00
Rob Rix	859dd44fa0	Revert "🔥 bothOfThese." ... This reverts commit 0c31bffad138ea4b9b5017ea0ed7f3384fcc4771.	2016-03-11 15:22:30 -05:00
Rob Rix	c6568f0b43	Revert "🔥 a redundant import." ... This reverts commit e8b9b70289c72dc9f23f4afc1139130dc60b57ca.	2016-03-11 15:22:26 -05:00
Rob Rix	48af1161e7	adjoinRows takes an AlignFunction.	2016-03-11 14:27:56 -05:00
Rob Rix	842af743e7	Document Adjoined.	2016-03-11 14:25:53 -05:00
Rob Rix	379208b3a3	🔥 qualifications of zip & zipWith.	2016-03-11 14:21:42 -05:00
Rob Rix	fa8f9c15b0	🔥 Both.zip & Both.zipWith.	2016-03-11 14:21:24 -05:00
Rob Rix	9c011d7de5	Migrate off Both.zip.	2016-03-11 14:21:07 -05:00
Rob Rix	1308b5b3f5	Only export the spec.	2016-03-11 14:14:28 -05:00
Rob Rix	4110048ae7	More specific documentation of Semicoalesced.	2016-03-11 14:14:07 -05:00