Complete PartiallyComposedItem -> ComposedItem

2024-11-29 10:43:08 +00:00
parent 7148051b31
commit 1b99b73f44
10 changed files with 38 additions and 48 deletions
@@ -19,12 +19,12 @@ import Picture
 import Shape
 import ShapePicture

-itemTreeSPic :: LabelDoubleTree ItemLink PartiallyComposedItem -> SPic
+itemTreeSPic :: LabelDoubleTree ItemLink ComposedItem -> SPic
 itemTreeSPic (LDT (itm,_,_) l r) =
    itemSPic itm
        <> foldMap (itemRotTreeSPic itm) (l <> r)

-itemRotTreeSPic :: Item -> (ItemLink, LabelDoubleTree ItemLink PartiallyComposedItem) 
+itemRotTreeSPic :: Item -> (ItemLink, LabelDoubleTree ItemLink ComposedItem) 
    -> SPic
 itemRotTreeSPic par (il, t) = translateSP p . overPosSP (Q.rotate q) $ itemTreeSPic t
  where