5174 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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	7a1a283402	🔥 tearDown.	2016-03-04 21:13:14 -05:00
Rob Rix	abcd9803f3	Pass the Info & Syntax in directly.	2016-03-04 21:12:49 -05:00
Rob Rix	6610745868	an.	2016-03-04 21:09:00 -05:00
Rob Rix	5c06ecc6d0	Define splitAbstractedTerm by catamorphism (more or less).	2016-03-04 21:07:26 -05:00
Rob Rix	e979a40087	Remove some unnecessary parentheses.	2016-03-04 20:46:20 -05:00
Rob Rix	5fdcfbbce9	Tear down diffs with a lambda.	2016-03-04 20:29:04 -05:00
Rob Rix	619fde974d	Tacit definition of splitDiffByLines.	2016-03-04 20:26:40 -05:00
Rob Rix	f546977b33	splitAnnotatedByLines takes Both Infos directly.	2016-03-04 20:25:33 -05:00
Rob Rix	cd895d6f87	Re-enable sorting via rowRanges.	2016-03-04 20:18:57 -05:00
Rob Rix	3829f0b064	Rewrite diffRanges as rowRanges.	2016-03-04 20:18:49 -05:00
Rob Rix	78aeffde06	Remove the Functor constraint from unionRanges.	2016-03-04 20:10:45 -05:00
Rob Rix	d702926228	Document maybeConcat.	2016-03-04 20:08:56 -05:00
Rob Rix	9529d3aab0	Revert "Add a maybeUnionRanges function." ... This reverts commit 183d77173ea6a9250092710996c066d3af19d816.	2016-03-04 20:08:10 -05:00
Rob Rix	e1ea26206a	Revert "Document maybeUnionRanges." ... This reverts commit 25dc580212e0c8f6964208b828771fba767933b9.	2016-03-04 20:08:07 -05:00
Rob Rix	650663c83f	Revert "Simplify maybeUnionRanges." ... This reverts commit 62e79ec5206aa8d07984927f60c0367f3e7aac13.	2016-03-04 20:08:04 -05:00
Rob Rix	d9e74e1f55	Revert "Define maybeUnionRanges as a specialization of maybeConcat." ... This reverts commit 3210ab6fe6e660106c3c2e1ae92af733ed27c5b0.	2016-03-04 20:07:59 -05:00
Rob Rix	8325042643	Define unionRangesFrom with maybeConcat.	2016-03-04 20:07:52 -05:00
Rob Rix	2ca378db0d	Define maybeUnionRanges as a specialization of maybeConcat.	2016-03-04 20:07:04 -05:00
Rob Rix	d6ec8d0d8c	Generalize maybeUnionRanges to maybeConcat.	2016-03-04 20:06:32 -05:00
Rob Rix	6b17c3c1ff	Simplify maybeUnionRanges.	2016-03-04 20:03:37 -05:00
Rob Rix	aea8e3e200	Document maybeUnionRanges.	2016-03-04 20:00:01 -05:00
Rob Rix	34e798cb09	Add a maybeUnionRanges function.	2016-03-04 19:59:31 -05:00
Rob Rix	7cb85f6571	Define splitDiffByLines by catamorphism.	2016-03-04 19:53:47 -05:00
Rob Rix	651f0106e3	Migrate a couple of tests over to splitDiffByLines.	2016-03-04 19:53:28 -05:00
Rob Rix	bb00235f4c	Swap the order of the operands to splitDiffByLines.	2016-03-04 19:29:57 -05:00
Rob Rix	3a555df147	Swap the order of the operands to splitPatchByLines.	2016-03-04 19:07:54 -05:00
Rob Rix	4a4eb23cb5	Fold eagerly.	2016-03-04 18:53:35 -05:00
Rob Rix	c80c764db8	🔥 makeRanges.	2016-03-04 17:35:03 -05:00
Rob Rix	9b00836f17	Use normal Applicative style instead of makeRanges.	2016-03-04 17:34:53 -05:00
Rob Rix	999f036436	makeRanges can be defined with normal Applicative stuff.	2016-03-04 17:33:14 -05:00
Rob Rix	63b6c9a0c2	Simplify the wrapRowContents call.	2016-03-04 17:20:54 -05:00