Rob Rix
|
bf75fcab61
|
Add Fix, the fixpoint of Syntax.
|
2015-10-02 13:21:43 -04:00 |
|
Rob Rix
|
cfb8cb92b9
|
Merge branch 'master' into optional-instead-of-empty
|
2015-10-02 13:06:42 -04:00 |
|
Rob Rix
|
75817b109a
|
Merge pull request #49 from github/operators-alongside-operands
Operators alongside operands
|
2015-10-02 13:06:05 -04:00 |
|
Rob Rix
|
ea5d9ef814
|
Merge branch 'master' into operators-alongside-operands
|
2015-10-02 13:05:23 -04:00 |
|
Rob Rix
|
05eff3f060
|
Merge pull request #41 from github/represent-diffing-strategies-in-the-API
Represent diffing strategies in the API
|
2015-10-02 13:04:33 -04:00 |
|
Rob Rix
|
cacba977dd
|
Expand on the documentation of Copy.
|
2015-10-02 13:02:51 -04:00 |
|
Rob Rix
|
a96a88cdf8
|
Document magnitude a little.
|
2015-10-02 12:58:34 -04:00 |
|
Rob Rix
|
05a7c1a037
|
Remove Syntax.Empty.
|
2015-10-02 12:37:09 -04:00 |
|
Rob Rix
|
3cae5390b7
|
Inserts and Deletes Patch with nil.
|
2015-10-02 12:31:30 -04:00 |
|
Rob Rix
|
6eb840f795
|
Remove the Tree constructor wrappers.
|
2015-10-02 12:31:19 -04:00 |
|
Rob Rix
|
730790fec7
|
Patch states can be Optional.
|
2015-10-02 12:24:51 -04:00 |
|
Rob Rix
|
2ab10d6b3d
|
Empty Hashes.
|
2015-10-02 12:24:18 -04:00 |
|
Rob Rix
|
49721679b6
|
Move Term equality into its file.
|
2015-10-01 15:26:15 -04:00 |
|
Rob Rix
|
906e502def
|
Move Syntax equality into its file.
|
2015-10-01 15:25:49 -04:00 |
|
Rob Rix
|
4823a47f23
|
Rephrase parameterized equality as a static function.
|
2015-10-01 15:25:14 -04:00 |
|
Rob Rix
|
6a6b146863
|
Move Doc equality to its file.
|
2015-10-01 15:17:07 -04:00 |
|
Rob Rix
|
146f59bc23
|
Move Vertex equality to its file.
|
2015-10-01 15:16:25 -04:00 |
|
Rob Rix
|
91e119cde7
|
Diff’s Comparable implementation lives alongside it.
|
2015-10-01 15:15:30 -04:00 |
|
Rob Rix
|
bba8dacbc4
|
Some documentation comments.
|
2015-10-01 14:25:17 -04:00 |
|
Rob Rix
|
8961ee9168
|
Branch has only one child.
|
2015-10-01 14:08:13 -04:00 |
|
Rob Rix
|
0e7bc6b2b3
|
Stub in a ByIndex case for SES diffing.
|
2015-10-01 14:01:59 -04:00 |
|
Rob Rix
|
533e4578ea
|
Comma-separate.
|
2015-10-01 14:01:19 -04:00 |
|
Rob Rix
|
12663f1158
|
Add ByKey to Diff.
|
2015-10-01 13:54:23 -04:00 |
|
Rob Rix
|
dda95ed386
|
Require Term’s leaf type to be Equatable.
This is a bit of a hack.
|
2015-10-01 13:52:32 -04:00 |
|
Rob Rix
|
fb247732cc
|
Move diff equality into Diff.swift.
|
2015-10-01 11:34:17 -04:00 |
|
Rob Rix
|
8bac863ca0
|
Hash is AlgebraicHashable.
|
2015-10-01 10:46:25 -04:00 |
|
Rob Rix
|
009920606b
|
Add unordered hashing.
|
2015-10-01 10:45:47 -04:00 |
|
Rob Rix
|
cdd05ab556
|
Extract the calculation of the magnitude of a syntax node into a function.
|
2015-10-01 10:45:23 -04:00 |
|
Rob Rix
|
97da6a15e4
|
Document Diff’s cases.
|
2015-10-01 10:45:06 -04:00 |
|
Rob Rix
|
2394ea3545
|
Correct AnyEquatable equality.
|
2015-10-01 10:34:36 -04:00 |
|
Rob Rix
|
fae5fc5123
|
Correct Syntax.hash() to refer to Ordered.
|
2015-10-01 10:33:47 -04:00 |
|
Rob Rix
|
12491dde7a
|
AnyHashable convenience constructor.
|
2015-10-01 10:32:44 -04:00 |
|
Rob Rix
|
3ea42437f9
|
Abstract AnyHashable over AnyEquatable.
|
2015-10-01 10:31:18 -04:00 |
|
Rob Rix
|
39bbe4df42
|
AnyEquatable can unpack its value.
|
2015-10-01 10:29:48 -04:00 |
|
Rob Rix
|
72c1029d33
|
AnyHashable can unpack its value.
|
2015-10-01 10:28:24 -04:00 |
|
Rob Rix
|
079b3a479e
|
AnyEquatable.
|
2015-10-01 10:28:14 -04:00 |
|
Rob Rix
|
279aab6530
|
Rename Sequence to Ordered.
|
2015-10-01 10:09:44 -04:00 |
|
Rob Rix
|
a2a55531c9
|
AnyHashable.
|
2015-10-01 09:59:26 -04:00 |
|
Rob Rix
|
18d74a9d9c
|
Diff is AlgebraicHashable.
|
2015-10-01 09:54:56 -04:00 |
|
Rob Rix
|
0013475516
|
Terms of Hashable leaf type can be hashed.
|
2015-10-01 09:54:44 -04:00 |
|
Rob Rix
|
c698280fc2
|
Pass the hashing function for the Recur type in.
|
2015-10-01 09:53:30 -04:00 |
|
Rob Rix
|
1635b8ab8a
|
Info is AlgebraicHashable.
|
2015-10-01 09:46:02 -04:00 |
|
Rob Rix
|
cb5b7c0b33
|
Merge pull request #40 from github/syntactic-categorization
Syntactic categorization
|
2015-09-30 16:08:30 -04:00 |
|
Rob Rix
|
5dd80cb0ce
|
Diff is defined over Term<Info>.
This enables diffs to operate on categorized Terms.
|
2015-09-30 16:05:39 -04:00 |
|
Rob Rix
|
84eeba6111
|
Info has a property for its Categories.
|
2015-09-30 16:02:01 -04:00 |
|
Rob Rix
|
d29e14508a
|
Info has a Set of Categories.
|
2015-09-30 16:01:47 -04:00 |
|
Rob Rix
|
1ed5fc0e88
|
Categories are Hashable.
|
2015-09-30 16:00:13 -04:00 |
|
Rob Rix
|
282f56fb90
|
Categories have an accessor for their tag.
|
2015-09-30 16:00:03 -04:00 |
|
Rob Rix
|
5abbd36a80
|
Replace Location with Info.
|
2015-09-30 15:58:01 -04:00 |
|
Rob Rix
|
ddbe0943ef
|
Location is Equatable.
|
2015-09-30 15:46:21 -04:00 |
|