1
1
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Commit Graph

18332 Commits

Author SHA1 Message Date
Rob Rix
211c78489c Rename DeadCodeInterpreter to DeadCodeEvaluating. 2017-12-21 15:57:30 -05:00
Rob Rix
2a4a6d54ce Rename Interpreter to Evaluating. 2017-12-21 15:56:50 -05:00
Rob Rix
945cc9a1d4 Avoid binding the in-cache. 2017-12-21 15:54:20 -05:00
Rob Rix
4132d587bd Define an asksCache helper. 2017-12-21 15:53:32 -05:00
Rob Rix
050f8cf8dc Clarify the docs for getsCache. 2017-12-21 15:53:26 -05:00
Rob Rix
021017b0e4 Rename dollar to prevCache. 2017-12-21 15:51:53 -05:00
Rob Rix
738385ab04 Use the singleton set constructor explicitly. 2017-12-21 15:50:43 -05:00
Rob Rix
854999aa8e Use getsCache to define evCache. 2017-12-21 15:48:29 -05:00
Rob Rix
afdbf79f7f Define a getsCache function. 2017-12-21 15:47:49 -05:00
Rob Rix
f4e6ae61dd Use getConfiguration to tidy up evCache & fixCache. 2017-12-21 15:41:16 -05:00
Rob Rix
9b57847bac Define a getConfiguration helper. 2017-12-21 15:39:45 -05:00
Rob Rix
a1d7c5ede4 Rename collect to gather. 2017-12-21 15:35:37 -05:00
Rob Rix
aae7db2ba4 Inline the definition of foldMapA. 2017-12-21 15:34:20 -05:00
Rob Rix
3201f40987 Factor the scattering function out. 2017-12-21 15:29:51 -05:00
Rob Rix
de2b346e14 🔥 redundant calls to toList. 2017-12-21 15:27:05 -05:00
joshvera
0f627bcc50 Add class support in new expressions 2017-12-21 15:22:11 -05:00
Rob Rix
10b7ce1ff3 Use foldMapA instead of asum/map. 2017-12-21 15:13:35 -05:00
Rob Rix
a50a63e6c0 Define a generalization of foldMap to Alternative. 2017-12-21 15:11:51 -05:00
joshvera
67746893db ++haskell-tree-sitter 2017-12-21 15:10:10 -05:00
Rob Rix
6723936881 Rename the cache binding. 2017-12-21 14:59:29 -05:00
Rob Rix
a9fca0db5f 📝 fixCache. 2017-12-21 14:57:14 -05:00
Rob Rix
01598e70c9 📝 evCache. 2017-12-21 14:55:21 -05:00
Rob Rix
3331746591 📝 the components to mlfp. 2017-12-21 14:53:39 -05:00
Rob Rix
93a47730ea Swap the parameters to mlfp. 2017-12-21 14:47:11 -05:00
Rob Rix
db040aea62 Reformat mlfp’s signature. 2017-12-21 14:46:21 -05:00
Rob Rix
0aece7bea0 Note the coinduction. 2017-12-21 14:45:51 -05:00
Rob Rix
e629b0bc84 📝 mlfp. 2017-12-21 14:44:19 -05:00
Rob Rix
fb455ce8fc 📝 MonadCachingInterpreter. 2017-12-21 14:42:57 -05:00
Rob Rix
718f15ee05 📝 CachingResult. 2017-12-21 14:41:39 -05:00
Rob Rix
3f98649cb7 📝 the individual components of CachingInterpreter. 2017-12-21 14:41:21 -05:00
Rob Rix
e029da7854 📝 CachingInterpreter. 2017-12-21 14:36:23 -05:00
Rob Rix
7000e5ab60 Clarify the docs for evalTrace and evalReach. 2017-12-21 14:33:38 -05:00
Rob Rix
116cc96627 📝 evTell. 2017-12-21 14:33:14 -05:00
Rob Rix
adbc7e6623 📝 ReachableStateInterpreter. 2017-12-21 14:32:40 -05:00
Rob Rix
dd6d1fbd4a 📝 TraceInterpreter. 2017-12-21 14:32:22 -05:00
Rob Rix
4bf9d38435 📝 the specific effects in tracing interpreters. 2017-12-21 14:31:53 -05:00
Rob Rix
f0c9c803bb 🔥 a couple of redundant Readers. 2017-12-21 14:31:11 -05:00
Rob Rix
a4c34c84c8 📝 TracingInterpreter. 2017-12-21 14:30:57 -05:00
Rob Rix
11ae928e21 Combine the recurrence. 2017-12-21 14:29:08 -05:00
Rob Rix
5b29967262 Swap the order of the parameters to go. 2017-12-21 14:27:53 -05:00
Rob Rix
d19d5ad691 📝 the components of reachable’s signature. 2017-12-21 14:26:20 -05:00
Rob Rix
2232e5b03e Reformat the signature for reachable. 2017-12-21 14:25:22 -05:00
Rob Rix
e4ae5d8c92 📝 reachable. 2017-12-21 14:23:43 -05:00
Rob Rix
2c1fddde06 📝 the gc components. 2017-12-21 14:23:21 -05:00
Rob Rix
2bb6c78526 Note that the gc traces. 2017-12-21 14:22:28 -05:00
Rob Rix
955c4e8bd4 Reformat the context for gc. 2017-12-21 13:30:14 -05:00
Rob Rix
1389e22fe5 Reformat the signature for gc. 2017-12-21 13:29:56 -05:00
Rob Rix
580ab01134 📝 gc. 2017-12-21 13:29:40 -05:00
Rob Rix
cebc231049 📝 evCollect. 2017-12-21 13:29:16 -05:00
Rob Rix
12a1e7cc5f 📝 evDead. 2017-12-21 13:27:30 -05:00