5689 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	11fc889883	Add a Coalescent instance for Join over These.	2016-03-14 20:19:44 -04:00
Rob Rix	f8678b6f8e	Add a Crosswalk instance for Join over These.	2016-03-14 20:19:37 -04:00
Rob Rix	61eaa04f9a	Add a Traversable instance for Join over These.	2016-03-14 20:19:15 -04:00
Rob Rix	cbbae46744	Add an Applicative instance for Join over These.	2016-03-14 20:19:08 -04:00
Rob Rix	8260c08cdd	Add a swap function to flip These.	2016-03-14 20:18:53 -04:00
Rob Rix	3a36d67245	Join is Foldable over These.	2016-03-14 20:10:28 -04:00
Rob Rix	fc613ee65d	Import Bifunctor.	2016-03-14 19:54:28 -04:00
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