diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-09 17:35:22 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-04-09 17:35:22 -0600 |
| commit | e5a0476248e0f24cd335e88e933ac4affc19aa8d (patch) | |
| tree | 83ba6622627412b18bb5188367c5d5fb66d0d823 /src/Internal/Keys.hs | |
| parent | faaf7cedf1d10c54cc7be27c1d2b125e0b99b7e5 (diff) | |
| download | rde-e5a0476248e0f24cd335e88e933ac4affc19aa8d.tar.gz rde-e5a0476248e0f24cd335e88e933ac4affc19aa8d.tar.bz2 rde-e5a0476248e0f24cd335e88e933ac4affc19aa8d.zip | |
Document, and make better LayoutZipper.
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.
Diffstat (limited to 'src/Internal/Keys.hs')
0 files changed, 0 insertions, 0 deletions