Rob Rix
|
3b26aba165
|
📝 serializeDOT.
|
2018-05-11 14:11:41 -04:00 |
|
Rob Rix
|
7df0afeb67
|
Define serialization to DOT.
|
2018-05-11 14:10:01 -04:00 |
|
Rob Rix
|
539c769ecc
|
Stub in a module for the details of DOT serialization.
|
2018-05-11 14:07:53 -04:00 |
|
Rob Rix
|
eb82239f8d
|
Stub in a module for serialization formats.
|
2018-05-11 13:27:09 -04:00 |
|
Rob Rix
|
e723b07d1e
|
🔥 renderGraph.
|
2018-05-11 13:25:45 -04:00 |
|
Rob Rix
|
cb9d795c53
|
Render trees to graphs in Eff.
|
2018-05-11 13:16:08 -04:00 |
|
Rob Rix
|
ffd787a762
|
Rename Rendering.DOT to Rendering.Graph.
|
2018-05-11 12:57:20 -04:00 |
|
Rob Rix
|
3763f49eb8
|
Define toEncoding for Graph via a JSONEdge newtype.
|
2018-05-11 12:34:09 -04:00 |
|
Rob Rix
|
0287e7a36a
|
Simplify the ToJSON instance.
|
2018-05-11 12:25:23 -04:00 |
|
Rob Rix
|
5722538805
|
Define Analysis.Abstract.Graph using Data.Graph.
|
2018-05-11 12:22:51 -04:00 |
|
Rob Rix
|
65259053f4
|
Define a ToJSON instance for Graph.
|
2018-05-11 12:22:11 -04:00 |
|
Rob Rix
|
38463e0712
|
Re-export the Lower typeclass.
|
2018-05-11 12:21:49 -04:00 |
|
Rob Rix
|
d567e892e1
|
Define CallGraph as Graph Name.
|
2018-05-11 12:15:43 -04:00 |
|
Rob Rix
|
dbf4b59ba2
|
Define a Lower instance for Graph.
|
2018-05-11 12:15:28 -04:00 |
|
Rob Rix
|
84c69b038d
|
📝 Graph.
|
2018-05-11 12:12:23 -04:00 |
|
Rob Rix
|
742f3b2744
|
Spell the vertex type parameter out.
|
2018-05-11 12:12:05 -04:00 |
|
Rob Rix
|
6278126f6a
|
Define an Ord instance.
|
2018-05-11 12:11:49 -04:00 |
|
Rob Rix
|
869b054f2b
|
Define a Monoid instance.
|
2018-05-11 12:11:03 -04:00 |
|
Rob Rix
|
17a9b20222
|
Define a Semigroup instance.
|
2018-05-11 12:10:59 -04:00 |
|
Rob Rix
|
613a812cf0
|
Add a function to simplify graphs.
|
2018-05-11 12:10:27 -04:00 |
|
Rob Rix
|
ee8f2d1611
|
Re-export overlay/connect/vertex.
|
2018-05-11 12:09:37 -04:00 |
|
Rob Rix
|
23bf0d2402
|
Derive Graph & ToGraph instances.
|
2018-05-11 12:09:21 -04:00 |
|
Rob Rix
|
a1864a13cc
|
Derive a bunch of instances.
|
2018-05-11 12:08:36 -04:00 |
|
Rob Rix
|
ca6a4b1c56
|
Stub in a Graph newtype.
|
2018-05-11 12:07:05 -04:00 |
|
Rob Rix
|
53fab62a0e
|
Stub in a module for graphs.
|
2018-05-11 12:04:26 -04:00 |
|
Rob Rix
|
fa7c731a4c
|
Fix a typo.
|
2018-05-11 11:59:33 -04:00 |
|
Rob Rix
|
21e4b96f21
|
Merge branch 'trace-in-telemetry' into bump-effects-and-spell-out-types
|
2018-05-11 11:38:17 -04:00 |
|
Rob Rix
|
23e6564ce5
|
Merge branch 'master' into bump-effects-and-spell-out-types
|
2018-05-11 11:35:19 -04:00 |
|
Josh Vera
|
746450eb62
|
Merge branch 'master' into trace-in-telemetry
|
2018-05-11 11:27:22 -04:00 |
|
Josh Vera
|
2b6dea75ef
|
Merge pull request #1828 from github/builtins
Builtins
|
2018-05-11 11:27:09 -04:00 |
|
Rob Rix
|
f02adff5c1
|
🔥 a redundant language extension.
|
2018-05-11 09:33:41 -04:00 |
|
Rob Rix
|
4eab7b1cb3
|
Revert "Define unName as a function rather than a field selector."
This reverts commit cc049408acc40a560ad85a5d53c776437c99565a.
|
2018-05-11 09:24:24 -04:00 |
|
Rob Rix
|
ed3d8c9e62
|
Correct runReturn & runLoopControl to short-circuit rather than continue.
|
2018-05-11 09:23:05 -04:00 |
|
Rob Rix
|
3d5ee730ac
|
We don’t need Fresh here.
|
2018-05-11 09:19:51 -04:00 |
|
Rob Rix
|
bb03cd9448
|
🔥 some redundant instances.
|
2018-05-11 09:15:40 -04:00 |
|
Rob Rix
|
bc5862adef
|
🔥 some redundant language extensions.
|
2018-05-11 09:15:20 -04:00 |
|
Rob Rix
|
4c4ae86514
|
Define unMap as a function rather than a field selector.
|
2018-05-11 09:10:56 -04:00 |
|
Rob Rix
|
764c05041e
|
Define unHeap as a function rather than a selector.
|
2018-05-11 09:09:51 -04:00 |
|
Rob Rix
|
c4dc798ffd
|
Define unExports as a function rather than a selector.
|
2018-05-11 09:08:59 -04:00 |
|
Rob Rix
|
17c6a5be85
|
Define unModuleTable as a function rather than a selector.
|
2018-05-11 09:08:01 -04:00 |
|
Rob Rix
|
24778e808f
|
🔥 deValue.
|
2018-05-11 09:06:27 -04:00 |
|
Rob Rix
|
f8966a11ed
|
Define unLatest as a function rather than a field selector.
|
2018-05-11 09:05:27 -04:00 |
|
Rob Rix
|
46295fed52
|
Define unEnvironment as a function rather than a field selector.
|
2018-05-11 09:03:21 -04:00 |
|
Rob Rix
|
fa2b566f08
|
Fix a doctest.
|
2018-05-11 08:58:53 -04:00 |
|
Rob Rix
|
2eb78e8f91
|
Define unName as a function rather than a field selector.
|
2018-05-11 08:56:42 -04:00 |
|
Rob Rix
|
d1c465ab14
|
Define unAddress as a function rather than a field selector.
|
2018-05-11 08:54:31 -04:00 |
|
Rob Rix
|
5cfa7028e7
|
Revert "Revert "🔥 the Generic1 instance for Environment.""
This reverts commit ce88512116f1f55ad15433471a13a112cfc322c4.
|
2018-05-11 08:52:22 -04:00 |
|
Rob Rix
|
e18827f03f
|
Revert "Revert "Environments hold locations, not addresses.""
This reverts commit b63e5f0b9c0099d7584d57fd1e1588c282f19043.
|
2018-05-11 08:52:19 -04:00 |
|
Rob Rix
|
4892f748c6
|
Correct a couple of expected values.
|
2018-05-11 08:47:30 -04:00 |
|
Rob Rix
|
5497b9a2a4
|
Swap the Heap location/cell params.
|
2018-05-11 08:36:45 -04:00 |
|