github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-25 11:04:00 +03:00
Code Issues Projects Releases Wiki Activity
1,555 Commits 19 Branches 16 Tags 46 MiB
3270ec91c1
Commit Graph

1431 Commits

Author SHA1 Message Date
Rob Rix
3a1ced9786 Add an elimination form for Cofree. 2015-10-22 18:43:17 -04:00
Rob Rix
6423d5817f Rename the introduction form for Cofree. 2015-10-22 18:43:08 -04:00
Rob Rix
f8739e90b0 zip the terms. 2015-10-22 18:42:04 -04:00
Rob Rix
b210cf8586 Rephrase copying terms into diffs as a hylomorphism. 2015-10-22 18:32:41 -04:00
Rob Rix
95adbdf042 Documentation for reiterate. 2015-10-22 18:31:11 -04:00
Rob Rix
397af0d02d Documentation for hylo. 2015-10-22 18:31:06 -04:00
Rob Rix
b425d69c36 Define hylo and reiterate through Syntax. 2015-10-22 18:18:05 -04:00
Rob Rix
c84578402c Document CofreeType.zip. 2015-10-22 18:09:18 -04:00
Rob Rix
7b57a9ce17 CofreeType values can be zipped. 2015-10-22 18:06:35 -04:00
Rob Rix
6bc8fe4285 Define coiterate over CofreeType. 2015-10-22 18:04:51 -04:00
Rob Rix
9ff1840e4a CofreeTypes have a static curried Wrap constructor function. 2015-10-22 18:04:19 -04:00
Rob Rix
c6962c798d CofreeType requires a constructor. 2015-10-22 18:02:44 -04:00
Rob Rix
4195edc469 Define a reiterate function. 2015-10-22 17:25:58 -04:00
Rob Rix
d0aeedeb52 Define iterate so as to clarify its relationship with cata. 2015-10-22 17:15:49 -04:00
Rob Rix
521e253240 Define hylomorphism through Syntax. 2015-10-22 17:11:35 -04:00
Rob Rix
f4966684a5 Rename the functions to unfold. 2015-10-22 17:09:40 -04:00
Rob Rix
090406aafe Define coiterate so as to reflect its symmetry with ana. 2015-10-22 17:09:00 -04:00
Rob Rix
f0379f421b Define ana using the backwards application operator to clarify dataflow. 2015-10-22 17:08:17 -04:00
Rob Rix
d6a9be0794 Double down on annotations. 2015-10-22 16:02:03 -04:00
Rob Rix
49fb14f6a8 Define Free equality over Patch<Term: CofreeType> without reference to annotation equality. 2015-10-22 16:01:48 -04:00
Rob Rix
39ae63d426 It doesn’t matter if annotations are equatable. 2015-10-22 15:52:08 -04:00
Rob Rix
5e0fbd8d8c Revert "Constrain Free equality over CofreeType to terms whose annotations are equatable." 
This reverts commit a79f354992cbca36fa3e55de648e6bc6c55f956b.
 2015-10-22 15:51:52 -04:00
Rob Rix
651a3c2f91 Don’t constrain recursive Free construction from TermType to the same annotation type. 2015-10-22 15:50:16 -04:00
Rob Rix
657d7edbba Merge branch 'unfold-diffs' into annotate-diffs 
Conflicts:
	prototype/Doubt/Free.swift
	prototype/Doubt/TermType.swift
 2015-10-22 13:40:19 -04:00
Rob Rix
f00f3f485f Copy diffs recursively using ana. 2015-10-22 13:15:13 -04:00
Rob Rix
f36651660b ana is static. 2015-10-22 13:11:00 -04:00
Rob Rix
4cc87bc0cf Tacit unwrapping. 2015-10-22 13:05:16 -04:00
Rob Rix
89adf2cc86 Add a static unwrap function over TermType. 2015-10-22 13:05:08 -04:00
Rob Rix
6bcbccfe08 Document coiterate as an anamorphism. 2015-10-22 12:55:06 -04:00
Rob Rix
f145bb4293 Document ana. 2015-10-22 12:53:18 -04:00
Rob Rix
d4744200ae Rename the parameter to transform. 2015-10-22 12:51:26 -04:00
Rob Rix
e7a525910f Implement anamorphism over Free. 2015-10-22 12:49:41 -04:00
Rob Rix
453fd80318 Section header for CustomDebugStringConvertible. 2015-10-22 11:35:25 -04:00
Rob Rix
6d665ff391 Remove an unused conversion of Free to JSON. 2015-10-22 10:57:31 -04:00
Rob Rix
76b7df9d68 Constrain Free equality over CofreeType to terms whose annotations are equatable. 2015-10-22 10:54:49 -04:00
Rob Rix
8cbb69fa97 Rename the Syntax piecewise JSON functions after the type parameters (mostly). 2015-10-22 10:47:48 -04:00
Rob Rix
40fe88b4a4 Rename the Syntax piecewise equality functions after the type parameters (mostly). 2015-10-22 10:46:51 -04:00
Rob Rix
831f8dcbae Name Free’s piecewise JSON functions after the type parameters. 2015-10-22 10:43:42 -04:00
Rob Rix
b7a341b8b1 Correct omissions in the tests. 2015-10-22 10:43:20 -04:00
Rob Rix
d678946fda Name the piecewise equality functions after the type parameters. 2015-10-22 10:41:42 -04:00
Rob Rix
0a28a390b7 Remove SyntaxConvertible. 2015-10-22 10:40:08 -04:00
Rob Rix
5cfe2b33b9 Free is no longer SyntaxConvertible. 2015-10-22 10:39:33 -04:00
Rob Rix
750def8107 Fix up some comments. 2015-10-22 10:37:00 -04:00
Rob Rix
ad05308ab6 Define the recursive TermType → Free constructor over CofreeType instead. 2015-10-22 10:33:25 -04:00
Rob Rix
c9b33f826c Add an annotation parameter to Free. 2015-10-22 10:30:38 -04:00
Rob Rix
c5e01c41db Rename SES’ A type parameter to Leaf. 2015-10-22 10:28:22 -04:00
Rob Rix
695b69b086 Algorithm’s parameter must be a CofreeType. 2015-10-22 10:26:45 -04:00
Rob Rix
581ea694f9 Interpreter’s parameter must be a CofreeType. 2015-10-22 10:26:36 -04:00
Rob Rix
20ef96b483 Rename the A type parameter to Leaf. 2015-10-22 10:23:20 -04:00
Rob Rix
810c6081b9 Rename the B parameter to Annotation. 2015-10-22 10:22:21 -04:00
Rob Rix
b3fea32706 Remove the explicit conformance to TermType. 2015-10-22 10:21:29 -04:00
Rob Rix
c75b36512c CofreeType implies TermType. 2015-10-22 10:21:04 -04:00
Rob Rix
234c7f59bd Rename more typealiases to drop the Type suffix. 2015-10-22 10:18:27 -04:00
Rob Rix
03aa95caf9 Rename the TermType.LeafType associated type to Leaf. 2015-10-22 10:17:51 -04:00
Rob Rix
7eed54dcdc Rename the B type parameter to Value. 2015-10-22 10:12:52 -04:00
Rob Rix
2aa104ab8c Rename the A type parameter to Leaf. 2015-10-22 10:10:56 -04:00
Rob Rix
ecc21f1e91 No really, hide terms. 2015-10-21 18:07:08 -04:00
Rob Rix
0d5472c3d7 Call out the elements explicitly. 2015-10-21 18:07:02 -04:00
Rob Rix
6152f6b0e7 Monospace. 2015-10-21 18:06:45 -04:00
Rob Rix
f402213c88 Replace the fixtures with less crappy ones. 2015-10-21 18:01:03 -04:00
Rob Rix
1a8ab28edc Hide definition keys. 2015-10-21 17:54:55 -04:00
Rob Rix
299eb0e8a3 No margin or padding on diff elements. 2015-10-21 17:53:57 -04:00
Rob Rix
e3a815f640 Extract the values from the correct objects. 2015-10-21 17:53:46 -04:00
Rob Rix
3a96ea86a7 Restore the original loops. 2015-10-21 17:51:57 -04:00
Rob Rix
2f7f00920e Correct premature abstraction. 2015-10-21 17:51:12 -04:00
Rob Rix
3b15165421 Insert the right values for keyed nodes. 2015-10-21 17:49:14 -04:00
Rob Rix
4fbe3a0c0a Insert the elements into the DOM in the correct order. 2015-10-21 17:46:42 -04:00
Rob Rix
9c2e66b245 Sort values. 2015-10-21 17:46:07 -04:00
Rob Rix
43c9ae3f35 Extract a function to add text and child nodes. 2015-10-21 17:45:55 -04:00
Rob Rix
e706bb9270 Add elements to keyed elements with source ranges. 2015-10-21 17:39:35 -04:00
Rob Rix
6539b309a8 Handle keyed elements specially when there’s source ranges. 2015-10-21 17:38:11 -04:00
Rob Rix
51a304ae0f Mark patches as such. 2015-10-21 17:37:28 -04:00
Rob Rix
61039c5c81 Correct the ranges. 2015-10-21 17:36:26 -04:00
Rob Rix
8583aab653 Diff elements are displayed inline. 2015-10-21 17:35:12 -04:00
Rob Rix
17b8e72189 Respect source whitespace in any child of #diff. 2015-10-21 17:34:30 -04:00
Rob Rix
223186f295 Respect source whitespace in #diff. 2015-10-21 17:34:10 -04:00
Rob Rix
dc36b6a74e Add text nodes to lists. 2015-10-21 17:32:48 -04:00
Rob Rix
6dedcf2ea3 Reference the correct range. 2015-10-21 17:31:56 -04:00
Rob Rix
ebe73eb227 Terms hold the source string. 2015-10-21 17:28:42 -04:00
Rob Rix
4e1a0f512f Do add the text content to leaf nodes. 2015-10-21 17:28:38 -04:00
Rob Rix
c9e08610eb Assign the source and range to syntax nodes. 2015-10-21 17:15:25 -04:00
Rob Rix
fe274fc595 Always assign text content. 2015-10-21 17:11:36 -04:00
Rob Rix
7dae6e027e Assign text content to the term. 2015-10-21 17:10:40 -04:00
Rob Rix
2666290cd4 Add classes to both halves of replacements. 2015-10-21 17:04:35 -04:00
Rob Rix
954c6f739f Don’t add margins. 2015-10-21 17:02:56 -04:00
Rob Rix
b6ac8a87ee Assign text content out to the DOM node. 2015-10-21 17:00:11 -04:00
Rob Rix
23fbde27a2 It’s not that kind of range. 2015-10-21 16:59:38 -04:00
Rob Rix
34951a109d Don’t log the top-level diff. 2015-10-21 16:57:34 -04:00
Rob Rix
13737b7fe7 Assign text content onto the leaf itself. 
This reverts commit aad05e5a2b6650318b5ec04784edbba7614d1224.
 2015-10-21 16:56:23 -04:00
Rob Rix
699e6ee30d Leaf terms capture their text. 2015-10-21 16:53:47 -04:00
Rob Rix
cc7030701e Syntax constructors don’t take the strings. 2015-10-21 16:53:31 -04:00
Rob Rix
f92daa8aeb Recursive constructors close over a/b instead of passing them. 2015-10-21 16:52:49 -04:00
Rob Rix
2c542fbd66 Leaves hold their values. 2015-10-21 16:52:09 -04:00
Rob Rix
dc88a90b8a Patches construct their own terms. 
Terms also only take a single string.
 2015-10-21 16:51:19 -04:00
Rob Rix
3cc4a02dc7 Patch constructors take strings. 2015-10-21 16:47:32 -04:00
Rob Rix
d315f5aabe Construct a single element. 2015-10-21 16:43:18 -04:00
Rob Rix
f30e7411a1 Construct DOM for replacements. 2015-10-21 16:40:02 -04:00
Rob Rix
1c6d3c2349 Construct DOM for insertions. 2015-10-21 16:39:55 -04:00
Rob Rix
909e32d1eb And finally, retrieve elements from the right property. 2015-10-21 16:38:02 -04:00
Rob Rix
a9953d380b Test the right property, too. 2015-10-21 16:37:08 -04:00
Rob Rix
6d2f891a95 Enumerate the right property. 2015-10-21 16:35:39 -04:00
Rob Rix
5347b50ad3 Construct keyed nodes as a definition list. 2015-10-21 16:34:20 -04:00
Rob Rix
25e9054d06 Return an element for leaves. 2015-10-21 16:32:21 -04:00
Rob Rix
86467ff4f4 Insert indexed nodes as a list. 2015-10-21 16:31:53 -04:00
Rob Rix
4f671e461c Terms call directly recursively. 2015-10-21 16:30:51 -04:00
Rob Rix
d5d86e222c Map diffs to divs. 2015-10-21 16:29:42 -04:00
Rob Rix
6ef105ab08 Stub in handling of leaf nodes. 2015-10-21 16:27:08 -04:00
Rob Rix
276f95c669 Construct Diffs recursively. 2015-10-21 16:26:36 -04:00
Rob Rix
be2e6f9a44 Rename view to model. 2015-10-21 16:25:46 -04:00
Rob Rix
87862e839b Diffs are model objects. 2015-10-21 16:24:56 -04:00
Rob Rix
6a515d917d Split things out into temporaries for debugging. 2015-10-21 16:23:25 -04:00
Rob Rix
b0bd628c4f Construct leaves. 2015-10-21 16:22:19 -04:00
Rob Rix
db8c04bd6f Construct terms directly. 2015-10-21 16:19:29 -04:00
Rob Rix
d31f3ce85d Use Indexed/Keyed so we can differentiate leaves. 2015-10-21 16:17:30 -04:00
Rob Rix
3e58fd0ec3 Indexed/Keyed construct objects. 2015-10-21 16:16:11 -04:00
Rob Rix
cdebdecc9d Add elements for keyed nodes. 2015-10-21 16:07:47 -04:00
Rob Rix
6848ecce46 Add elements for arrays. 2015-10-21 16:07:39 -04:00
Rob Rix
6ca9e84892 Map terms into DOM nodes. 2015-10-21 16:05:34 -04:00
Rob Rix
ee1c1acb5b Don’t shadow the continuation. 2015-10-21 16:04:06 -04:00
Rob Rix
df4e37e5de Add DOM stuff to the DOM. 2015-10-21 16:02:55 -04:00
Rob Rix
d425c007e6 keyed produces a hash. 2015-10-21 16:01:45 -04:00
Rob Rix
89f218021f Leaves are just passed straight through. 2015-10-21 16:01:22 -04:00
Rob Rix
2bd26cd80c indexed produces an array. 2015-10-21 16:00:43 -04:00
Rob Rix
17877c7f36 Construct new terms. 2015-10-21 15:58:55 -04:00
Rob Rix
ebd101b22f Add a value for terms. 2015-10-21 15:58:00 -04:00
Rob Rix
2aa2e49f41 Return null. 2015-10-21 15:57:23 -04:00
Rob Rix
27f01cc43f Construct new values. 2015-10-21 15:57:15 -04:00
Rob Rix
848f3ec654 Return the element representing deletions. 2015-10-21 15:55:02 -04:00
Rob Rix
d373c6829c Remove the before/after elements. 2015-10-21 15:54:46 -04:00
Rob Rix
2232be5e9f Pass the input strings around everywhere. 2015-10-21 15:54:10 -04:00
Rob Rix
a7c04a8214 Don’t fetch the before/after terms. 2015-10-21 15:51:47 -04:00
Rob Rix
f687283721 Map replacements into Replace values. 2015-10-21 15:51:40 -04:00
Rob Rix
ba55d8a5ad Map deletion/insertion patches in the source diff into deletions/insertions. 2015-10-21 15:50:29 -04:00
Rob Rix
014efdc84e Map deletions into DOM. 2015-10-21 15:50:13 -04:00
Rob Rix
9d3a6b9ec6 Add values for patches. 2015-10-21 15:50:06 -04:00
Rob Rix
f8f82a6b16 Pass the DOM elements. 2015-10-21 15:49:34 -04:00
Rob Rix
ead175b4e4 We do, now. 2015-10-21 14:10:51 -04:00
Rob Rix
49d0904b1b term recurs through syntax. 2015-10-21 14:09:40 -04:00
Rob Rix
90ae03f234 Recur through replacements. 2015-10-21 14:08:43 -04:00
Rob Rix
6c1b0c0fa6 Use .notation instead of subscripting. 2015-10-21 14:08:35 -04:00
Rob Rix
18fde70e60 Handle insertions/deletions. 2015-10-21 13:01:05 -04:00
Rob Rix
4043a39b2b term takes an element. 2015-10-21 12:59:47 -04:00
Rob Rix
698bc16a98 Find the before/after elements. 2015-10-21 12:59:37 -04:00
Rob Rix
0fd240ee3d Stub in term handling. 2015-10-21 12:58:21 -04:00
Rob Rix
802f6f3f2b diff is its own continuation. 2015-10-21 12:03:17 -04:00
Rob Rix
888379544c Recur via the continuation. 2015-10-21 12:02:57 -04:00
Rob Rix
652b1ee699 We’ll need to handle annotated terms. 2015-10-21 12:02:10 -04:00
Rob Rix
8b9cfde29e Process the top-level diff with diff. 2015-10-21 12:01:30 -04:00
Rob Rix
57456430a1 Pass a continuation around. 2015-10-21 12:01:19 -04:00
Rob Rix
d19f212467 We need to handle leaves. 2015-10-21 12:00:46 -04:00