Rob Rix
|
5acf6ff0f2
|
Check for comparability in diffTerms .
|
2016-08-04 10:32:55 -04:00 |
|
Rob Rix
|
3808b89fe4
|
Use replacing in diffTerms.
|
2016-08-04 10:32:05 -04:00 |
|
Rob Rix
|
18065f5048
|
Merge branch 'master' into algorithm-dsl
|
2016-08-04 10:25:13 -04:00 |
|
Josh Vera
|
e742a8c86d
|
Merge pull request #676 from github/fix-some-other-warnings
Fix some other warnings
|
2016-08-04 10:24:02 -04:00 |
|
Rob Rix
|
f379deca33
|
Use the Foldable instance to avoid a mappend.
|
2016-08-04 10:19:46 -04:00 |
|
Rob Rix
|
5280b62a20
|
Commented terms are named from their children.
|
2016-08-04 10:19:02 -04:00 |
|
joshvera
|
e39ab20eee
|
Use termNameFromSource in toTermName
|
2016-08-04 10:13:56 -04:00 |
|
Rob Rix
|
0bc1993287
|
Merge branch 'master' into algorithm-dsl
|
2016-08-04 10:07:29 -04:00 |
|
Rob Rix
|
2286b2b37b
|
Define toTermName over Error nodes.
|
2016-08-04 10:04:33 -04:00 |
|
Rob Rix
|
6c39b170e8
|
Define toTermName over Commented nodes.
|
2016-08-04 10:04:33 -04:00 |
|
Rob Rix
|
70c6b42e69
|
Add the missing pattern match over methods.
|
2016-08-04 10:04:33 -04:00 |
|
Rob Rix
|
ff954d08c7
|
🔥 the unused CoArbitrary instance over Category.
This also allows us to 🔥 the orphan instance over Text.
|
2016-08-04 10:04:33 -04:00 |
|
Rick Winfrey
|
b91d91ef0f
|
Merge pull request #675 from github/fix-prologue-warnings
[WIP] Fix some warnings
|
2016-08-04 09:03:06 -05:00 |
|
Rob Rix
|
559011de3a
|
🔥 a redundant import.
|
2016-08-04 09:46:21 -04:00 |
|
Rob Rix
|
b41ae038b9
|
Traverse the recursive structure instead of embedding it.
|
2016-08-04 09:26:13 -04:00 |
|
Rob Rix
|
1ee3dcff66
|
Use the Patch DSL to construct replacements.
|
2016-08-04 09:25:33 -04:00 |
|
Rob Rix
|
663bb97a3d
|
Define a DSL for constructing Patches.
|
2016-08-04 09:25:18 -04:00 |
|
Rob Rix
|
53dfd9a3bd
|
Extract a function to construct replacements.
|
2016-08-04 09:05:17 -04:00 |
|
Rob Rix
|
190fa948e2
|
This is already getting exported via Protolude.
|
2016-08-04 08:52:25 -04:00 |
|
Rob Rix
|
b3d09f538e
|
Define run in terms of runAlgorithm.
|
2016-08-03 20:14:41 -04:00 |
|
Rob Rix
|
f9969601e8
|
runAlgorithm receives a constructing function.
|
2016-08-03 20:14:33 -04:00 |
|
Rob Rix
|
78701ddd90
|
Defines a constructor of algorithms over terms.
|
2016-08-03 20:08:20 -04:00 |
|
Rob Rix
|
10e38a8895
|
Algorithm is defined in the Church encoded free monad.
|
2016-08-03 19:50:16 -04:00 |
|
Rob Rix
|
840720d86e
|
Define a runAlgorithm function.
|
2016-08-03 19:48:51 -04:00 |
|
Rob Rix
|
9f6fb541a7
|
Define run by iteration.
|
2016-08-03 18:58:37 -04:00 |
|
Rob Rix
|
fb8d95203f
|
Replace the type parameters to AlgorithmF.
|
2016-08-03 18:43:36 -04:00 |
|
Rob Rix
|
6694b80082
|
Add a smart constructor for RWS diffs.
|
2016-08-03 18:40:17 -04:00 |
|
Rob Rix
|
14b38dff8b
|
Use the smart constructor to diff recursively.
|
2016-08-03 18:39:33 -04:00 |
|
Rob Rix
|
f8ad7ecea1
|
Use the smart constructor to diff indexed terms.
|
2016-08-03 18:38:49 -04:00 |
|
Rob Rix
|
1835308f7e
|
Add a smart constructor for Indexed algorithms.
|
2016-08-03 18:38:35 -04:00 |
|
Rob Rix
|
d7ab1d017e
|
🔥 a redundant comment.
|
2016-08-03 18:17:23 -04:00 |
|
Rob Rix
|
f6c8cd81da
|
Add a smart constructor for Recursive operations.
|
2016-08-03 18:15:18 -04:00 |
|
Rob Rix
|
9a14248c08
|
🔥 Operation.
|
2016-08-03 18:12:58 -04:00 |
|
Rob Rix
|
8008be776e
|
Define Algorithm over AlgorithmF.
|
2016-08-03 18:12:31 -04:00 |
|
Rob Rix
|
8fc465c07c
|
Stub in a decorator assigning feature vectors.
|
2016-08-03 14:33:05 -04:00 |
|
Rob Rix
|
d866df0a3d
|
Set the bases on siblings using a foldMap.
It’s easier to reason about than the equivalent bind, IMO.
|
2016-08-02 16:39:01 -04:00 |
|
Rob Rix
|
f546b21ea2
|
Move the p,q-gram decorator to the RWS module.
|
2016-08-02 15:08:21 -04:00 |
|
Rob Rix
|
3d3874ee14
|
List the RWS exports manually.
|
2016-08-02 15:07:57 -04:00 |
|
Rob Rix
|
1b02940e26
|
Combine the gram at each node in.
|
2016-08-02 13:56:48 -04:00 |
|
Rob Rix
|
192366d5ad
|
This is already being exported.
|
2016-08-02 13:56:29 -04:00 |
|
Rob Rix
|
fab4a3c829
|
Build the label for the current node.
|
2016-08-02 13:48:15 -04:00 |
|
Rob Rix
|
cd2dfd5374
|
Combine all the child grams together.
|
2016-08-02 13:45:58 -04:00 |
|
Rob Rix
|
bd81f9d4bf
|
The p,q-gram decorator decorates with a pair of the gram for that node and the grams for all child nodes.
|
2016-08-02 13:41:27 -04:00 |
|
Rob Rix
|
a6aee9de71
|
🔥 a redundant binding.
|
2016-08-02 12:14:09 -04:00 |
|
Rob Rix
|
a0b41083ab
|
Apparently this got swapped again or something?
|
2016-08-02 12:13:52 -04:00 |
|
Rob Rix
|
fc51f7ec90
|
These are blobs.
|
2016-08-02 12:13:35 -04:00 |
|
Rob Rix
|
78dd3b6b6d
|
🔥 a redundant import in the prologue.
|
2016-08-02 12:11:19 -04:00 |
|
Rob Rix
|
82aae9b37a
|
Parsers take blobs now.
|
2016-08-02 12:11:05 -04:00 |
|
Rob Rix
|
3c93b41f25
|
🔥 a redundant import.
|
2016-08-02 12:10:54 -04:00 |
|
Rob Rix
|
a5dce511fa
|
Fix a missing import.
|
2016-08-02 12:08:26 -04:00 |
|