1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

5974 Commits

Author SHA1 Message Date
Rob Rix
de9ad0bd9e Add an Align instance over lists again. 2016-03-21 09:31:12 -04:00
Rob Rix
c16d725773 Remove a redundant import. 2016-03-21 09:30:54 -04:00
Rob Rix
85fa168cc0 Add a Crosswalk instance over Join These. 2016-03-21 01:42:36 -04:00
Rob Rix
7629c657b4 Add a Crosswalk instance over Identity. 2016-03-21 01:42:30 -04:00
Rob Rix
102d1dcf68 Readd Crosswalk. 2016-03-21 01:41:05 -04:00
Rob Rix
dc0b5f0355 Revert "Stub in a Fix type for the sake of experimentation."
This reverts commit 91e8730e7e331abf10406c3d866796bb7f8b6d4f.
2016-03-18 15:16:22 -04:00
Rob Rix
9f1b7fc80f Truncate branches for the moment. 2016-03-18 15:15:05 -04:00
Rob Rix
ee81295592 Don’t bind leaf values. 2016-03-18 15:01:11 -04:00
Rob Rix
35215da076 Construct Aligned in alignSyntax. 2016-03-18 15:00:28 -04:00
Rob Rix
63f6389950 Define alignSyntax by case analysis. 2016-03-18 14:58:49 -04:00
Rob Rix
a11bc809df Remove the constructor parameter from alignTermBy and rename it. 2016-03-18 14:58:01 -04:00
Rob Rix
30e1da5a12 Use alignSyntax to construct Aligned functors. 2016-03-18 14:56:48 -04:00
Rob Rix
21356e0144 Add alignSyntax to split a leaf by its lines.
Doesn’t yet operate on branches. Invalidates some other assumptions.
2016-03-18 14:56:32 -04:00
Rob Rix
d318b6565c Get first and second from Data.Bifunctor instead of Control.Arrow. 2016-03-18 14:53:52 -04:00
Rob Rix
cceeffe360 The annotations are in Join. 2016-03-18 14:30:22 -04:00
Rob Rix
bad7878953 Pass the sources to alignTermBy. 2016-03-18 14:18:19 -04:00
Rob Rix
2900eb1f71 alignPatch takes the sources. 2016-03-18 14:15:49 -04:00
Rob Rix
8c791fb638 Annotate aligned diffs with These Info Info for marginal reductions in dubiousness. 2016-03-18 14:03:13 -04:00
Rob Rix
0e36a8af38 Rename the parameter to note its plurality. 2016-03-18 14:00:19 -04:00
Rob Rix
2a5f465a66 Slightly less dubiously, Aligned diffs carry Both Info. 2016-03-18 13:58:04 -04:00
Rob Rix
b9fc6d86e2 Aligned diffs carry Info.
This is extremely dubious, but it’s a start.
2016-03-18 13:55:41 -04:00
Rob Rix
77fd84f831 Run alignPatch in Cofree instead of Fix. 2016-03-18 13:46:56 -04:00
Rob Rix
619c16e72d These definitions of cata and ana admit the usual definition of hylo. 2016-03-18 13:08:59 -04:00
Rob Rix
dfb02c877b Rename the type variable to something more sensible. 2016-03-18 13:06:53 -04:00
Rob Rix
f45796ab4a Use the obvious type variable. 2016-03-18 12:59:49 -04:00
Rob Rix
4c6be8d2bb Implement cata pointfree. 2016-03-18 12:59:06 -04:00
Rob Rix
eccbe10fea Define unCofree over Cofree. 2016-03-18 12:58:40 -04:00
Rob Rix
53de236860 Generalize cata over Cofree. 2016-03-18 12:51:32 -04:00
Rob Rix
82e29e2df7 Define anamorphisms over Cofree. 2016-03-18 12:50:16 -04:00
Rob Rix
bf87e931b7 Move the annotated hylo from Interpreter into Term. 2016-03-18 12:43:29 -04:00
Rob Rix
495204ce90 Extract a function to align terms. 2016-03-18 12:08:26 -04:00
Rob Rix
e61d8a27ff Stub in a type synonym for aligned diffs. 2016-03-18 12:02:07 -04:00
Rob Rix
00c3a2ef9f Spike out a function aligning Terms in Patches. 2016-03-18 12:01:59 -04:00
Rob Rix
23ba7c0ae6 hylo over Fix. 2016-03-18 12:00:00 -04:00
Rob Rix
ea6fd75131 cata over Fix. 2016-03-18 11:59:54 -04:00
Rob Rix
793025e65f ana over Fix. 2016-03-18 11:59:48 -04:00
Rob Rix
235e2207e8 Stub in a Fix type for the sake of experimentation. 2016-03-18 11:59:37 -04:00
Rob Rix
daba89d6b0 Be precise as to which cata we mean. 2016-03-18 11:59:19 -04:00
Rob Rix
2aee251d2f Use pattern synonyms to define AlignThese. 2016-03-18 11:43:48 -04:00
Rob Rix
e143245098 Use pattern synonyms to define AlignThat. 2016-03-18 11:42:54 -04:00
Rob Rix
8eb3025d06 Use pattern synonyms to define alignThis. 2016-03-18 11:42:41 -04:00
Rob Rix
b72c4b1f44 Document alignThis/That/These. 2016-03-18 11:23:15 -04:00
Rob Rix
99292baa6a Add convenience constructors for Aligned. 2016-03-18 11:22:17 -04:00
Rob Rix
61df559751 Add an Aligned type. 2016-03-18 10:50:00 -04:00
Rob Rix
ac247fa315 Stub in a Data.Aligned module. 2016-03-18 10:41:55 -04:00
Rob Rix
80bf429126 Merge branch 'master' into joining-adjoining 2016-03-18 10:38:55 -04:00
Rob Rix
d16c4bfe82 Merge pull request #523 from github/add-atom-build-config
Add atom-build config
2016-03-18 10:38:28 -04:00
Rob Rix
9ec169e3df Add a regexp to match errors. 2016-03-18 10:34:41 -04:00
Rob Rix
e36d4f470f We don’t have to quote stuff in YAML. 2016-03-18 10:24:54 -04:00
Rob Rix
ac98bacb4d What is this even for? 2016-03-18 10:20:16 -04:00