Fix sample code of alterF in haddock
authorYuji Yamamoto <yuji-yamamoto@iij.ad.jp>
Tue, 16 Oct 2018 07:06:02 +0000 (16:06 +0900)
committerDavid Feuer <David.Feuer@gmail.com>
Tue, 16 Oct 2018 07:58:33 +0000 (03:58 -0400)
Found by a question in StackOverflow https://stackoverflow.com/questions/52828746/haskell-data-map-strict-alterf-parse-error-on-input/52829097

Data/IntMap/Internal.hs
Data/IntMap/Strict.hs
Data/Map/Internal.hs
Data/Map/Strict/Internal.hs

index 1bad02b..e61972c 100644 (file)
@@ -963,14 +963,14 @@ alter f k Nil     = case f Nothing of
 -- @
 -- interactiveAlter :: Int -> IntMap String -> IO (IntMap String)
 -- interactiveAlter k m = alterF f k m where
---   f Nothing -> do
+--   f Nothing = do
 --      putStrLn $ show k ++
 --          " was not found in the map. Would you like to add it?"
 --      getUserResponse1 :: IO (Maybe String)
---   f (Just old) -> do
---      putStrLn "The key is currently bound to " ++ show old ++
+--   f (Just old) = do
+--      putStrLn "The key is currently bound to " ++ show old ++
 --          ". Would you like to change or delete it?"
---      getUserresponse2 :: IO (Maybe String)
+--      getUserResponse2 :: IO (Maybe String)
 -- @
 --
 -- 'alterF' is the most general operation for working with an individual
index 2cc992c..4e6afd1 100644 (file)
@@ -607,14 +607,14 @@ alter f !k t =
 -- @
 -- interactiveAlter :: Int -> IntMap String -> IO (IntMap String)
 -- interactiveAlter k m = alterF f k m where
---   f Nothing -> do
+--   f Nothing = do
 --      putStrLn $ show k ++
 --          " was not found in the map. Would you like to add it?"
 --      getUserResponse1 :: IO (Maybe String)
---   f (Just old) -> do
---      putStrLn "The key is currently bound to " ++ show old ++
+--   f (Just old) = do
+--      putStrLn "The key is currently bound to " ++ show old ++
 --          ". Would you like to change or delete it?"
---      getUserresponse2 :: IO (Maybe String)
+--      getUserResponse2 :: IO (Maybe String)
 -- @
 --
 -- 'alterF' is the most general operation for working with an individual
index a289d8b..bb6dcf1 100644 (file)
@@ -1167,14 +1167,14 @@ data AreWeStrict = Strict | Lazy
 -- @
 -- interactiveAlter :: Int -> Map Int String -> IO (Map Int String)
 -- interactiveAlter k m = alterF f k m where
---   f Nothing -> do
+--   f Nothing = do
 --      putStrLn $ show k ++
 --          " was not found in the map. Would you like to add it?"
 --      getUserResponse1 :: IO (Maybe String)
---   f (Just old) -> do
---      putStrLn "The key is currently bound to " ++ show old ++
+--   f (Just old) = do
+--      putStrLn "The key is currently bound to " ++ show old ++
 --          ". Would you like to change or delete it?"
---      getUserresponse2 :: IO (Maybe String)
+--      getUserResponse2 :: IO (Maybe String)
 -- @
 --
 -- 'alterF' is the most general operation for working with an individual
index 756582b..15a9161 100644 (file)
@@ -814,14 +814,14 @@ alter = go
 -- @
 -- interactiveAlter :: Int -> Map Int String -> IO (Map Int String)
 -- interactiveAlter k m = alterF f k m where
---   f Nothing -> do
+--   f Nothing = do
 --      putStrLn $ show k ++
 --          " was not found in the map. Would you like to add it?"
 --      getUserResponse1 :: IO (Maybe String)
---   f (Just old) -> do
---      putStrLn "The key is currently bound to " ++ show old ++
+--   f (Just old) = do
+--      putStrLn "The key is currently bound to " ++ show old ++
 --          ". Would you like to change or delete it?"
---      getUserresponse2 :: IO (Maybe String)
+--      getUserResponse2 :: IO (Maybe String)
 -- @
 --
 -- 'alterF' is the most general operation for working with an individual