rde.git/src/Internal/LayoutZipper.hs, branch v017 Rahm's Rice'd Desktop Environment Rename LayoutZipper to LayoutList. Add more utils for handling a selector 2022-10-09T18:19:46+00:00 Josh Rahm joshuarahm@gmail.com 2022-04-10T04:39:30+00:00 a5ccde6ea6f011bca983e992d7537f1ff002d1ec 






Document, and make better LayoutZipper.
2022-10-09T18:19:46+00:00

Josh Rahm
joshuarahm@gmail.com

2022-04-09T23:35:22+00:00

a3a44a271820888d4788a4f3a113eac977a5c59a

Now LayoutZipper can be circular, which means layout switching operates
semantically identically to how it did before making the typesafe
selector.

The selector was very much an acedemic exercise, but since it is working
as expect, I will keep it. I like the type-safety and it can be used as
an example for similar exercises.





Now LayoutZipper can be circular, which means layout switching operates
semantically identically to how it did before making the typesafe
selector.

The selector was very much an acedemic exercise, but since it is working
as expect, I will keep it. I like the type-safety and it can be used as
an example for similar exercises.







[Experimental] - Attempting to create typesafy way to navigate layouts.
2022-10-09T18:19:46+00:00

Josh Rahm
joshuarahm@gmail.com

2022-04-09T21:51:30+00:00

dc30567f5753cf6231ddc5adaafcf5986e8c840b












Change mosaic to respond to multiple different kinds of messages
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-09T21:09:55+00:00

3f6b3dd99cd45fdd063580fa1deb03257c65e83e












More generic navigation and documentation.
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T21:07:58+00:00

c796e7533cd8da13f42961966313c926810f6468












Cleanup and more documentation.
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T20:41:34+00:00

401b293fe6a726d24cf944e626c301262d726aad












Bidirection navigation for layouts!
2022-10-09T18:19:46+00:00

Josh Rahm
rahm@google.com

2022-04-08T20:21:24+00:00

a1736a26f48c95574a682c260a311ef379e96352