github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-11 20:44:37 +03:00
Code Issues Projects Releases Wiki Activity
2,199 Commits 19 Branches 16 Tags 46 MiB
34eb8f9a28
Commit Graph

80 Commits

Author SHA1 Message Date
Rob Rix
aed17adfed Remove the unflattened implementation. 2015-11-12 18:01:23 -05:00
Rob Rix
561045ced4 Flatten out equality over Cofree. 2015-11-12 18:01:12 -05:00
Rob Rix
e7b1f59658 Switch through the term directly. 2015-11-12 17:46:18 -05:00
Rob Rix
822ce7ccc5 Add a Cofree.size function. 
This should avoid the protocol indirection around `TermType`.
 2015-11-12 17:44:35 -05:00
Rob Rix
4d867db4c4 Cofree can be explored. 2015-11-05 10:45:21 -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
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
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
joshvera
20e2a520e6 add .Fixed to Syntax 2015-10-23 14:47:44 -04:00
Rob Rix
2b216398b7 iterate → cata 2015-10-23 11:36:05 -04:00
Rob Rix
9b310b8c78 coiterate → ana 2015-10-23 11:34:53 -04:00
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
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
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
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
6bcbccfe08 Document coiterate as an anamorphism. 2015-10-22 12:55:06 -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
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
c75b36512c CofreeType implies TermType. 2015-10-22 10:21:04 -04:00
Rob Rix
fbd7c1f742 Merge branch 'master' into output-source-range-annotations-to-json 2015-10-19 13:18:12 -04:00
Rob Rix
3d85194f8c Merge branch 'master' into cofree-memoizes 2015-10-16 16:40:59 -04:00
Rob Rix
b4dc1e7bf1 Cofree is not lazy. 2015-10-16 16:40:47 -04:00
Rob Rix
841f7017c8 Indirection. 2015-10-16 16:10:10 -04:00
Rob Rix
f4e462eba2 Cofree uses Memo to ensure that statefully-computed subtrees are “ok.” 
Randomness is an effect.
 2015-10-16 16:05:37 -04:00
Rob Rix
8c341fc129 Terms annotated with ranges over a string can be printed to JSON. 2015-10-16 11:09:20 -04:00
Rob Rix
fcff1d8e9f Correct a section marker. 2015-10-16 09:20:47 -04:00
Rob Rix
1e53b446ab Cofree conforms to CofreeType. 2015-10-15 15:42:39 -04:00
Rob Rix
522757c121 Replace CofreeConvertible with CofreeType. 2015-10-15 15:42:24 -04:00
Rob Rix
8d93a77b86 Add a CofreeConvertible protocol. 2015-10-15 15:31:51 -04:00
Rob Rix
260a317194 Merge branch 'master' into restrict-comparisons-by-category 
Conflicts:
	prototype/Doubt.xcodeproj/project.pbxproj
 2015-10-15 09:47:49 -04:00
Rob Rix
8b5a269d5e Remove Cofree hashing. 2015-10-15 09:43:23 -04:00
Rob Rix
c022085919 Merge branch 'master' into restrict-comparisons-by-category 
Conflicts:
	prototype/Doubt.xcodeproj/project.pbxproj
	prototype/Doubt/Fix.swift
 2015-10-15 09:28:21 -04:00
Rob Rix
18d19173c0 Remove the Fix → Cofree constructor. 2015-10-15 08:58:48 -04:00
Rob Rix
e0692770b3 Cofree is CustomDebugStringConvertible. 2015-10-14 16:40:13 -04:00
Rob Rix
124d45a549 Cofree has categories when B: Categorizable. 2015-10-14 15:49:23 -04:00
Rob Rix
07690849a6 Convenience for constructing Cofree with autoclosures. 2015-10-14 14:17:29 -04:00