80 Commits

Author	SHA1	Message	Date
Rob Rix	6dfb8524ff	Generalize coalesceBy to Both (Coalesce a).	2016-03-07 14:32:31 -05:00
Rob Rix	767a9e93fc	Add a Coalesce type synonym.	2016-03-07 14:29:06 -05:00
Rob Rix	8595496032	Extract a coalesceBy function taking a coalesce function.	2016-03-07 14:28:17 -05:00
Rob Rix	76ea86d0f4	Extract a mappendBy function taking a coalesce function.	2016-03-07 14:25:23 -05:00
Rob Rix	14ce322cff	Both is a PartialSemigroup under a PartialSemigroup which is also a Monoid.	2016-03-07 12:58:15 -05:00
Rob Rix	6bd58e3007	Revert "Stub in a Data.Bifunctor.These module." ... This reverts commit 2cb0cce8304de64ebca4b8106dc453bd66fe1c36.	2016-03-07 12:57:12 -05:00
Rob Rix	95de4b23d6	Revert "Add the These type." ... This reverts commit 23c0bf34584d3ef626081001e8762f4a98ea706e.	2016-03-07 12:57:09 -05:00
Rob Rix	6fbafa268d	Revert "These is an instance of Bifunctor." ... This reverts commit e299633535e46af5ca0a6334cdc3891d18fb76b4.	2016-03-07 12:57:06 -05:00
Rob Rix	705b0757ed	Revert "Stub in a Data.Align module." ... This reverts commit 7e2a1740f7c585cc1ac277c1cd92b333c7c68e34.	2016-03-07 12:57:03 -05:00
Rob Rix	1dfcf8e783	Revert "Add an Align typeclass." ... This reverts commit b5e07c617dded12b6cca0e31664c0b12c679da11.	2016-03-07 12:57:00 -05:00
Rob Rix	2b5bd9ea84	Revert "Add an Align instance for lists." ... This reverts commit d23ee2e7b622f7310fe80ab571c140dfcf09bc92.	2016-03-07 12:56:58 -05:00
Rob Rix	925a4b9ecf	Revert "Align depends on These." ... This reverts commit d625441bd8a3e6cbdce561499e4d41c078ebb261.	2016-03-07 12:56:55 -05:00
Rob Rix	cd0a65236a	Revert "Eta-reduce align." ... This reverts commit be2bea951b9e94567537dc4d5c0d9aa7e8e08d4b.	2016-03-07 12:56:44 -05:00
Rob Rix	7e945dcad2	Eta-reduce align.	2016-03-07 11:19:53 -05:00
Rob Rix	e6a0c8358d	Align depends on These.	2016-03-07 09:44:53 -05:00
Rob Rix	63782505af	Add an Align instance for lists.	2016-03-07 09:42:53 -05:00
Rob Rix	05fa8a6aa5	Add an Align typeclass.	2016-03-07 09:38:13 -05:00
Rob Rix	fb24cc7241	Stub in a Data.Align module.	2016-03-07 09:33:09 -05:00
Rob Rix	25e7dbdbe4	These is an instance of Bifunctor.	2016-03-07 09:31:01 -05:00
Rob Rix	3a38edefd9	Add the These type.	2016-03-07 09:28:47 -05:00
Rob Rix	d78b5e7a7a	Stub in a Data.Bifunctor.These module.	2016-03-07 09:28:09 -05:00
Rob Rix	63802d3137	Maybe is a PartialSemigroup under a Monoid.	2016-03-05 01:00:11 -05:00
Rob Rix	4deabf496f	Implement Adjoined over Seq.	2016-03-05 00:57:26 -05:00
Rob Rix	ae64b6f930	Define Adjoined over a list.	2016-03-05 00:43:07 -05:00
Rob Rix	afffe77c1d	Represent Empty via Maybe.	2016-03-05 00:14:19 -05:00
Rob Rix	4b2c548d32	Defined Adjoined as a binary tree-ish thing.	2016-03-05 00:09:18 -05:00
Rob Rix	b251f1c67d	Define Adjoined as an ad hoc list-ish tree thing.	2016-03-04 23:43:33 -05:00
Rob Rix	dc8b7afc02	Document partial semigroups.	2016-03-04 22:51:24 -05:00
Rob Rix	2b90836bc8	Add a PartialSemigroup instance over Bool.	2016-03-04 22:47:47 -05:00
Rob Rix	2495305197	We no longer need Flexible or Undecidable instances.	2016-03-04 22:40:20 -05:00
Rob Rix	e5532f71b6	🔥 the Monoid a => PartialSemigroup a instance.	2016-03-04 22:39:49 -05:00
Rob Rix	d54324e20c	Add a Monoid instance for Adjoined over partial semigroups.	2016-03-04 22:25:27 -05:00
Rob Rix	42579d9c5b	Add a Monad instance for Adjoined.	2016-03-04 22:25:16 -05:00
Rob Rix	d1a2d564bf	Add an Applicative instance for Adjoined.	2016-03-04 22:24:50 -05:00
Rob Rix	e6a8d061e5	Monoids induce partial semigroups.	2016-03-04 22:13:15 -05:00
Rob Rix	96d42bd962	Adjoined wraps Maybe.	2016-03-04 22:11:23 -05:00
Rob Rix	9ecfdf3bfb	Replace Adjoining with PartialSemigroup.	2016-03-04 22:08:56 -05:00
Rob Rix	00057c01fa	Add an Adjoining typeclass.	2016-03-04 22:02:35 -05:00
Rob Rix	354c137176	Derive some reasonable default instances.	2016-03-04 21:58:24 -05:00
Rob Rix	62b255639f	Stub in an Adjoined type.	2016-03-04 21:57:35 -05:00
Rob Rix	2dde65d46e	Stub in a Data.Adjoined module.	2016-03-04 21:56:41 -05:00
Rob Rix	d702926228	Document maybeConcat.	2016-03-04 20:08:56 -05:00
Rob Rix	d6ec8d0d8c	Generalize maybeUnionRanges to maybeConcat.	2016-03-04 20:06:32 -05:00
Rob Rix	4837a5e2fb	Merge branch 'moved-terms-in-keyed-nodes-shouldn’t-crash' into refactor-alignment ... # Conflicts: # src/Alignment.hs	2016-03-03 11:05:30 -05:00
Rob Rix	9fa5334e33	Document transpose.	2016-03-03 10:37:55 -05:00
Rob Rix	0b4028e628	Document Copointed.	2016-03-02 23:24:22 -05:00
Rob Rix	49eb9c1e4f	Add a Copointed instance for Identity.	2016-03-02 23:20:54 -05:00
Rob Rix	85f50691b5	Add a Copointed instance for (a, _).	2016-03-02 23:20:14 -05:00
Rob Rix	9182ac04ca	Merge branch 'moved-terms-in-keyed-nodes-shouldn’t-crash' into copointed	2016-03-02 23:18:52 -05:00
Rob Rix	f4f0c44b6a	Add a Copointed typeclass.	2016-03-02 23:09:44 -05:00