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 |
|
Rob Rix
|
fdf91d4f2a
|
Add an Align instance for Adjoined.
|
2016-03-14 09:37:54 -04:00 |
|
Rob Rix
|
7a2d331f40
|
Document snoc.
|
2016-03-14 09:26:42 -04:00 |
|
Rob Rix
|
ce912716ea
|
Document cons.
|
2016-03-14 09:26:39 -04:00 |
|
Rob Rix
|
7f74d0dc2e
|
Add snoc to construct Adjoined rightwards.
|
2016-03-14 09:25:59 -04:00 |
|
Rob Rix
|
6db4b1ce7a
|
Add cons to construct Adjoined leftwards.
|
2016-03-14 09:25:48 -04:00 |
|
Rob Rix
|
b39132299f
|
🔥 Source.cons.
|
2016-03-14 09:22:31 -04:00 |
|
Rob Rix
|
096680b668
|
Document uncons/unsnoc.
|
2016-03-14 09:17:26 -04:00 |
|
Rob Rix
|
564128a80a
|
Document fromList.
|
2016-03-14 09:17:19 -04:00 |
|
Rob Rix
|
7fe578e9c6
|
Merge branch 'master' into adjoin-associatively
|
2016-03-11 18:56:10 -05:00 |
|
Rob Rix
|
db103aea51
|
Rewrite the Monoid instance using the uncons/unsnoc functions.
|
2016-03-11 18:43:28 -05:00 |
|