Commit Graph

435 Commits

Author SHA1 Message Date
Robbie Gleichman
dc3b0c5875 Refactor evalRightSection and evalTuple to use applicative instead of monad. 2016-12-31 22:32:57 -08:00
Robbie Gleichman
f94265e8f2 Refactor evalCase to use applicative instead of monad. 2016-12-31 19:44:43 -08:00
Robbie Gleichman
eaa90e5a9f Change parameter order for makeApplyGraph. 2016-12-31 19:20:01 -08:00
Robbie Gleichman
ece4578b4d Add tuple sections. 2016-12-31 19:11:51 -08:00
Robbie Gleichman
a63ab098b5 Refactor out common part of evalPatAndRhs and evalPatBind. 2016-12-30 02:15:43 -08:00
Robbie Gleichman
c95abcdc1f Extract out makeGuardGraph function in TranslateCore.hs. Clean up Translate.hs. 2016-12-29 23:40:10 -08:00
Robbie Gleichman
54eaa391be Use constants for port numbers in Icons.hs. 2016-12-29 00:55:59 -08:00
Robbie Gleichman
90c3ad8832 Remove hardcoded port numbers from TranslateCore.hs. 2016-12-29 00:38:05 -08:00
Robbie Gleichman
3ed4c846bb Remove hardcoded port numbers from Translate.hs. 2016-12-29 00:15:17 -08:00
Robbie Gleichman
6c5663dccf Revise tutorial. 2016-12-28 19:05:43 -08:00
Robbie Gleichman
7873645ef1 Create a function resultPort for getting the result port number. 2016-12-27 21:02:11 -08:00
Robbie Gleichman
a71500b099 Refactor makePatternGraph. 2016-12-27 20:40:50 -08:00
Robbie Gleichman
e0554fb819 Move functions out of Types.hs. 2016-12-27 15:14:01 -08:00
Robbie Gleichman
959be858a7 Remove parameter from getUniqueName. 2016-12-27 14:58:09 -08:00
Robbie Gleichman
f2f54d9c3b Turn SgNamedNode into a data type. 2016-12-27 01:32:51 -08:00
Robbie Gleichman
7ab8d2d442 Make GraphAndRef a data type. 2016-12-27 00:37:59 -08:00
Robbie Gleichman
631a7a20d1 Use SyntaxGraph constructors in TranslateCore. 2016-12-26 17:01:14 -08:00
Robbie Gleichman
5c399b9e50 For SyntaxGraph, use a data type (SgSink) for sinks. 2016-12-26 16:52:04 -08:00
Robbie Gleichman
771f9a7cc3 For SyntaxGraph, rename sgSources to sgBinds, and use a data type (SgBind) instead of a tuple. 2016-12-26 16:37:10 -08:00
Robbie Gleichman
1fb31aaf81 Rearrange Translate.hs. 2016-12-26 01:25:14 -08:00
Robbie Gleichman
5754fa6560 Update todo. 2016-12-26 00:12:55 -08:00
Robbie Gleichman
c426ff422a Fix @ (as patterns). 2016-12-25 21:45:58 -08:00
Robbie Gleichman
e876c6c401 Don't allow guards to embed PApps. 2016-12-25 17:24:26 -08:00
Robbie Gleichman
d7eb3749d9 Make the args of pattern apply nodes vertical to make embedding cases nicer. 2016-12-25 17:08:11 -08:00
Robbie Gleichman
79c15e2e86 Reflect the angles of the inner icons for nestedGuardPortAngles. 2016-12-24 16:05:15 -08:00
Robbie Gleichman
4ca53c58c4 Allow case icon to embed apply and pattern apply icons. 2016-12-24 14:46:53 -08:00
Robbie Gleichman
d2bfde4c51 Refactor parentIsOnlyEdge. 2016-12-24 02:13:28 -08:00
Robbie Gleichman
e1af41b9bf Fix edge direction from case result to the optional case result port on the case node. 2016-12-24 02:02:59 -08:00
Robbie Gleichman
e373a6bcc5 Reduce language extensions listed in Icons.hs. 2016-12-23 00:47:25 -08:00
Robbie Gleichman
3e4673742e Replace custom function with normalizeAngle in transformCorrectedTextBox. 2016-12-23 00:40:52 -08:00
Robbie Gleichman
8b860cc8b0 Rearrange Icons.hs. 2016-12-23 00:30:07 -08:00
Robbie Gleichman
dec7c48b82 Inline some iconToDiagram sub-functions. Increase size of case result icon. 2016-12-22 23:42:11 -08:00
Robbie Gleichman
9b07562120 Delete branchIcon function from Icons.hs. 2016-12-22 23:26:40 -08:00
Robbie Gleichman
9b126406b6 Refactor Icons.hs. 2016-12-22 23:24:50 -08:00
Robbie Gleichman
160d66a452 Delete generalGuardIcon. 2016-12-22 20:28:49 -08:00
Robbie Gleichman
fa67d61e84 Delete ResultIcon. 2016-12-22 19:51:22 -08:00
Robbie Gleichman
5efcc62b96 Delete enclosure, lambdaIcon, and lambdaRegion from Icons.hs. 2016-12-22 19:14:28 -08:00
Robbie Gleichman
961879049a Rename todo.txt as todo.md. 2016-12-22 19:07:30 -08:00
Robbie Gleichman
f97b5a984e Format todo.txt as markdown. 2016-12-22 19:05:23 -08:00
Robbie Gleichman
9523dcd609 Case and guard icons can now embed literals. 2016-12-19 20:27:31 -08:00
Robbie Gleichman
0185257444 Fix some instances of <$> not being converted to fmap. 2016-12-18 21:15:59 -08:00
Robbie Gleichman
dd43ebd994 Delete BranchIcon and BranchNode. 2016-12-17 17:13:36 -08:00
Robbie Gleichman
04787c62ff Remove coerceExpressionResult from evalPatAndRhs. This removes branch icons from cases. 2016-12-17 15:25:10 -08:00
Robbie Gleichman
d61c9bf6e9 Add top level type signitures. 2016-12-16 00:47:48 -08:00
Robbie Gleichman
7ac515ceaa Rename and refactor exported translation functions in Translate.hs. 2016-12-15 22:58:19 -08:00
Robbie Gleichman
00f6d4bd31 Turn some lambda tests into unit tests. 2016-12-15 17:12:16 -08:00
Robbie Gleichman
ec0bf8adf7 Add pattern unit tests. 2016-12-14 01:10:18 -08:00
Robbie Gleichman
f2fd136ac9 Move enum and negate tests into UnitTests. Update .cabal. 2016-12-14 00:30:03 -08:00
Robbie Gleichman
5d5074cced Reduce warnings. 2016-12-13 23:21:34 -08:00
Robbie Gleichman
d24642dfe8 Add more let unit tests. 2016-12-13 23:13:43 -08:00