Hack together general held item orientation

2025-06-27 21:29:57 +01:00
parent be6ea59d1e
commit 4f0dc64e72
5 changed files with 130 additions and 115 deletions
@@ -114,7 +114,8 @@ instance Functor (LocationLDT b) where
 instance Functor (ContextLDT b) where
    fmap f = \case
        TopLDT -> TopLDT
-        LeftwardLDT u cl p l cr fr -> LeftwardLDT (fmap f u)
+        LeftwardLDT u cl p l cr fr -> LeftwardLDT 
+            (fmap f u)
            (fmap (fmap (fmap f)) cl)
            (f p)
            l