Commit Graph

435 Commits

Author SHA1 Message Date
Robbie Gleichman
34e054133f Refactor matchesToFunBind. 2019-01-04 18:00:06 -08:00
Robbie Gleichman
10fe364e76 Support data declarations. 2019-01-04 15:34:03 -08:00
Robbie Gleichman
e18b2a1bd8 Small refactors in SimplifySyntax. 2019-01-03 17:47:00 -08:00
Robbie Gleichman
e2f6f472cb Cleanup VisualTranslateTests. 2019-01-03 15:51:27 -08:00
Robbie Gleichman
3523e44399
Rewrite Translate.hs to use SimplifySyntax (#4)
* Create branch for in-progress SimplifySyntax work.

* Translate more simple syntax. Improve flat lambda icon. Remove function binds from simple syntax.

* Translate SeApp.

* Fix simplifyExp.

* Translate SpApp and SeCase.

* Translate SeGuard.

* Translate @ patterns and pattern wild cards.

* Transtlate list and tuple patterns.

* Translate tuple and list expressions.

* Translate left sections.

* Translate Do notation.

* Cleanup Translate.hs.

* Translate type signatures.

* More cleanup of Translate.hs.

* Translate negate function application and enum syntax.

* Rename functions in Translate.hs.
2019-01-03 15:41:34 -08:00
Robbie Gleichman
d39e00e7a1 Move helper functions from Translate to SimplifySyntax. 2018-12-09 21:04:58 -08:00
Robbie Gleichman
b539c18c4e Add more to SimplifySyntax. 2018-12-09 20:02:35 -08:00
Robbie Gleichman
ee53213252 Remove state from matchesToCase. 2018-12-08 16:03:29 -08:00
Robbie Gleichman
3b55075fd5 Add more to SimplifySyntax. 2018-11-30 01:39:14 -08:00
Robbie Gleichman
29f03483f7 Add in-progress SimplifySyntax.hs. 2018-11-29 00:26:47 -08:00
Robbie Gleichman
ddd8475d5e Cleanup Rendering.hs. 2018-11-12 01:02:12 -08:00
Robbie Gleichman
9380cb6ea2 Improve formatting of GraphAlgorithms.hs and Types.hs. 2018-11-12 00:21:50 -08:00
Robbie Gleichman
9e7d01ab82 Cleanup and improve formatting. 2018-11-11 23:13:19 -08:00
Robbie Gleichman
5b8d4d598c Fix warnings in VisualRenderingTests.hs. 2018-11-11 17:15:04 -08:00
Robbie Gleichman
296df8e497
Update tutorial image in README 2018-11-11 03:24:47 -08:00
Robbie Gleichman
9d9862539d Draw bounding boxes for lambdas. 2018-11-11 03:17:06 -08:00
Robbie Gleichman
0a221f3971 Refactor generalNestedDia and nestedPAppDia in Icons.hs. 2018-11-07 01:10:09 -08:00
Robbie Gleichman
484bba5cee Refactor NestedPApp and NestedPatternApplyNode. 2018-11-06 01:52:39 -08:00
Robbie Gleichman
17f1679015 Fix warnings. 2018-11-04 22:54:17 -08:00
Robbie Gleichman
7bb206e616 Delete non-nested pattern apply icon and syntax node. 2018-11-04 13:17:35 -08:00
Robbie Gleichman
33eac07c59 Remove non-nested apply and compose icons. 2018-11-04 12:20:19 -08:00
Robbie Gleichman
bc5ac3fa80 Remove context dependent coloring for text boxes in apply icons. 2018-11-04 02:51:01 -08:00
Robbie Gleichman
6f18d5f96d Extract the TransformableDia parameters to TransformParams. 2018-11-02 01:52:26 -07:00
Robbie Gleichman
7a854d9679 Simplify EdgeOption and EdgeEnd. 2018-10-30 00:53:36 -07:00
Robbie Gleichman
ccee42c23e Refactor the NestedApply Icon. 2018-10-28 02:16:17 -07:00
Robbie Gleichman
4b99c862a7 Update stackage. Replace (NodeName, Icon) with NamedIcon. 2018-10-28 00:25:31 -07:00
Robbie Gleichman
8267305950 Update to lts-8.23. Changes in Translate.hs due to changes in haskell-src-exts. 2017-07-18 23:47:28 -07:00
Robbie Gleichman
b6171533c5 Use a variable for the set of rotation angles. 2017-07-18 19:11:57 -07:00
Robbie Gleichman
4ab6c09cf4 Remove unused extension for Types.hs. Update todo. 2017-02-21 20:10:00 -08:00
Robbie Gleichman
160872df59 Add link to wiki to README 2017-01-10 00:50:38 -08:00
Robbie Gleichman
15ac707e13 Update README 2017-01-09 12:32:38 -08:00
Robbie Gleichman
c405cc6a71 Update todo 2017-01-06 23:22:22 -08:00
Robbie Gleichman
df4fbf3364 Typo in README 2017-01-06 20:43:49 -08:00
Robbie Gleichman
e18fe61d30 Update links to wiki in README 2017-01-06 20:41:07 -08:00
Robbie Gleichman
a396ec7ce3 Add a few more examples to advantages.hs. Add SVG for advantages.hs. 2017-01-06 19:15:30 -08:00
Robbie Gleichman
610ad9a4eb Add advantages.hs which shows some of the advantages of a visual syntax over text. 2017-01-06 17:29:27 -08:00
Robbie Gleichman
f864cc34fc Add thanks section to README. 2017-01-06 16:53:46 -08:00
Robbie Gleichman
477c1378c0 Add links to graph layout issue in README 2017-01-06 16:34:27 -08:00
Robbie Gleichman
c076a953ce Update tutorial SVG in readme 2017-01-05 17:53:39 -08:00
Robbie Gleichman
798466004c Fix ports for case rhs and patterns being switched. Revise tutorial. 2017-01-05 17:52:14 -08:00
Robbie Gleichman
96c10d9e4e Update Stackage to lts-7.14 2017-01-05 02:23:02 -08:00
Robbie Gleichman
00805b72e7 Typo in README 2017-01-05 01:25:40 -08:00
Robbie Gleichman
d77d613fd3 Revise README.md 2017-01-05 01:24:06 -08:00
Robbie Gleichman
84ad780e28 Update tutorial SVG in README 2017-01-04 01:50:55 -08:00
Robbie Gleichman
e8290791da Improve whitespace in tutorial. Update tutorial svg. 2017-01-04 01:47:44 -08:00
Robbie Gleichman
71f6d55df3 Use customRenderSVG in Main.hs. Change font to monospace. Use optparse-applicative for Main. 2017-01-04 01:22:08 -08:00
Robbie Gleichman
69589f7d24 Make a custom version of renderSVG that includes the xml:space=preserve attribute. This preveres whitespace in svg text. 2017-01-03 18:43:33 -08:00
Robbie Gleichman
7468166f14 Update todo. 2017-01-02 00:41:26 -08:00
Robbie Gleichman
4b0d32d034 Add pattern names to PApp. 2017-01-02 00:37:27 -08:00
Robbie Gleichman
9702cabc29 Add parameter names to lambda icon. 2017-01-01 17:43:00 -08:00