Rob Rix
|
468a874168
|
Define Listable instances for non-empty Unions.
|
2017-09-25 19:08:55 -04:00 |
|
Rob Rix
|
bfc0b9d0b0
|
Give Diff a pair of type parameters for the annotation types.
|
2017-09-14 09:41:52 -04:00 |
|
Rob Rix
|
cf9d752d43
|
Parameterize Patch by before and after types.
|
2017-09-13 21:37:23 -04:00 |
|
Rob Rix
|
20e0943c72
|
🔥 the Sum inside Patch nodes.
|
2017-09-13 16:07:22 -04:00 |
|
Rob Rix
|
0ec9584a6d
|
Correct the tests.
|
2017-09-13 16:03:27 -04:00 |
|
Rob Rix
|
a0eda2396a
|
Correct the tests.
|
2017-09-13 11:19:06 -04:00 |
|
Rob Rix
|
e36034455c
|
Correct the tests.
|
2017-09-13 09:45:10 -04:00 |
|
Rob Rix
|
a140d2f4c4
|
Correct the Listable1 instance for Diff.
|
2017-09-12 10:47:50 -04:00 |
|
Rob Rix
|
d0a1d31c68
|
Correct the Listable2 instance for DiffF.
|
2017-09-12 10:46:49 -04:00 |
|
Rob Rix
|
b3b81846b3
|
Define a Listable1 instance for BindingF.
|
2017-09-12 10:44:19 -04:00 |
|
Rob Rix
|
57f578618c
|
Define Listable1 instances for Sum & Product.
|
2017-09-12 10:43:31 -04:00 |
|
Rob Rix
|
c2f4ef3572
|
Merge branch 'relocate-json-fields' into directed-acyclic-diffs
|
2017-09-11 16:20:57 -04:00 |
|
Rob Rix
|
1cd6dd2899
|
Update the tests.
|
2017-09-11 15:48:58 -04:00 |
|
Rob Rix
|
110be2449c
|
Update the tests.
|
2017-09-09 21:44:15 +01:00 |
|
Rob Rix
|
41baef6c9d
|
Listing diffs does not produce metavariables or bindings.
|
2017-09-09 18:24:05 +01:00 |
|
Rob Rix
|
10b262e069
|
🔥 a stray import.
|
2017-09-09 14:54:49 +01:00 |
|
Rob Rix
|
24914eeb05
|
Move the remaining Listable instances into the tests.
|
2017-09-09 14:51:37 +01:00 |
|
Rob Rix
|
3ad5374b94
|
Move all the Listable stuff into the tests.
|
2017-09-09 14:44:57 +01:00 |
|
Rob Rix
|
1972e20233
|
🔥 Data.Functor.Both.Spec.
|
2016-04-14 21:54:11 -04:00 |
|
Rob Rix
|
86f41d4ce8
|
Empty lines get inserted before merged ones.
|
2016-03-15 11:13:01 -04:00 |
|
Rob Rix
|
164a4fdd6f
|
Sequence coalesced lines by aligning.
|
2016-03-15 11:11:27 -04:00 |
|
Rob Rix
|
e7702fd11d
|
Add a (failing) test that Both coalesces asymmetrically at right.
|
2016-03-15 10:55:20 -04:00 |
|
Rob Rix
|
2ea0fa9109
|
Add a (failing) test that Both coalesces asymmetrically at left.
|
2016-03-15 10:54:28 -04:00 |
|
Rob Rix
|
01330d9d2e
|
Add a (failing) test that it doesn’t coalesce when neither side coalesces.
|
2016-03-15 10:52:43 -04:00 |
|
Rob Rix
|
ab33fb3ace
|
Clean up the test with the Applicative instance.
|
2016-03-15 10:51:30 -04:00 |
|
Rob Rix
|
b3bb9e2c3e
|
Test that Both coalesces when both sides coalesce.
|
2016-03-15 10:50:13 -04:00 |
|
Rob Rix
|
0129bffe6e
|
Stub in a spec for Both.
|
2016-03-15 10:40:35 -04:00 |
|