github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-20 13:21:59 +03:00
Code Issues Projects Releases Wiki Activity
2,858 Commits 19 Branches 16 Tags 46 MiB
aa64cc7c4a
Commit Graph

2036 Commits

Author SHA1 Message Date
Rob Rix
f3122f1bae Move JSON construction of Term into doubt-swift. 2015-09-30 15:08:19 -04:00
Rob Rix
03d4fcfc53 Add Category. 2015-09-30 15:03:47 -04:00
Rob Rix
d7a8c64806 Abbreviate the properties. 2015-09-30 15:03:42 -04:00
Rob Rix
82720340ef Wrap with Term(). 2015-09-30 15:03:37 -04:00
Rob Rix
d8c718130b Lose an annotation. 2015-09-30 15:03:30 -04:00
Rob Rix
a6358b22d4 Remove CustomHashConvertible. 2015-09-30 15:02:31 -04:00
Rob Rix
2d0991b91f Abstract Term over a type parameter A. 2015-09-30 14:42:58 -04:00
Rob Rix
a2b9f9ce17 Implement Syntax equality using a function which expresses the equality of the functor. 2015-09-30 14:42:44 -04:00
Rob Rix
92d844f416 Extract the exception-for-control-flow ErrorType to global scope. 2015-09-30 14:40:30 -04:00
Rob Rix
88b677e1e0 Parameterize the type of Leaf. 2015-09-30 12:41:20 -04:00
Rob Rix
5529a502e3 Require Recur to be Hashable. 2015-09-30 12:40:49 -04:00
Rob Rix
de3ef64f48 Map using Hash.init. 2015-09-30 12:40:36 -04:00
Rob Rix
5fa07014a6 Replace all the other nodes with Branch. 2015-09-30 11:42:41 -04:00
Rob Rix
a0f562d25e Leaves, not Literals. 2015-09-30 11:03:55 -04:00
Rob Rix
4712e1c2cc Add CustomHashConvertible for non-Equatable objects that can be converted to Hashes. 2015-09-30 10:46:01 -04:00
Rob Rix
66b225fce3 Replace Case with a constructor. 2015-09-30 10:44:48 -04:00
Rob Rix
565800b1b0 Add a constructor for Int hashes. 2015-09-30 10:43:18 -04:00
Rob Rix
9841debe91 No longer need to disambiguate String. 2015-09-30 10:42:43 -04:00
Rob Rix
b581b8b71d Rename String to Label. 2015-09-30 10:42:27 -04:00
Rob Rix
d9eb3f6a69 Don’t need to disambiguate Int now. 2015-09-30 10:40:45 -04:00
Rob Rix
0cdb09a964 Rename the Int case to Raw. 2015-09-30 10:40:28 -04:00
Rob Rix
66141c95af Replace Literal/Variable with Leaf. 2015-09-30 10:36:25 -04:00
Rob Rix
1f253f4e12 Add a phantom type parameter to Syntax. 2015-09-30 10:31:48 -04:00
Rob Rix
308f81853d Rename the Payload type to Recur. 2015-09-30 10:29:38 -04:00
Rob Rix
4348604e66 Remove the typealias. 2015-09-30 10:29:32 -04:00
Rob Rix
31d35c854b Term is AlgebraicHashable. 2015-09-29 17:03:18 -04:00
Rob Rix
586def93cd Syntax<A: AlgebraicHashable> implements hash. 2015-09-29 17:03:11 -04:00
Rob Rix
7925347d21 Debug print abstraction bodies correctly. 2015-09-29 17:02:57 -04:00
Rob Rix
1cf92c94d0 Conveniences for labelled/numbered enum cases. 2015-09-29 17:02:35 -04:00
Rob Rix
f1c2f4b9e0 Algebraic hashing of RawRepresentable types whose RawValue is [Algebraic]Hashable. 2015-09-29 17:02:01 -04:00
Rob Rix
b60df96019 Construction of Hash from Hashable/AlgebraicallyHashable values. 2015-09-29 17:01:38 -04:00
Rob Rix
e32bb2af29 Add a protocol for algebraically hashable types. 
They’ll get `hashValue` for free.
 2015-09-29 17:00:52 -04:00
Rob Rix
278bba4f82 Add an algebraic Hash type. 2015-09-29 17:00:26 -04:00
Rob Rix
29de111b1c How did this even build? 2015-09-29 12:57:17 -04:00
Rob Rix
60821016a2 Revert "Empty terms are copied, not patched." 
This reverts commit 788dbaa07ceafc084dc0f10f74efc2aa2a6841ec.
 2015-09-29 12:54:42 -04:00
Rob Rix
dfbfb9fe79 Short-circuit for equal terms. 2015-09-29 12:54:32 -04:00
Rob Rix
7d36421d6a Empty terms are copied, not patched. 2015-09-29 12:53:04 -04:00
Rob Rix
94bcc7d3f0 Remove empty diffs. 2015-09-29 12:50:34 -04:00
Rob Rix
35581fa6d9 Resume using .Empty for Terms. 2015-09-29 12:49:36 -04:00
Rob Rix
50e8223f18 Whitespaaaace. 2015-09-29 12:49:19 -04:00
Rob Rix
c3e8d9a801 Remove Term.Empty. 2015-09-29 12:48:53 -04:00
Rob Rix
17271ff2ce Add a constructor for empty terms. 2015-09-29 12:48:35 -04:00
Rob Rix
1bb9cbbbd4 Empty syntaxes are equatable. 2015-09-29 12:48:13 -04:00
Rob Rix
8c1b249df2 Add an Empty case to Syntax. 2015-09-29 12:44:47 -04:00
Rob Rix
feff05b0c8 Move Layout to the end of the file. 2015-09-28 23:33:50 -04:00
Rob Rix
cfc92283db Layout is private. 2015-09-28 22:59:24 -04:00
Rob Rix
61bb6cff93 Use group as a method. 2015-09-28 22:58:24 -04:00
Rob Rix
8acde46998 group as a method. 2015-09-28 22:58:10 -04:00
Rob Rix
c6765e052a Replace the static bracket function. 2015-09-28 22:57:29 -04:00
Rob Rix
42cee56ef8 Bracket as an instance method. 2015-09-28 22:56:18 -04:00
Rob Rix
c4f710efd1 Don’t spread explicitly. 2015-09-28 22:54:41 -04:00
Rob Rix
d72913a0d3 Don’t fold explicitly. 2015-09-28 22:54:10 -04:00
Rob Rix
a63a4410fd Replace the stack function with an extension method. 2015-09-28 22:53:23 -04:00
Rob Rix
d0b6617ce6 Replace the spread function with an extension method. 2015-09-28 22:53:15 -04:00
Rob Rix
28d66524bf Use joinWithSeparator. 2015-09-28 22:50:59 -04:00
Rob Rix
e6133ac036 Implement joinWithSeparator in the extension. 2015-09-28 22:49:41 -04:00
Rob Rix
fa763cbccc Use the fold extension method. 2015-09-28 22:48:13 -04:00
Rob Rix
ca3f07d76f Add an extension to SequenceType for folding sequences of docs. 2015-09-28 22:47:02 -04:00
Rob Rix
f6cb4341a3 Rename some parameters that got caught by find/replace. 2015-09-28 22:46:35 -04:00
Rob Rix
5fbc3b5102 Avoid extra spaces in comma-separated lists. 2015-09-28 22:41:51 -04:00
Rob Rix
f4f5ad1e86 Rename DOC to Doc. 2015-09-28 22:36:22 -04:00
Rob Rix
f00eebca59 DOC is CustomDocConvertible. 2015-09-28 22:33:25 -04:00
Rob Rix
331999076c DOC is Equatable. 2015-09-28 22:33:18 -04:00
Rob Rix
060216cff4 Equality of DOCs. 2015-09-28 22:30:56 -04:00
Rob Rix
f42dc8dafe Rename Doc to Layout. 2015-09-28 22:28:37 -04:00
Rob Rix
c6cedbc751 Formatting. 2015-09-28 22:27:46 -04:00
Rob Rix
b79bbfad62 Abbreviate some uses of doc a little. 2015-09-28 22:26:37 -04:00
Rob Rix
425e6bd8f9 better is a static function. 2015-09-28 22:23:23 -04:00
Rob Rix
11ea7c6f17 Rename some parameters. 2015-09-28 22:22:41 -04:00
Rob Rix
810d562424 Replace be with an initializer. 2015-09-28 22:22:13 -04:00
Rob Rix
d8be60d842 Rename be’s parameters. 2015-09-28 22:17:06 -04:00
Rob Rix
749fe83e81 Rename the parameter to placed. 2015-09-28 22:17:00 -04:00
Rob Rix
6d16f3924d best is a method. 2015-09-28 22:16:19 -04:00
Rob Rix
1829404979 fits is a method. 2015-09-28 22:12:08 -04:00
Rob Rix
9928fdaa77 Make pretty a method on DOC. 2015-09-28 17:13:10 -04:00
Rob Rix
2ef4ca02a1 Extract pretty from the extension. 2015-09-28 17:10:12 -04:00
Rob Rix
d3b27cfba4 Add a DOC type which constructs Doc. 
Following Wadler.
 2015-09-28 17:06:52 -04:00
Rob Rix
0c8303f27b Add a constructor for single-element Streams. 2015-09-28 17:06:01 -04:00
Rob Rix
119fdaed78 Add Doc operators. 2015-09-28 17:05:36 -04:00
Rob Rix
9147dd72db Add a test of SES over slightly longer sequences to demonstrate the performance problem. 2015-09-28 14:28:36 -04:00
Rob Rix
a7ea2ae201 Avoid recomputing the magnitudes. 2015-09-28 14:21:13 -04:00
Rob Rix
b43a5eaf26 Revert "Diff using Vertex." 
This reverts commit 881436e01d381b404c12e9c63a8634d6110d251a.
 2015-09-28 14:17:55 -04:00
Rob Rix
7237ecd7e4 Diff using Vertex. 2015-09-28 14:17:48 -04:00
Rob Rix
b1a3c8046e Vertex emptiness. 2015-09-28 12:09:43 -04:00
Rob Rix
1a6f6b588b Add a Fibonacci stream to the tests. 2015-09-28 10:29:31 -04:00
Rob Rix
48bee808f6 Correct take’s semantics. 2015-09-28 10:28:44 -04:00
Rob Rix
d110a149dc Taking of n values from streams. 2015-09-28 10:02:31 -04:00
Rob Rix
b97e2e4833 Test Vertex construction. 2015-09-28 09:55:04 -04:00
Rob Rix
4a16b06e92 Correct bogus equality tests. 2015-09-28 09:54:44 -04:00
Rob Rix
1a44c5ee7a Correct the inversion of alternating rows. 2015-09-25 18:50:59 -04:00
Rob Rix
da12af7313 Stream zipping. 2015-09-25 13:57:35 -04:00
Rob Rix
00f1daa61a Construct vertices in row-major order. 2015-09-25 12:52:59 -04:00
Rob Rix
a0edc9fe49 Vertex is CustomStringConvertible. 2015-09-25 12:45:10 -04:00
Rob Rix
18bcad0165 Vertex is CustomDebugStringConvertible. 2015-09-25 12:44:20 -04:00
Rob Rix
3dc89059ac Avoid an excess map. 2015-09-25 12:43:54 -04:00
Rob Rix
98e66acdbf Row-/column-major streams of vertices. 2015-09-25 12:38:11 -04:00
Rob Rix
652d1f9db4 Add row/column implementations back using Stream.unfold. 2015-09-25 12:37:58 -04:00
Rob Rix
21f3bc9dcc Xcode did not delete this before, apparently. 2015-09-25 12:37:42 -04:00
Rob Rix
39c46edeb9 Implement the eliminators with analysis. 2015-09-25 12:37:08 -04:00
Rob Rix
24bc2610ff Add a case analysis method. 2015-09-25 12:36:11 -04:00
Rob Rix
0a88c407e5 Construct streams with unfold. 2015-09-25 12:22:31 -04:00
Rob Rix
8178904a36 Generalize Vertex construction to arbitrary sequences. 2015-09-25 11:57:53 -04:00
Rob Rix
ece5c942d5 Memo can print itself. 2015-09-25 11:57:28 -04:00
Rob Rix
b25095372a Revert "Memo does not need the evaluated label." 
This reverts commit 238df4a1b54752041f134375569049c2afd79632.
 2015-09-24 18:26:23 -04:00
Rob Rix
b76d361412 Vertex equality. 2015-09-24 18:24:05 -04:00
Rob Rix
a70fc630aa Add an element property to Vertex. 2015-09-24 18:23:56 -04:00
Rob Rix
f1e06015d0 Work around a runtime deadlock. 2015-09-24 18:23:48 -04:00
Rob Rix
6e0cf0d6a1 Memo does not need the evaluated label. 2015-09-24 18:23:38 -04:00
Rob Rix
8387f5ce71 Vertices can be constructed from pairs of streams. 2015-09-24 15:45:56 -04:00
Rob Rix
089d5417aa Remove row, column, X, and Y from Vertex. 
This is a more wasteful representation but we can deal with that later.
 2015-09-24 15:45:36 -04:00
Rob Rix
40211726bc Add a lazy right-fold to Stream. 2015-09-24 15:10:56 -04:00
Rob Rix
abb625b501 Edit graph vertices. 2015-09-24 13:28:46 -04:00
Rob Rix
a6c419c6e1 Support enums, structs, and variables. 2015-09-23 18:22:27 -04:00
Rob Rix
975ac8fc2f Term initialization is partial. 2015-09-23 17:37:53 -04:00
Rob Rix
0a4dd8111f Spit out reflected diffs. 2015-09-23 17:37:29 -04:00
Rob Rix
3a90f09363 Remove the temporary arguments. 2015-09-23 17:01:43 -04:00
Rob Rix
5879e24a10 Copy frameworks into the .app. 2015-09-23 17:01:28 -04:00
Rob Rix
75aa4c0527 Don’t code sign. 2015-09-23 17:01:21 -04:00
Rob Rix
5524e85653 /dev/null → .Empty 2015-09-23 17:01:09 -04:00
Rob Rix
bf350ee2ed Bump SourceKitten. 2015-09-23 17:00:57 -04:00
Rob Rix
1c60f97bbf Print the diff between the files. 2015-09-23 16:39:30 -04:00
Rob Rix
53270aacfa Try to construct terms for the argument files. 2015-09-23 16:37:22 -04:00
Rob Rix
7d05f5206b Add a BoundsCheckedArray for unpacking arguments. 2015-09-23 16:34:07 -04:00
Rob Rix
ce6fd43eaf Term JSON constructors are public. 2015-09-23 16:27:29 -04:00
Rob Rix
8f78776d6a Public constructor for JSON. 2015-09-23 16:26:00 -04:00
Rob Rix
a3aefe8e37 Use a .app target instead. 2015-09-23 16:04:19 -04:00
Rob Rix
74e93a14de Move Term/JSON conversion into Term. 2015-09-23 13:34:45 -04:00
Rob Rix
9fa5aba516 Add a Swift diff tool target. 2015-09-23 13:32:17 -04:00
Rob Rix
18d35a0beb Share the Doubt scheme. 2015-09-23 13:31:42 -04:00
Rob Rix
95697e15f8 Doubt.framework does not need to link against SourceKittenFramework &c. 2015-09-23 13:29:05 -04:00
Rob Rix
bd7bcaea00 Explicitly annotate types so we can call without extra parentheses. 2015-09-23 12:32:25 -04:00
Rob Rix
22fa931d4d Use Term.Roll. 2015-09-23 12:31:28 -04:00
Rob Rix
04550ca9bd Remove SwiftAST. 2015-09-23 11:35:38 -04:00
Rob Rix
00ff3c2447 We no longer need to namespace these. 2015-09-23 11:34:35 -04:00
Rob Rix
6571de8514 Remove Prism. 2015-09-23 11:34:00 -04:00
Rob Rix
9fdd9f1109 Remove Array/DictionaryConvertible. 2015-09-23 11:33:55 -04:00
Rob Rix
68965379f7 Remove the JSON Prisms. 2015-09-23 11:33:34 -04:00
Rob Rix
7ef8a3f8c0 Clean up. 2015-09-22 17:41:02 -04:00
Rob Rix
f61b025c80 Unpack methods/functions differently from classes/extensions. 2015-09-22 17:40:23 -04:00
Rob Rix
0b6f81f8b7 Don’t test the prism. 2015-09-22 17:39:55 -04:00
Rob Rix
0c5c3910f6 Print the bodies of abstractions. 2015-09-22 17:35:41 -04:00
Rob Rix
8b6e1c1c08 Fix an infinite loop in Doc construction. 
I don’t know how this managed never to be tested.
 2015-09-22 17:33:56 -04:00
Rob Rix
5b1f35d7ff Term constructors. 2015-09-22 17:26:45 -04:00
Rob Rix
a6473b9eff Abstractions can have >1 elements in their body. 2015-09-22 17:23:48 -04:00
Rob Rix
0c4e9a0b58 Construct a Term from the JSON. 2015-09-22 17:18:22 -04:00
Rob Rix
b7647a46ed Use the temporary. 2015-09-22 17:17:58 -04:00
Rob Rix
9612325ea8 Add an extension to Term constructing it from JSON. 2015-09-22 17:16:58 -04:00
Rob Rix
401d0b4194 Capture the dictionary in a temporary. 2015-09-22 17:16:38 -04:00
Rob Rix
4a51b786d3 Capture the path in a temporary. 2015-09-22 17:16:25 -04:00
Rob Rix
b1c8394a8f Convenience constructor for JSON from AnyObject. 2015-09-22 17:15:55 -04:00
Rob Rix
aa82ed1a2b Remove Swift AST parsing. 2015-09-21 17:35:38 -04:00
Rob Rix
e54bc56d13 Extract document structure with SourceKitten. 2015-09-21 17:32:41 -04:00
Rob Rix
1e9be8b9b0 Prism conjunction. 2015-09-21 17:23:29 -04:00
Rob Rix
1d0a54d62a Rename Swift to SwiftAST. 2015-09-21 17:01:00 -04:00
Rob Rix
514a863547 Add a mapping convenience for constructed Prisms. 2015-09-21 16:46:48 -04:00
Rob Rix
5daa7d4398 Don’t bother with Iso. 2015-09-21 16:46:32 -04:00
Rob Rix
13f1d70071 We really don’t need this old thing. 2015-09-21 16:45:52 -04:00
Rob Rix
83e3c8e232 Missed a rename. 2015-09-21 16:45:45 -04:00
Rob Rix
ddc020c774 Rename Array/DictionaryType to Array/DictionaryConvertible. 2015-09-21 16:44:24 -04:00
Rob Rix
07d01dc79a Move DictionaryType to its own file. 2015-09-21 16:43:22 -04:00
Rob Rix
56569eeb73 Move ArrayType to its own file. 2015-09-21 16:42:52 -04:00
Rob Rix
1ec7e5b06c Extension methods use the converter and wrap the static prisms. 2015-09-21 16:28:04 -04:00
Rob Rix
806ea1ea93 Add a JSONConverter property to JSONConvertibles. 2015-09-21 16:27:45 -04:00
Rob Rix
b5efc49129 Restore the static prisms. 2015-09-21 16:25:34 -04:00
Rob Rix
0ca911e603 JSON/Prism extensions are public. 2015-09-21 16:08:43 -04:00
Rob Rix
7e40055294 Add .map to Prisms taking an Iso. 2015-09-21 16:05:58 -04:00
Rob Rix
1f3d05ae23 Add Iso. 2015-09-21 16:05:29 -04:00
Rob Rix
3efd234eea Dictionary/array extensions are public. 2015-09-21 15:59:52 -04:00
Rob Rix
20a7520181 Move dictionary/array extensions into Prism. 2015-09-21 15:59:17 -04:00
Rob Rix
92482ddbab Replace (most of) the static Prisms with properties in a constrained extension on Prism. 2015-09-21 15:53:30 -04:00
Rob Rix
fda61501e1 Array Prism subscripting is safe. 2015-09-21 15:42:07 -04:00
Rob Rix
0eca419468 Subscripting Prism<T, [U]> by Int produces Prism<T, U>. 2015-09-21 15:41:01 -04:00
Rob Rix
4f97a6bc4a Subscripting Prism<T, [K:V]> by K returns Prism<T,V>. 2015-09-21 15:40:43 -04:00
Rob Rix
c03c01f726 Typealiases for array/dictionary types. 2015-09-21 15:29:27 -04:00
Rob Rix
a787679652 JSON is public. 2015-09-21 15:23:16 -04:00
Rob Rix
d82acf8b9f Add a public constructor. 2015-09-21 15:23:01 -04:00
Rob Rix
78ae28a1ae forward/backward are public. 2015-09-21 15:22:55 -04:00
Rob Rix
e989c8aac5 Prism & its concatenation are public. 2015-09-21 15:22:14 -04:00
Rob Rix
21e1b7e3e9 toJSON/toAnyObject are private. 2015-09-21 15:21:31 -04:00
Rob Rix
fb48f88575 Move the prisms into the JSON namespace. 2015-09-21 15:21:09 -04:00
Rob Rix
700a7004c4 Add a representation of JSON & prisms for encoding/casting. 2015-09-21 15:20:33 -04:00
Rob Rix
8625c90aaa Add Prisms. 2015-09-21 15:19:49 -04:00
Rob Rix
3ff518ac46 Add a dictionary constructor over key/value pairs. 2015-09-21 15:19:42 -04:00
Rob Rix
c1f9dd3dd7 Xcode loves breaking search paths. 2015-09-21 11:17:19 -04:00
Rob Rix
de2c7f5169 Add & link SourceKitten & dependencies. 2015-09-21 11:14:31 -04:00
Rob Rix
ab4ec9e0aa Add a root parser taking multiple sexprs. 2015-09-18 16:36:14 -04:00
Rob Rix
ca5298da88 Test that empty branches can be produced. 2015-09-18 16:32:07 -04:00
Rob Rix
8b1afceaad Atoms are equatable. 2015-09-18 16:31:54 -04:00
Rob Rix
dfde9f26b9 Prioritize key/value pairs ahead of atoms. 2015-09-18 16:31:47 -04:00
Rob Rix
b71b40bf6f Atoms must be one or more character. 2015-09-18 16:31:25 -04:00
Rob Rix
654492158a Symbol nodes can be equated. 2015-09-18 16:31:05 -04:00
Rob Rix
04a207f71b Parse symbols. 2015-09-18 16:03:58 -04:00
Rob Rix
4b3ea05f8e This is just the worst test of alphabetic characters I can imagine. 2015-09-18 16:02:41 -04:00
Rob Rix
bcec39379d Allow atoms to occur in branches. 2015-09-18 15:58:01 -04:00
Rob Rix
b80e8cb527 Extract a parser for atoms. 2015-09-18 15:56:53 -04:00
Rob Rix
3b6838097f Test branch parsing. 2015-09-18 15:44:11 -04:00
Rob Rix
23f8a99867 S-expression parsing includes branches and key/value pairs. 2015-09-18 15:43:23 -04:00
Rob Rix
b5cdad9f32 Remove a bogus space. 2015-09-18 15:43:04 -04:00
Rob Rix
4f1181c51e Add a delay combinator. 2015-09-18 15:42:53 -04:00
Rob Rix
abb63b7c4d Words can contain _. 2015-09-18 15:38:05 -04:00
Rob Rix
a918261abc Use concat. 2015-09-18 15:37:53 -04:00
Rob Rix
08d07baef7 Allow values to be quoted or non-ws strings. 2015-09-18 15:08:37 -04:00
Rob Rix
73da6e2d32 No zero-width matches from not. 2015-09-18 15:08:24 -04:00
Rob Rix
c46c35157a Values can be quoted. 2015-09-18 15:04:04 -04:00
Rob Rix
fbcd667a4c Full parser. 2015-09-18 15:03:50 -04:00
Rob Rix
37612e763a Combinator which matches a character when its argument does not. 2015-09-18 15:03:42 -04:00
Rob Rix
0224ccc5c7 Move never in with the other parsers. 2015-09-18 13:53:12 -04:00
Rob Rix
56c139cd0b Test that the key value parser accepts alphabetic keys & values. 2015-09-18 13:46:52 -04:00
Rob Rix
c92dbc446b The Swift AST is Equatable. 2015-09-18 13:45:47 -04:00
Rob Rix
2edb3b60f1 Move all the parsers into Swift.Parsers. 2015-09-18 13:43:25 -04:00
Rob Rix
cce9fe71b8 Whitespace has some places it can be. 2015-09-18 13:43:08 -04:00
Rob Rix
8191905eaf Add a simple tree type representing Swift AST. 2015-09-18 13:39:28 -04:00
Rob Rix
079518a3f4 Add words. 2015-09-18 13:39:08 -04:00
Rob Rix
ec19009614 Move the S-expression parser into the library. 2015-09-18 11:24:05 -04:00
Rob Rix
8cdb91b5c4 Remove the lambda calculus parser. 2015-09-18 11:23:47 -04:00
Rob Rix
29cc2ed663 Character class from sequences of characters. 2015-09-18 11:23:05 -04:00
Rob Rix
3317e8778b Doubt is testable. 2015-09-18 11:19:12 -04:00
Rob Rix
5c7132a3bd Rename Fix to Term. 2015-09-18 10:12:34 -04:00
Rob Rix
70d55b81dd Full SES. 2015-09-17 15:57:04 -04:00
Rob Rix
318d8f2ea9 Test SES inserting/deleting in the middle. 2015-09-17 15:56:53 -04:00
Rob Rix
3885572e72 Test SES deleting at head. 2015-09-17 15:56:01 -04:00
Rob Rix
8c642c6f94 Test SES inserting at head. 2015-09-17 15:55:30 -04:00
Rob Rix
1fd445c1ef min-with-comparator. 2015-09-17 15:55:11 -04:00
Rob Rix
6e3d6a2209 Construct diffs from terms. 2015-09-17 15:55:01 -04:00
Rob Rix
8a4a205055 Recursive implementation. 2015-09-17 15:12:49 -04:00
Rob Rix
afab45e68a Stream is a monad. 2015-09-17 14:36:40 -04:00
Rob Rix
128361bbe8 Memo is a monad. 2015-09-17 14:36:34 -04:00
Rob Rix
afaa68b1e0 Add a concat overload over Memo<Stream>. 2015-09-17 14:34:39 -04:00
Rob Rix
25a88b3c69 const. 2015-09-17 14:34:26 -04:00
Rob Rix
3187d564e1 Abbreviate Stream.concat. 2015-09-17 14:30:49 -04:00
Rob Rix
e99c67ad42 Abbreviate Stream.map. 2015-09-17 14:30:41 -04:00
Rob Rix
e118119dd3 Align with the types. 2015-09-17 14:27:52 -04:00
Rob Rix
87e4d6ccfc map using analysis to work around a compiler crash. 2015-09-17 14:26:59 -04:00
Rob Rix
ab6cb6c67b Stream.rest does not force. 2015-09-17 14:26:25 -04:00
Rob Rix
d62d4a33bb Don’t switch in uncons. 2015-09-17 14:23:51 -04:00
Rob Rix
ad835e6c9a Add a case analysis method. 2015-09-17 14:23:33 -04:00
Rob Rix
a1136f8e58 rest forces. 2015-09-17 14:23:05 -04:00
Rob Rix
298c2accae uncons does not force the remainder of the stream. 2015-09-17 14:22:05 -04:00
Rob Rix
b3c0e92d2a Stream concatenation. 2015-09-17 14:14:01 -04:00
Rob Rix
587ffcbb24 Stream is NilLiteralConvertible. 2015-09-17 14:12:39 -04:00
Rob Rix
6e5c72098a Memo is a functor. 2015-09-17 14:10:51 -04:00
Rob Rix
538bbf0c27 Extra line. 2015-09-17 09:07:27 -04:00
Rob Rix
911501c337 Diff is Comparable. 2015-09-16 15:47:03 -04:00
Rob Rix
f9023f88b7 Equality of empty diffs. 2015-09-16 15:46:45 -04:00
Rob Rix
d0d53d152a Diff applications, abstractions, and groups as arrays. 2015-09-16 15:00:06 -04:00
Rob Rix
6a8915fc61 Approximate SES. 2015-09-16 14:58:53 -04:00
Rob Rix
d92afc817e Make Cons indirect to work around a runtime deadlock. 2015-09-16 14:56:34 -04:00
Rob Rix
8618d7bbca Insert/Delete convenience constructors. 2015-09-16 13:52:53 -04:00
Rob Rix
7e5100c813 Stream memoizes. 2015-09-16 13:44:02 -04:00
Rob Rix
71236c1b8d Remove the autoclosure constructor. 2015-09-16 13:43:57 -04:00
Rob Rix
590a290c0a Memo constructors. 2015-09-16 13:42:31 -04:00
Rob Rix
8c16f0321b Add a Memo type. 2015-09-16 12:59:57 -04:00
Rob Rix
3bade61660 Stream is a SequenceType. 2015-09-16 12:28:45 -04:00
Rob Rix
9c47dae557 Stream.map. 2015-09-16 12:27:23 -04:00
Rob Rix
0dfd3a5ecd Diffs have a magnitude. 2015-09-16 12:23:24 -04:00
Rob Rix
e823f84d4a Syntax folding. 2015-09-16 12:22:53 -04:00
Rob Rix
53ce3368cc Stream.isEmpty. 2015-09-16 11:56:06 -04:00
Rob Rix
fc7fa9db3b Construct Streams with sequences, generators, and sources. 2015-09-16 11:54:19 -04:00
Rob Rix
bec4764a39 Stream unconsing. 2015-09-16 11:44:56 -04:00
Rob Rix
4aa5a86143 Basic Stream abstraction. 2015-09-16 11:42:49 -04:00
Rob Rix
65d8b04eb9 (Failing) test of non-empty/empty SES. 2015-09-16 10:04:30 -04:00
Rob Rix
8a2ff37cb9 (Failing) test of empty/non-empty terms. 2015-09-16 10:02:20 -04:00
Rob Rix
6e5aacc988 SES is over [Fix], not [Diff]. 2015-09-16 09:59:13 -04:00
Rob Rix
1aed2f8949 Test that empty collections generate empty diffs. 2015-09-16 09:56:28 -04:00
Rob Rix
2fdff49711 Stub in SES. 2015-09-16 09:56:15 -04:00
Rob Rix
b0c396d734 Fix the copyright. 2015-09-15 15:23:07 -04:00
Rob Rix
440ccb9444 Leave Doc implicit wherever possible. 2015-09-15 14:33:09 -04:00
Rob Rix
8bf3464764 Test the production of copying diffs. 2015-09-15 14:29:54 -04:00
Rob Rix
02de7f075e Add the sexpr grammar to the tests. 2015-09-15 14:28:32 -04:00
Rob Rix
29dcc19069 Remove the broken playground. 2015-09-15 14:27:18 -04:00
Rob Rix
9654536de1 Whatever you say, Xcode. 2015-09-15 14:26:25 -04:00
Rob Rix
5f464f3e10 🔥 Tree. 2015-09-15 14:17:40 -04:00
Rob Rix
bf10dfca2d Diff.debugDescription gets the debug strings for its contents. 2015-09-15 14:09:45 -04:00
Rob Rix
d3b82148b8 Diff is CustomDebugStringConvertible. 2015-09-15 14:08:59 -04:00
Rob Rix
cae54e2c95 Fix can be empty. 2015-09-15 14:07:35 -04:00
Rob Rix
64c3a6074b Don’t specialize description. 2015-09-15 13:58:47 -04:00
Rob Rix
d76ec6a208 Move Tree up in the list. 2015-09-15 13:56:08 -04:00
Rob Rix
9b9daa910a Remove the heading. 2015-09-15 13:55:46 -04:00
Rob Rix
d5d63a892d Define Doc directly, not algebraically. 2015-09-15 13:55:09 -04:00
Rob Rix
41bba38001 Fix is an enum. 2015-09-15 13:49:23 -04:00
Rob Rix
6724c834e5 Remove FixpointType. 2015-09-15 13:46:45 -04:00
Rob Rix
d23d646f66 Tree is CustomStringConvertible. 2015-09-15 12:52:07 -04:00
Rob Rix
5f66984cec Tree is public. 2015-09-15 12:50:36 -04:00
Rob Rix
485565b4e4 Add a simple rose tree. 2015-09-15 12:49:39 -04:00
Rob Rix
871dc356dd Tweak some things to make Xcode happy. 2015-09-15 12:34:53 -04:00
Rob Rix
93fd2acc81 Add 'prototype/' from commit 'a7fef6ced9d2b71dfdf5e6d8fb765ab0c0bc6be5' 
git-subtree-dir: prototype
git-subtree-mainline: 0244ce39f68a04b515f32b2b8ea9a3e0228923c7
git-subtree-split: a7fef6ced9
 2015-09-15 12:32:12 -04:00