github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-02 02:08:48 +03:00
Code Issues Projects Releases Wiki Activity
550 Commits 19 Branches 16 Tags 46 MiB
a628177722
Commit Graph

507 Commits

Author SHA1 Message Date
Rob Rix
f14433871b Parameterize by leaf hashing. 2015-10-02 14:33:41 -04:00
Rob Rix
3d40071b44 Give the hash parameter an external label. 2015-10-02 14:32:35 -04:00
Rob Rix
334bb3017e The roll function doesn’t escape. 2015-10-02 14:29:45 -04:00
Rob Rix
7d49895796 Section headers for functor/monad instances. 2015-10-02 14:27:37 -04:00
Rob Rix
7e00f9297e Implement case analysis for Free. 2015-10-02 14:26:53 -04:00
Rob Rix
de2dcf4bf4 == over Free. 2015-10-02 14:18:43 -04:00
Rob Rix
a0e77e2495 == over Fix. 2015-10-02 14:17:59 -04:00
Rob Rix
bc857f810b Fix Equality. 2015-10-02 14:17:25 -04:00
Rob Rix
87994c824f Free Equality. 2015-10-02 14:15:17 -04:00
Rob Rix
43bdcd45c9 Parameterize Syntax equality by leaf type equality. 2015-10-02 14:15:13 -04:00
Rob Rix
296dbeea8f Add a section mark for Syntax equality. 2015-10-02 14:12:54 -04:00
Rob Rix
6d5fd97552 Add an external label for recurrence equality. 2015-10-02 14:12:46 -04:00
Rob Rix
45a7e372b5 Rename the recur parameter. 2015-10-02 14:12:19 -04:00
Rob Rix
f8c37695ae Document Fix’s case. 2015-10-02 14:08:03 -04:00
Rob Rix
b2219feed7 Document Free’s cases. 2015-10-02 14:07:29 -04:00
Rob Rix
0a64dc8741 Free is indeed a Monad. 2015-10-02 14:03:34 -04:00
Rob Rix
97686157f3 Free is a Functor. 2015-10-02 13:59:55 -04:00
Rob Rix
e63ccff83f Documentation for Free. 2015-10-02 13:54:39 -04:00
Rob Rix
ad3d4b6c3f Backticks around types. 2015-10-02 13:54:34 -04:00
Rob Rix
0ff70be000 Stub in Free. 2015-10-02 13:43:43 -04:00
Rob Rix
da3c1041e0 Fix is public. 2015-10-02 13:42:55 -04:00
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
ea5d9ef814 Merge branch 'master' into operators-alongside-operands 2015-10-02 13:05:23 -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
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
Rob Rix
66281a6674 Document Literal Locations. 2015-09-30 15:46:16 -04:00
Rob Rix
0efffe3e3d Add source locations. 2015-09-30 15:29:56 -04:00
Rob Rix
459bad4dd6 Categories are equatable. 2015-09-30 15:29:40 -04:00
Rob Rix
f3122f1bae Move JSON construction of Term into doubt-swift. 2015-09-30 15:08:19 -04:00
Rob Rix
03d4fcfc53 Add Category. 2015-09-30 15:03:47 -04:00
Rob Rix
d7a8c64806 Abbreviate the properties. 2015-09-30 15:03:42 -04:00
Rob Rix
82720340ef Wrap with Term(). 2015-09-30 15:03:37 -04:00
Rob Rix
d8c718130b Lose an annotation. 2015-09-30 15:03:30 -04:00
Rob Rix
a6358b22d4 Remove CustomHashConvertible. 2015-09-30 15:02:31 -04:00
Rob Rix
2d0991b91f Abstract Term over a type parameter A. 2015-09-30 14:42:58 -04:00
Rob Rix
a2b9f9ce17 Implement Syntax equality using a function which expresses the equality of the functor. 2015-09-30 14:42:44 -04:00
Rob Rix
92d844f416 Extract the exception-for-control-flow ErrorType to global scope. 2015-09-30 14:40:30 -04:00
Rob Rix
88b677e1e0 Parameterize the type of Leaf. 2015-09-30 12:41:20 -04:00
Rob Rix
5529a502e3 Require Recur to be Hashable. 2015-09-30 12:40:49 -04:00
Rob Rix
de3ef64f48 Map using Hash.init. 2015-09-30 12:40:36 -04:00
Rob Rix
5fa07014a6 Replace all the other nodes with Branch. 2015-09-30 11:42:41 -04:00
Rob Rix
a0f562d25e Leaves, not Literals. 2015-09-30 11:03:55 -04:00
Rob Rix
4712e1c2cc Add CustomHashConvertible for non-Equatable objects that can be converted to Hashes. 2015-09-30 10:46:01 -04:00
Rob Rix
66b225fce3 Replace Case with a constructor. 2015-09-30 10:44:48 -04:00
Rob Rix
565800b1b0 Add a constructor for Int hashes. 2015-09-30 10:43:18 -04:00
Rob Rix
9841debe91 No longer need to disambiguate String. 2015-09-30 10:42:43 -04:00
Rob Rix
b581b8b71d Rename String to Label. 2015-09-30 10:42:27 -04:00
Rob Rix
d9eb3f6a69 Don’t need to disambiguate Int now. 2015-09-30 10:40:45 -04:00
Rob Rix
0cdb09a964 Rename the Int case to Raw. 2015-09-30 10:40:28 -04:00
Rob Rix
66141c95af Replace Literal/Variable with Leaf. 2015-09-30 10:36:25 -04:00
Rob Rix
1f253f4e12 Add a phantom type parameter to Syntax. 2015-09-30 10:31:48 -04:00
Rob Rix
308f81853d Rename the Payload type to Recur. 2015-09-30 10:29:38 -04:00
Rob Rix
4348604e66 Remove the typealias. 2015-09-30 10:29:32 -04:00
Rob Rix
31d35c854b Term is AlgebraicHashable. 2015-09-29 17:03:18 -04:00
Rob Rix
586def93cd Syntax<A: AlgebraicHashable> implements hash. 2015-09-29 17:03:11 -04:00
Rob Rix
7925347d21 Debug print abstraction bodies correctly. 2015-09-29 17:02:57 -04:00
Rob Rix
1cf92c94d0 Conveniences for labelled/numbered enum cases. 2015-09-29 17:02:35 -04:00
Rob Rix
f1c2f4b9e0 Algebraic hashing of RawRepresentable types whose RawValue is [Algebraic]Hashable. 2015-09-29 17:02:01 -04:00
Rob Rix
b60df96019 Construction of Hash from Hashable/AlgebraicallyHashable values. 2015-09-29 17:01:38 -04:00
Rob Rix
e32bb2af29 Add a protocol for algebraically hashable types. 
They’ll get `hashValue` for free.
 2015-09-29 17:00:52 -04:00
Rob Rix
278bba4f82 Add an algebraic Hash type. 2015-09-29 17:00:26 -04:00
Rob Rix
29de111b1c How did this even build? 2015-09-29 12:57:17 -04:00
Rob Rix
60821016a2 Revert "Empty terms are copied, not patched." 
This reverts commit 788dbaa07ceafc084dc0f10f74efc2aa2a6841ec.
 2015-09-29 12:54:42 -04:00
Rob Rix
dfbfb9fe79 Short-circuit for equal terms. 2015-09-29 12:54:32 -04:00
Rob Rix
7d36421d6a Empty terms are copied, not patched. 2015-09-29 12:53:04 -04:00
Rob Rix
94bcc7d3f0 Remove empty diffs. 2015-09-29 12:50:34 -04:00
Rob Rix
35581fa6d9 Resume using .Empty for Terms. 2015-09-29 12:49:36 -04:00
Rob Rix
50e8223f18 Whitespaaaace. 2015-09-29 12:49:19 -04:00
Rob Rix
c3e8d9a801 Remove Term.Empty. 2015-09-29 12:48:53 -04:00
Rob Rix
17271ff2ce Add a constructor for empty terms. 2015-09-29 12:48:35 -04:00
Rob Rix
1bb9cbbbd4 Empty syntaxes are equatable. 2015-09-29 12:48:13 -04:00
Rob Rix
8c1b249df2 Add an Empty case to Syntax. 2015-09-29 12:44:47 -04:00
Rob Rix
feff05b0c8 Move Layout to the end of the file. 2015-09-28 23:33:50 -04:00
Rob Rix
cfc92283db Layout is private. 2015-09-28 22:59:24 -04:00
Rob Rix
61bb6cff93 Use group as a method. 2015-09-28 22:58:24 -04:00
Rob Rix
8acde46998 group as a method. 2015-09-28 22:58:10 -04:00
Rob Rix
c6765e052a Replace the static bracket function. 2015-09-28 22:57:29 -04:00
Rob Rix
42cee56ef8 Bracket as an instance method. 2015-09-28 22:56:18 -04:00
Rob Rix
c4f710efd1 Don’t spread explicitly. 2015-09-28 22:54:41 -04:00
Rob Rix
d72913a0d3 Don’t fold explicitly. 2015-09-28 22:54:10 -04:00
Rob Rix
a63a4410fd Replace the stack function with an extension method. 2015-09-28 22:53:23 -04:00
Rob Rix
d0b6617ce6 Replace the spread function with an extension method. 2015-09-28 22:53:15 -04:00
Rob Rix
28d66524bf Use joinWithSeparator. 2015-09-28 22:50:59 -04:00
Rob Rix
e6133ac036 Implement joinWithSeparator in the extension. 2015-09-28 22:49:41 -04:00
Rob Rix
fa763cbccc Use the fold extension method. 2015-09-28 22:48:13 -04:00
Rob Rix
ca3f07d76f Add an extension to SequenceType for folding sequences of docs. 2015-09-28 22:47:02 -04:00
Rob Rix
f6cb4341a3 Rename some parameters that got caught by find/replace. 2015-09-28 22:46:35 -04:00
Rob Rix
5fbc3b5102 Avoid extra spaces in comma-separated lists. 2015-09-28 22:41:51 -04:00
Rob Rix
f4f5ad1e86 Rename DOC to Doc. 2015-09-28 22:36:22 -04:00
Rob Rix
f00eebca59 DOC is CustomDocConvertible. 2015-09-28 22:33:25 -04:00
Rob Rix
331999076c DOC is Equatable. 2015-09-28 22:33:18 -04:00
Rob Rix
060216cff4 Equality of DOCs. 2015-09-28 22:30:56 -04:00
Rob Rix
f42dc8dafe Rename Doc to Layout. 2015-09-28 22:28:37 -04:00
Rob Rix
c6cedbc751 Formatting. 2015-09-28 22:27:46 -04:00
Rob Rix
b79bbfad62 Abbreviate some uses of doc a little. 2015-09-28 22:26:37 -04:00
Rob Rix
425e6bd8f9 better is a static function. 2015-09-28 22:23:23 -04:00
Rob Rix
11ea7c6f17 Rename some parameters. 2015-09-28 22:22:41 -04:00
Rob Rix
810d562424 Replace be with an initializer. 2015-09-28 22:22:13 -04:00
Rob Rix
d8be60d842 Rename be’s parameters. 2015-09-28 22:17:06 -04:00
Rob Rix
749fe83e81 Rename the parameter to placed. 2015-09-28 22:17:00 -04:00
Rob Rix
6d16f3924d best is a method. 2015-09-28 22:16:19 -04:00
Rob Rix
1829404979 fits is a method. 2015-09-28 22:12:08 -04:00
Rob Rix
9928fdaa77 Make pretty a method on DOC. 2015-09-28 17:13:10 -04:00
Rob Rix
2ef4ca02a1 Extract pretty from the extension. 2015-09-28 17:10:12 -04:00
Rob Rix
d3b27cfba4 Add a DOC type which constructs Doc. 
Following Wadler.
 2015-09-28 17:06:52 -04:00
Rob Rix
0c8303f27b Add a constructor for single-element Streams. 2015-09-28 17:06:01 -04:00
Rob Rix
119fdaed78 Add Doc operators. 2015-09-28 17:05:36 -04:00
Rob Rix
9147dd72db Add a test of SES over slightly longer sequences to demonstrate the performance problem. 2015-09-28 14:28:36 -04:00
Rob Rix
a7ea2ae201 Avoid recomputing the magnitudes. 2015-09-28 14:21:13 -04:00
Rob Rix
b43a5eaf26 Revert "Diff using Vertex." 
This reverts commit 881436e01d381b404c12e9c63a8634d6110d251a.
 2015-09-28 14:17:55 -04:00
Rob Rix
7237ecd7e4 Diff using Vertex. 2015-09-28 14:17:48 -04:00
Rob Rix
b1a3c8046e Vertex emptiness. 2015-09-28 12:09:43 -04:00
Rob Rix
1a6f6b588b Add a Fibonacci stream to the tests. 2015-09-28 10:29:31 -04:00
Rob Rix
48bee808f6 Correct take’s semantics. 2015-09-28 10:28:44 -04:00
Rob Rix
d110a149dc Taking of n values from streams. 2015-09-28 10:02:31 -04:00
Rob Rix
b97e2e4833 Test Vertex construction. 2015-09-28 09:55:04 -04:00
Rob Rix
4a16b06e92 Correct bogus equality tests. 2015-09-28 09:54:44 -04:00
Rob Rix
1a44c5ee7a Correct the inversion of alternating rows. 2015-09-25 18:50:59 -04:00
Rob Rix
da12af7313 Stream zipping. 2015-09-25 13:57:35 -04:00
Rob Rix
00f1daa61a Construct vertices in row-major order. 2015-09-25 12:52:59 -04:00
Rob Rix
a0edc9fe49 Vertex is CustomStringConvertible. 2015-09-25 12:45:10 -04:00
Rob Rix
18bcad0165 Vertex is CustomDebugStringConvertible. 2015-09-25 12:44:20 -04:00
Rob Rix
3dc89059ac Avoid an excess map. 2015-09-25 12:43:54 -04:00
Rob Rix
98e66acdbf Row-/column-major streams of vertices. 2015-09-25 12:38:11 -04:00
Rob Rix
652d1f9db4 Add row/column implementations back using Stream.unfold. 2015-09-25 12:37:58 -04:00
Rob Rix
21f3bc9dcc Xcode did not delete this before, apparently. 2015-09-25 12:37:42 -04:00
Rob Rix
39c46edeb9 Implement the eliminators with analysis. 2015-09-25 12:37:08 -04:00
Rob Rix
24bc2610ff Add a case analysis method. 2015-09-25 12:36:11 -04:00
Rob Rix
0a88c407e5 Construct streams with unfold. 2015-09-25 12:22:31 -04:00
Rob Rix
8178904a36 Generalize Vertex construction to arbitrary sequences. 2015-09-25 11:57:53 -04:00
Rob Rix
ece5c942d5 Memo can print itself. 2015-09-25 11:57:28 -04:00
Rob Rix
b25095372a Revert "Memo does not need the evaluated label." 
This reverts commit 238df4a1b54752041f134375569049c2afd79632.
 2015-09-24 18:26:23 -04:00
Rob Rix
b76d361412 Vertex equality. 2015-09-24 18:24:05 -04:00
Rob Rix
a70fc630aa Add an element property to Vertex. 2015-09-24 18:23:56 -04:00
Rob Rix
f1e06015d0 Work around a runtime deadlock. 2015-09-24 18:23:48 -04:00
Rob Rix
6e0cf0d6a1 Memo does not need the evaluated label. 2015-09-24 18:23:38 -04:00
Rob Rix
8387f5ce71 Vertices can be constructed from pairs of streams. 2015-09-24 15:45:56 -04:00
Rob Rix
089d5417aa Remove row, column, X, and Y from Vertex. 
This is a more wasteful representation but we can deal with that later.
 2015-09-24 15:45:36 -04:00
Rob Rix
40211726bc Add a lazy right-fold to Stream. 2015-09-24 15:10:56 -04:00
Rob Rix
abb625b501 Edit graph vertices. 2015-09-24 13:28:46 -04:00
Rob Rix
a6c419c6e1 Support enums, structs, and variables. 2015-09-23 18:22:27 -04:00
Rob Rix
975ac8fc2f Term initialization is partial. 2015-09-23 17:37:53 -04:00
Rob Rix
0a4dd8111f Spit out reflected diffs. 2015-09-23 17:37:29 -04:00
Rob Rix
3a90f09363 Remove the temporary arguments. 2015-09-23 17:01:43 -04:00
Rob Rix
5879e24a10 Copy frameworks into the .app. 2015-09-23 17:01:28 -04:00
Rob Rix
75aa4c0527 Don’t code sign. 2015-09-23 17:01:21 -04:00
Rob Rix
5524e85653 /dev/null → .Empty 2015-09-23 17:01:09 -04:00
Rob Rix
bf350ee2ed Bump SourceKitten. 2015-09-23 17:00:57 -04:00
Rob Rix
1c60f97bbf Print the diff between the files. 2015-09-23 16:39:30 -04:00
Rob Rix
53270aacfa Try to construct terms for the argument files. 2015-09-23 16:37:22 -04:00
Rob Rix
7d05f5206b Add a BoundsCheckedArray for unpacking arguments. 2015-09-23 16:34:07 -04:00
Rob Rix
ce6fd43eaf Term JSON constructors are public. 2015-09-23 16:27:29 -04:00
Rob Rix
8f78776d6a Public constructor for JSON. 2015-09-23 16:26:00 -04:00
Rob Rix
a3aefe8e37 Use a .app target instead. 2015-09-23 16:04:19 -04:00
Rob Rix
74e93a14de Move Term/JSON conversion into Term. 2015-09-23 13:34:45 -04:00
Rob Rix
9fa5aba516 Add a Swift diff tool target. 2015-09-23 13:32:17 -04:00
Rob Rix
18d35a0beb Share the Doubt scheme. 2015-09-23 13:31:42 -04:00