92 Commits

Author	SHA1	Message	Date
Rob Rix	1179893979	Add a Coalescent typeclass.	2016-03-10 09:42:47 -05:00
Rob Rix	7c88d9ff38	Stub in a Data.Coalescent module.	2016-03-10 09:41:57 -05:00
Rob Rix	e85572be38	Define the empty Adjoined.	2016-03-10 08:34:23 -05:00
Rob Rix	89104cb834	Add fromList for Adjoined.	2016-03-10 03:40:59 -05:00
Rob Rix	4153844024	Disambiguate fromList.	2016-03-10 03:40:54 -05:00
Rob Rix	abc8146c31	Simplify the other cases.	2016-03-10 03:33:43 -05:00
Rob Rix	bb63380905	Coalesce functions return a list.	2016-03-10 03:32:25 -05:00
Rob Rix	a9399ae818	🔥 PartialSemigroup.	2016-03-10 03:31:28 -05:00
Rob Rix	29064a6d9d	Revert "🔥 Data.Adjoined." ... This reverts commit 68dd849071a17f58d4bfe83ebc05b55ffc011ba5.	2016-03-10 03:27:00 -05:00
Rob Rix	683fc20989	Replace zipWithDefaults with zipDefaults.	2016-03-09 02:08:22 -05:00
Rob Rix	1d99e4f548	🔥 Data.Adjoined.	2016-03-08 10:24:27 -05:00
Rob Rix	5e32c041fb	🔥 the PartialSemigroup/coalesceBy stuff for Both.	2016-03-08 10:24:20 -05:00
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