Start creating explicit tutorial map

2025-08-21 16:31:04 +01:00
parent 21460ceaa8
commit befe24e038
15 changed files with 272 additions and 161 deletions
@@ -4,10 +4,7 @@ import LensHelp

 -- | generalised way of putting a new item into a lensed intmap, returning the
 -- new index as well
-plNewID :: ALens' b (IM.IntMap a)
-    -> a
-    -> b
-    -> (Int,b)
+plNewID :: ALens' b (IM.IntMap a) -> a -> b -> (Int,b)
 plNewID l x w = (i,w & l #%~ IM.insert i x)
  where
    i = IM.newKey $ w ^# l