1
1
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00
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