github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity
4,024 Commits 19 Branches 16 Tags 46 MiB
d2f63f77f1
Commit Graph

4024 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
545dad88e2 Add a HasSplitDiff instance for string/split diff pairs. 2015-12-30 09:00:39 -05:00
Rob Rix
c46dda98d4 Add a HasSplitDiff identity instance. 2015-12-30 09:00:28 -05:00
Rob Rix
e6a30f7c7d Add a HasSplitDiff typeclass. 2015-12-30 09:00:16 -05:00
Rob Rix
ab61c8f76c Add a HasDiff typeclass back in. 2015-12-30 08:59:53 -05:00
Rob Rix
88f0285b89 Info is a Monoid. 2015-12-29 16:02:42 -05:00
Rob Rix
5121c337ec Wrap lefts instead of dropping them. 2015-12-29 15:56:54 -05:00
Rob Rix
d9cc3e6558 Revert "Revert "Filter out unsemantic context nodes using Either."" 
This reverts commit 5537296fc6670f6979ef341a69a08d205302d112.
 2015-12-29 15:49:01 -05:00
Rob Rix
17b02a4f07 Use pure. 2015-12-29 15:41:22 -05:00
Rob Rix
ce5dddec3a Map the line ranges directly in splitTermByLines. 2015-12-29 15:39:40 -05:00
Rob Rix
79d8cff9af Line is Applicative. 2015-12-29 15:34:54 -05:00
Rob Rix
c65f18bb25 Revert "Filter out unsemantic context nodes using Either." 
This reverts commit 4f0975775a648d5c277cc02cfe82aec45df12985.
 2015-12-29 15:00:15 -05:00
Rob Rix
627d050f86 Revert "Add a filter function to OrderedMap." 
This reverts commit 6c5ad05a702cf612cab9bbbc779f4cac7af44462.
 2015-12-29 14:58:13 -05:00
Rob Rix
3ca7042ed1 Revert "Row is a Bifunctor." 
This reverts commit 154dd03fabdadae14b3fd97401a663daa6ec504f.
 2015-12-29 14:58:09 -05:00
Rob Rix
7342c93038 Revert "Extend Row’s Arbitrary instance to two parameters." 
This reverts commit 8d48b02705633ee97aa894b1ca5b3af043b3422c.
 2015-12-29 14:58:06 -05:00
Rob Rix
a402c1ec48 Revert "Remove <$$> since we aren’t using it." 
This reverts commit 7b90d843b4220429f50102bce24b5f679ad6935c.
 2015-12-29 14:58:03 -05:00
Rob Rix
3b9936865f Remove <$$> since we aren’t using it. 2015-12-29 14:44:02 -05:00
Rob Rix
ee3c3c8bd0 Extend Row’s Arbitrary instance to two parameters. 2015-12-29 14:42:35 -05:00
Rob Rix
a9bed2ba91 Row is a Bifunctor. 2015-12-29 14:42:07 -05:00
Rob Rix
b23fd6a3ad Add a filter function to OrderedMap. 2015-12-29 14:19:35 -05:00
Rob Rix
ca313e7f29 Remove HasDiff. 2015-12-29 14:12:40 -05:00
Rob Rix
8e149b54ae Replace HasDiff with a lens. 2015-12-29 12:48:37 -05:00
Rob Rix
253c3dfd7c Replace HasTerm with a lens type. 2015-12-29 12:47:06 -05:00
Rob Rix
c274125ea0 RankNTypes. 
Needed for our lens types.
 2015-12-29 12:46:53 -05:00
Rob Rix
f685f57417 Depend on lens. 
We were already bringing it in via rainbow, this just makes it explicit.
 2015-12-29 12:46:40 -05:00
Rob Rix
981098f49e Add a HasDiff typeclass. 
Also much like a lens, only terrible.
 2015-12-29 11:48:00 -05:00
Rob Rix
3ec8ebd2c0 Rename TermContainer → HasTerm. 2015-12-29 11:42:46 -05:00
Rob Rix
1af6717201 Filter out unsemantic context nodes using Either. 2015-12-29 11:17:29 -05:00
Rob Rix
890512fafb Annotate the type of contextRows. 2015-12-29 11:02:42 -05:00
Rob Rix
36232f46a1 Annotate the type of adjoin. 2015-12-29 11:01:27 -05:00
Rob Rix
f7beee8c79 Annotate the type of wrap. 2015-12-29 11:00:33 -05:00
Rob Rix
5f9299cfe5 Annotate the type of getRange. 2015-12-29 10:57:32 -05:00
Rob Rix
2c95e64293 Annotate the type of adjoinChildRows. 2015-12-29 10:56:49 -05:00
Rob Rix
2429ac1333 Annotate the type of childRows. 2015-12-29 10:56:32 -05:00
Rob Rix
d769936602 Don’t filter out empty ranges. 
This seems to be fine.
 2015-12-29 10:24:47 -05:00
Rob Rix
19d0d77a0f Source is Traversable. 2015-12-29 10:21:45 -05:00
Rob Rix
5416edbcc4 Generate syntax with String leaves. 
This reverts commit 3c4056c094f88daf1b6aa5c7f41799aa595ccdce.
 2015-12-29 10:21:09 -05:00
Rob Rix
2ddb8bd5a6 Revert "Type Families!!!" 
This reverts commit 3c4056c094f88daf1b6aa5c7f41799aa595ccdce.
 2015-12-29 10:17:00 -05:00
Rob Rix
d71368ffad Revert "Generalize the leaf type again (via a type family in TermContainer)." 
This reverts commit af37677e344e1dd3d6a6f782186a2b0983519652.
 2015-12-29 10:14:57 -05:00
Rob Rix
99220ba440 Generalize the leaf type again (via a type family in TermContainer). 2015-12-29 10:07:33 -05:00
Rob Rix
09dae76194 Type Families!!! 2015-12-29 10:07:18 -05:00
Rob Rix
3c74757685 Use Either to filter out unnecessary context nodes. 2015-12-29 09:52:54 -05:00
Rob Rix
ac724f7d6c Use concrete leaf types everywhere. 2015-12-29 09:51:50 -05:00
Rob Rix
cadf559d8b Generalize openTerm to term containers. 2015-12-29 09:51:26 -05:00
Rob Rix
1fa2450c6e String/Term pairs are term containers. 2015-12-29 09:51:00 -05:00
Rob Rix
938468f9b4 Terms are term containers. 2015-12-29 09:50:54 -05:00
Rob Rix
b738163094 Add a TermContainer typeclass. 
It’s like a lens, but terrible and ad hoc.
 2015-12-29 09:50:47 -05:00
Rob Rix
465b3e5207 Add a MaybeOpen value for Info. 2015-12-28 17:11:52 -05:00
Rob Rix
2a048984e3 Use fromMaybe to unpack in splitAnnotatedByLines. 2015-12-28 17:11:37 -05:00
Rob Rix
8a9f815e4e Add an openEither MaybeOpen function. 2015-12-28 16:22:59 -05:00
Rob Rix
90cd354091 MaybeOpen characterizes adjoinRowsBy. 2015-12-28 16:20:03 -05:00