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

21692 Commits

Author SHA1 Message Date
Rob Rix
289ecd7678 Render JSON diffs/terms to JSONOutput. 2018-05-11 16:21:59 -04:00
Rob Rix
d1516c6f04 Define an Output instance for JSONOutput. 2018-05-11 16:17:53 -04:00
Rob Rix
e4ead782bc Define a JSONOutput newtype. 2018-05-11 16:11:32 -04:00
Rob Rix
62dac89a0b Derive a ToJSON instance for monoidal maps. 2018-05-11 16:09:28 -04:00
Rob Rix
4a2c2c098d Define a singleton constructor for monoidal maps. 2018-05-11 16:08:44 -04:00
Rob Rix
85acb4367a Align all the help text. 2018-05-11 16:00:42 -04:00
Rob Rix
e6c665ae36 Remove a redundant quantifier. 2018-05-11 15:52:14 -04:00
Rob Rix
0867bb4dd8 Align the graph type. 2018-05-11 15:35:13 -04:00
Rob Rix
a9d3b29e02 We expect a ByteString here. 2018-05-11 15:31:28 -04:00
Rob Rix
619e9f537f 🔥 GraphRenderer. 2018-05-11 15:29:46 -04:00
Rob Rix
e37bc83f14 Serialize graphs instead of rendering them. 2018-05-11 15:28:37 -04:00
Rob Rix
df1776ba27 Re-export some types &c. from Semantic.Graph. 2018-05-11 15:27:59 -04:00
Rob Rix
0f9279b5f7 Serialize graphs to JSON. 2018-05-11 15:17:30 -04:00
Rob Rix
599f10f76b Add a SomeFormat type to abstract over the input type. 2018-05-11 15:15:48 -04:00
Rob Rix
9ed1bc4a38 ByteStrings. 2018-05-11 14:59:50 -04:00
Rob Rix
3854ce6d19 Serialize diffs to s-expressions. 2018-05-11 14:58:06 -04:00
Rob Rix
28d4fc30fc Placate hlint. 2018-05-11 14:55:49 -04:00
Rob Rix
6872baa090 Serialize terms to s-expressions. 2018-05-11 14:53:22 -04:00
Rob Rix
bf334d24a5 Define a JSON serializer. 2018-05-11 14:50:45 -04:00
Rob Rix
93c61afa14 Define runSerialize tacitly. 2018-05-11 14:45:53 -04:00
Rob Rix
e427457801 Define an s-expression format. 2018-05-11 14:45:17 -04:00
Rob Rix
4944fdfe21 Define serialization to s-expressions. 2018-05-11 14:43:57 -04:00
Rob Rix
68df562f23 Stub in a module for serializing to s-expressions. 2018-05-11 14:41:10 -04:00
Rob Rix
2d866fc397 Add a TODO. 2018-05-11 14:40:21 -04:00
Rob Rix
c5dd415ac8 Add support for serializing by Showing. 2018-05-11 14:38:11 -04:00
Rob Rix
8f4fb96836 Serialize import/call graphs to DOT. 2018-05-11 14:35:27 -04:00
Rob Rix
fdd63b20e7 Render to the output type. 2018-05-11 14:35:08 -04:00
Rob Rix
0f218f5274 Serialize diffs to Builders. 2018-05-11 14:25:37 -04:00
Rob Rix
a47251cef6 Serialize terms to Builders. 2018-05-11 14:23:51 -04:00
Rob Rix
9d769325e4 Generalize styles over the string type. 2018-05-11 14:23:34 -04:00
Rob Rix
794e293b91 Define an Output instance for Builder. 2018-05-11 14:14:44 -04:00
Rob Rix
8e62998c45 Explicitly list Output’s exports. 2018-05-11 14:14:09 -04:00
Rob Rix
e8ccc67de8 Define serialization tasks. 2018-05-11 14:13:17 -04:00
Rob Rix
456171a931 Serialize DOT to a Builder. 2018-05-11 14:12:24 -04:00
Rob Rix
883eb66422 Define a serialization format type. 2018-05-11 14:12:13 -04:00
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