Commit Graph

435 Commits

Author SHA1 Message Date
Robbie Gleichman
e9abde2c8b Change the order of TransformableDia so Name is first. 2016-12-02 13:19:01 -08:00
Robbie Gleichman
987a9b8869 Use applicatives for Angle arithmetic. 2016-12-02 13:06:30 -08:00
Robbie Gleichman
0b81421971 Allow literals to be embedded in pattern apply. 2016-12-01 22:32:12 -08:00
Robbie Gleichman
eb6291b11d Pick best port angles for edges. 2016-12-01 22:11:11 -08:00
Robbie Gleichman
a250b479a5 Use bezier curves for edges. 2016-12-01 20:46:24 -08:00
Robbie Gleichman
334369afac Remove nameDiagramMap parameters from placeNode and its sub-functions. 2016-12-01 00:18:49 -08:00
Robbie Gleichman
3b6da410b4 Use TransformableDia type synonym. 2016-11-30 22:13:43 -08:00
Robbie Gleichman
762a6539c8 Remove syntaxGraphFromDrawing and ingSyntaxGraphToDrawing from TranslateCore. 2016-11-30 20:59:25 -08:00
Robbie Gleichman
989a8f520e Refactor Rendering.hs to use IngSyntaxGraph instead of Drawing. Eliminate warnings in AllTests. 2016-11-30 20:45:50 -08:00
Robbie Gleichman
582528d74e Remove sub-Drawings from Drawing. 2016-11-28 13:55:26 -08:00
Robbie Gleichman
b393acd949 Add bezierArrowShaft that can draw an arrow shaft with its ends at parameterized angles. 2016-11-28 13:31:13 -08:00
Robbie Gleichman
7e139e114b Update getting started guide (tutorial) in README. 2016-11-27 18:10:21 -08:00
Robbie Gleichman
a7f2330d5d Update tutorial svg 2016-11-27 18:07:55 -08:00
Robbie Gleichman
860e00a724 Fix edge transfer for embedded pattern apply. 2016-11-27 18:07:14 -08:00
Robbie Gleichman
02446b5b15 Reduce GHC warnings. 2016-11-27 17:25:30 -08:00
Robbie Gleichman
d617914139 Hlint suggestions. 2016-11-27 15:44:43 -08:00
Robbie Gleichman
4371f2d4c6 Fix factorial test. 2016-11-27 15:07:35 -08:00
Robbie Gleichman
0156f2af1d Refactor GraphAlgorithms. Child edge transfer for embedded pattern apply still needs to be fixed. 2016-11-27 14:41:07 -08:00
Robbie Gleichman
15fc06a260 Progress towards embedding pattern apply. 2016-11-27 12:51:56 -08:00
Robbie Gleichman
533392f3c1 Fix bind names not having special colors by adding BindNameNode. 2016-11-26 13:46:05 -08:00
Robbie Gleichman
dd821cbb47 Fix bug in GraphAlgorithms where a node counted as its own parent. 2016-11-21 21:51:35 -08:00
Robbie Gleichman
9c61368bd2 Allow a node with 2 or more parents that can embed to be a root node. 2016-11-21 20:54:46 -08:00
Robbie Gleichman
64acccfcd5 Fix bug in GraphAlgorithms where the wrong graph was being used. This caused a non-child to be identified as a child. 2016-11-21 20:46:29 -08:00
Robbie Gleichman
4dafd8ea7e Use the new collapseNodes algorithm when rendering. Still need to do embedding for patterns. 2016-11-21 19:18:08 -08:00
Robbie Gleichman
69f6a6c4f2 Add ingSyntaxGraphtoDrawing, and add case for NestedApplyNode to nodeToIcon. 2016-11-21 17:20:18 -08:00
Robbie Gleichman
deb999a71b Delete/remove IconGraph. 2016-11-21 13:57:53 -08:00
Robbie Gleichman
fc15c5a58b Rename the SyntaxGraph in GraphAlgorithms to IngSyntaxGraph. 2016-11-20 15:47:40 -08:00
Robbie Gleichman
99e2ad9493 Change the function name in NestedApply from a string to an Icon. 2016-11-20 15:34:18 -08:00
Robbie Gleichman
b395dfb428 Delete embedded children. TODO: Transfer the childrens' edges. 2016-11-19 22:17:40 -08:00
Robbie Gleichman
12d28b4b07 Add embedChildSyntaxNodes for ApplyNodes. 2016-11-19 14:45:16 -08:00
Robbie Gleichman
45b7bb3268 Add unit test for childCanBeEmbedded. Make NameNodes not embeddable. 2016-11-18 15:14:41 -08:00
Robbie Gleichman
b36ffd400a Add unit tests for findTreeRoots. Fix findTreeRoots. Improve renderFglGraph. 2016-11-17 15:56:10 -08:00
Robbie Gleichman
2788bdf4f2 Fill out findChildrenToEmbed in GraphAlgorithms. 2016-11-16 14:08:37 -08:00
Robbie Gleichman
a2e7154afc Add types for helper functions in GraphAlgorithms. 2016-11-16 13:22:01 -08:00
Robbie Gleichman
03fe52c155 Transfer more pseudocode from graph_algs to GraphAlgorithms. 2016-11-15 15:19:05 -08:00
Robbie Gleichman
ea40294b93 Converting some of the pseudocode for collapseNodes in graph_algs.txt to code in GraphAlgorithms.hs. 2016-11-14 13:36:37 -08:00
Robbie Gleichman
46d209fe30 Add instructions to install graphviz first to readme. 2016-11-09 20:32:52 -08:00
Robbie Gleichman
d72fbe1b47 More pseudocode in graph_algs.txt. 2016-11-09 13:38:12 -08:00
Robbie Gleichman
b019b9301a More pseudocode for collapseNodes in graph_algs.txt. 2016-11-08 15:30:43 -08:00
Robbie Gleichman
4f87457639 Working on pseudocode for new stateful collapseNodes algorithm in graph_algs.txt. 2016-11-07 13:41:07 -08:00
Robbie Gleichman
78dde11454 Progress on collapseNodes. Found bug in nodesParent. 2016-11-05 15:48:18 -07:00
Robbie Gleichman
5ec0bc7902 Add test framework for collapseNodes using collapseTestStrings. 2016-11-03 15:30:04 -07:00
Robbie Gleichman
cab045da4b Extract the Graphviz parameters in Rendering.hs so they can be reused by renderFglGraph. 2016-11-03 14:52:22 -07:00
Robbie Gleichman
7ceb5977e4 Initial work for collapseNodes using graphs. 2016-11-02 14:49:29 -07:00
Robbie Gleichman
971a8ee50b Fix type in tutorial/getting started guide. 2016-11-01 18:31:28 -07:00
Robbie Gleichman
506b8b487e Move SgNamedNode definition from TranslateCore to Types. 2016-11-01 18:28:05 -07:00
Robbie Gleichman
e8d0039b7e Move todos out of app/Main.hs and into todo.txt. 2016-11-01 17:58:37 -07:00
Robbie Gleichman
c2061390f6 Increase stackage lts and diagrams-graphviz versions. 2016-11-01 17:52:20 -07:00
Robbie Gleichman
22394d670a Update to latest Stackage LTS. Upgrade diagrams-graphviz. Add images folder. 2016-08-26 20:09:09 -07:00
Robbie Gleichman
2ac31f8937 Add link to wiki in README 2016-08-13 16:19:49 -07:00