5682 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e5bdcb8ba4	Forgot the constructor name.	2016-03-14 19:54:12 -04:00
Rob Rix	3620b79f54	Join over Bifunctors is a Functor.	2016-03-14 19:49:53 -04:00
Rob Rix	b6f2385ead	Stub in a Join type.	2016-03-14 19:49:05 -04:00
Rob Rix	7f83e07fe9	Stub the Join module back in.	2016-03-14 19:48:37 -04:00
Rob Rix	1b274c3e57	🔥 BothMaybe.	2016-03-14 19:46:56 -04:00
Rob Rix	34a76bfe93	🔥 alignRows again.	2016-03-14 19:45:08 -04:00
Rob Rix	aa36f83da3	Diff over TotalCrosswalk functors.	2016-03-14 19:45:02 -04:00
Rob Rix	c6c25a3fc6	Add a TotalCrosswalk instance for Both.	2016-03-14 19:44:46 -04:00
Rob Rix	f376e77f6e	Add a TotalCrosswalk instance for Identity.	2016-03-14 19:44:40 -04:00
Rob Rix	ba1ac48a5e	Add TotalCrosswalk which takes a default.	2016-03-14 19:44:32 -04:00
Rob Rix	93414f43ad	Diff entirely within Both.	2016-03-14 19:17:44 -04:00
Rob Rix	83ea2f1254	Restore the documentation for alignRows.	2016-03-14 19:16:48 -04:00
Rob Rix	79ff5f9395	Re-add alignRows.	2016-03-14 19:15:40 -04:00
Rob Rix	6b28569afc	Add a function to modify the tuple inside a Both.	2016-03-14 19:14:29 -04:00
Rob Rix	d7d3aad38e	🔥 a redundant import.	2016-03-14 19:13:33 -04:00
Rob Rix	093ff92478	🔥 coalesceLines.	2016-03-14 19:13:12 -04:00
Rob Rix	5bc7448f26	The new Coalescent signature admits an instance over Both.	2016-03-14 18:34:16 -04:00
Rob Rix	e512d6f0d7	coalesce depends on an Alternative instance.	2016-03-14 18:31:17 -04:00
Rob Rix	b3987e8eab	🔥 the HTML I didn’t mean to commit in the first place.	2016-03-14 18:31:03 -04:00
Rob Rix	a23fcf204e	Add an Alternative instance over Adjoined.	2016-03-14 18:30:44 -04:00
Rob Rix	47c1a47715	🔥 some primes.	2016-03-14 16:42:25 -04:00
Rob Rix	ec4b30eee7	Rename the range to next indices function.	2016-03-14 15:56:09 -04:00
Rob Rix	8c296b83be	Document bothWithDefault.	2016-03-14 15:41:40 -04:00
Rob Rix	5eded53479	Patch returns its values in These.	2016-03-14 15:40:35 -04:00
Rob Rix	10d0c6e74a	Extract the second value (if any) from These.	2016-03-14 15:29:51 -04:00
Rob Rix	360ff73135	Extract the first value (if any) from These.	2016-03-14 15:29:39 -04:00
Rob Rix	f079f41933	fmap inline.	2016-03-14 14:57:39 -04:00
Rob Rix	7e631f06d6	Fix a misaligned guard.	2016-03-14 14:56:56 -04:00
Rob Rix	3742f22eb6	mappend directly instead of building up a list.	2016-03-14 14:56:32 -04:00
Rob Rix	80c24de3ba	🔥 AlignFunction.	2016-03-14 14:54:09 -04:00
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