github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-07 16:07:28 +03:00
Code Issues Projects Releases Wiki Activity
1,955 Commits 19 Branches 16 Tags 46 MiB
a372b7aaaf
Commit Graph

1001 Commits

Author SHA1 Message Date
Rob Rix
a372b7aaaf Remove Free.analysis. 2015-11-03 11:21:41 -05:00
Rob Rix
db7c1dc1ef Switch in Free.JSON directly. 2015-11-03 11:21:16 -05:00
Rob Rix
4f16ce62c3 Switch in Free.map directly. 2015-11-03 11:19:33 -05:00
Rob Rix
02af784036 Nothing ever flat maps a Free. 2015-11-03 11:18:13 -05:00
Rob Rix
4169d8d554 Switch in Free.cata directly. 2015-11-03 11:17:41 -05:00
Rob Rix
13c37a1178 Nothing ever maps an Algorithm either. 2015-11-03 11:15:33 -05:00
Rob Rix
45ecdde53a Remove Algorithm.analysis. 2015-11-03 11:15:01 -05:00
Rob Rix
90cd2ee2d7 Nothing ever flat maps an Algorithm. 2015-11-03 11:13:59 -05:00
Rob Rix
c15c2715f5 Rewrite annotating hylo without composition. 2015-11-03 11:04:04 -05:00
Rob Rix
b6436e91f6 Rewrite hylo without composition. 2015-11-03 11:03:57 -05:00
Rob Rix
022de3c657 TermType.para rethrows errors. 2015-11-03 10:40:19 -05:00
Rob Rix
196ab28c13 TermType.cata rethrows errors. 2015-11-03 10:40:12 -05:00
Rob Rix
2a102aad02 Fix a doc comment. 2015-11-03 10:39:59 -05:00
Rob Rix
1442bc6cf7 CofreeType.cata rethrows errors. 2015-11-03 10:39:42 -05:00
Rob Rix
e4e57932cf Remove unused operators. 2015-11-03 10:38:18 -05:00
Rob Rix
ae5b50bcdf CofreeType.cata’s transformation block receives the annotation. 2015-11-02 17:22:24 -05:00
Rob Rix
ed9ca09909 Duplicate cata for CofreeType. 2015-11-02 17:20:42 -05:00
Rob Rix
4f03d5355b 🔥 Free.para. 2015-11-02 17:18:56 -05:00
Rob Rix
3fbfeccce9 Free.para’s transformation function receives the annotation. 2015-11-02 15:12:27 -05:00
Rob Rix
aa815e8010 Free.cata’s transformation function receives the annotation. 2015-11-02 15:09:53 -05:00
Rob Rix
5aef08e4c5 Paramorphism over Free. 2015-11-02 14:33:02 -05:00
Rob Rix
ff760d67b3 Remove the Term/Diff typealiases. 2015-10-30 14:57:33 -04:00
Rob Rix
8fadcd3d95 JSONLeaf doesn’t need to import Foundation. 2015-10-30 14:57:10 -04:00
Rob Rix
9f9b7e1517 JSONLeaf is Categorizable. 2015-10-30 14:54:18 -04:00
Rob Rix
73f094cc29 Document the early return. 2015-10-29 13:16:16 -04:00
Rob Rix
17d0582331 Short-circuit cost computations for equal terms. 
This is an optimization for SES allowing it to short-circuit cost
computations when it encounters equal terms.
 2015-10-29 11:23:25 -04:00
Rob Rix
ba33e1c4a3 Ranges have a JSON property. 2015-10-28 18:11:01 -04:00
Rob Rix
ae6ecef9c2 Try constructing explicitly. 
Maybe Xcode 7.0 will like this one better.
 2015-10-28 18:07:04 -04:00
Rob Rix
ef7ce734d7 Arrays of CustomJSONConvertible elements have a JSON property. 2015-10-28 17:51:27 -04:00
Rob Rix
9d0805c228 Revert "Revert "Don’t constrain the type to the protocol, pass it in directly."" 
This reverts commit c813e703e4ee963d94c1d45e7c935731a4eb0c7e.
 2015-10-28 14:38:56 -04:00
Rob Rix
a4da6cd33c Revert "Revert "Add a constructor to JSON which takes a CustomJSONConvertible."" 
This reverts commit 6ea523a327bed0ce54e8d56373604f1a64c83200.
 2015-10-28 14:38:51 -04:00
Rob Rix
0371c51340 Revert "Add a constructor to JSON which takes a CustomJSONConvertible." 
This reverts commit 9e0d4208bed25824275ccc34092b8659fa316a2b.
 2015-10-28 14:37:12 -04:00
Rob Rix
cdf4848357 Revert "Don’t constrain the type to the protocol, pass it in directly." 
This reverts commit fb68f0c0ba30c0691c72170efa5c5204a027c8aa.
 2015-10-28 14:37:08 -04:00
Rob Rix
4b47650de6 Revert "Can construct JSON from array literals of CustomJSONConvertible." 
This reverts commit cabc221180851e236d39c717db2eefa9edc9f312.
 2015-10-28 14:37:04 -04:00
Rob Rix
4f2e61054e Can construct JSON from array literals of CustomJSONConvertible. 2015-10-28 14:34:44 -04:00
Rob Rix
51dc49f3e0 Don’t constrain the type to the protocol, pass it in directly. 2015-10-28 14:34:16 -04:00
Rob Rix
5d6e10e25a Add a constructor to JSON which takes a CustomJSONConvertible. 2015-10-28 14:31:20 -04:00
Rob Rix
4d1d7d62e8 Patch.difference rethrows errors. 2015-10-28 12:15:36 -04:00
Rob Rix
89cd067c8f Patch.sum rethrows errors. 2015-10-28 12:15:18 -04:00
Rob Rix
c36b1df02b Patch.difference’s argument does not escape. 2015-10-28 12:14:58 -04:00
Rob Rix
5c44771b02 Patch.sum’s argument does not escape. 2015-10-28 12:14:43 -04:00
Rob Rix
0f7d7b2770 Patch.map rethrows errors. 2015-10-28 12:14:15 -04:00
Rob Rix
c03871468e CofreeType.ana rethrows errors. 2015-10-28 12:11:41 -04:00
Rob Rix
b28038cb63 CofreeType.ana’s argument does not escape. 2015-10-28 12:11:02 -04:00
Rob Rix
79dce9ba64 Implement CofreeType.ana without composition or application operators. 
Once again, Swift doesn’t understand its own transitivity.
 2015-10-28 12:10:37 -04:00
Rob Rix
010f45c15e Cofree.map rethrows errors. 2015-10-28 12:09:04 -04:00
Rob Rix
29e8a7598b Cofree.map’s argument does not escape. 2015-10-28 12:08:27 -04:00
Rob Rix
17987eff80 Free.ana rethrows errors. 2015-10-28 12:07:23 -04:00
Rob Rix
33bd0c5644 Free.ana’s argument does not escape. 2015-10-28 12:06:30 -04:00
Rob Rix
f469b4f691 Implement Free.ana without application or composition operators. 
Swift can’t trace `noescape` or `rethrows` transitively through them.
 2015-10-28 12:05:40 -04:00