File tree Expand file tree Collapse file tree 4 files changed +16
-16
lines changed Expand file tree Collapse file tree 4 files changed +16
-16
lines changed Original file line number Diff line number Diff line change @@ -963,14 +963,14 @@ alter f k Nil = case f Nothing of
963
963
-- @
964
964
-- interactiveAlter :: Int -> IntMap String -> IO (IntMap String)
965
965
-- interactiveAlter k m = alterF f k m where
966
- -- f Nothing -> do
966
+ -- f Nothing = do
967
967
-- putStrLn $ show k ++
968
968
-- " was not found in the map. Would you like to add it?"
969
969
-- getUserResponse1 :: IO (Maybe String)
970
- -- f (Just old) -> do
971
- -- putStrLn "The key is currently bound to " ++ show old ++
970
+ -- f (Just old) = do
971
+ -- putStrLn $ "The key is currently bound to " ++ show old ++
972
972
-- ". Would you like to change or delete it?"
973
- -- getUserresponse2 :: IO (Maybe String)
973
+ -- getUserResponse2 :: IO (Maybe String)
974
974
-- @
975
975
--
976
976
-- 'alterF' is the most general operation for working with an individual
Original file line number Diff line number Diff line change @@ -607,14 +607,14 @@ alter f !k t =
607
607
-- @
608
608
-- interactiveAlter :: Int -> IntMap String -> IO (IntMap String)
609
609
-- interactiveAlter k m = alterF f k m where
610
- -- f Nothing -> do
610
+ -- f Nothing = do
611
611
-- putStrLn $ show k ++
612
612
-- " was not found in the map. Would you like to add it?"
613
613
-- getUserResponse1 :: IO (Maybe String)
614
- -- f (Just old) -> do
615
- -- putStrLn "The key is currently bound to " ++ show old ++
614
+ -- f (Just old) = do
615
+ -- putStrLn $ "The key is currently bound to " ++ show old ++
616
616
-- ". Would you like to change or delete it?"
617
- -- getUserresponse2 :: IO (Maybe String)
617
+ -- getUserResponse2 :: IO (Maybe String)
618
618
-- @
619
619
--
620
620
-- 'alterF' is the most general operation for working with an individual
Original file line number Diff line number Diff line change @@ -1167,14 +1167,14 @@ data AreWeStrict = Strict | Lazy
1167
1167
-- @
1168
1168
-- interactiveAlter :: Int -> Map Int String -> IO (Map Int String)
1169
1169
-- interactiveAlter k m = alterF f k m where
1170
- -- f Nothing -> do
1170
+ -- f Nothing = do
1171
1171
-- putStrLn $ show k ++
1172
1172
-- " was not found in the map. Would you like to add it?"
1173
1173
-- getUserResponse1 :: IO (Maybe String)
1174
- -- f (Just old) -> do
1175
- -- putStrLn "The key is currently bound to " ++ show old ++
1174
+ -- f (Just old) = do
1175
+ -- putStrLn $ "The key is currently bound to " ++ show old ++
1176
1176
-- ". Would you like to change or delete it?"
1177
- -- getUserresponse2 :: IO (Maybe String)
1177
+ -- getUserResponse2 :: IO (Maybe String)
1178
1178
-- @
1179
1179
--
1180
1180
-- 'alterF' is the most general operation for working with an individual
Original file line number Diff line number Diff line change @@ -814,14 +814,14 @@ alter = go
814
814
-- @
815
815
-- interactiveAlter :: Int -> Map Int String -> IO (Map Int String)
816
816
-- interactiveAlter k m = alterF f k m where
817
- -- f Nothing -> do
817
+ -- f Nothing = do
818
818
-- putStrLn $ show k ++
819
819
-- " was not found in the map. Would you like to add it?"
820
820
-- getUserResponse1 :: IO (Maybe String)
821
- -- f (Just old) -> do
822
- -- putStrLn "The key is currently bound to " ++ show old ++
821
+ -- f (Just old) = do
822
+ -- putStrLn $ "The key is currently bound to " ++ show old ++
823
823
-- ". Would you like to change or delete it?"
824
- -- getUserresponse2 :: IO (Maybe String)
824
+ -- getUserResponse2 :: IO (Maybe String)
825
825
-- @
826
826
--
827
827
-- 'alterF' is the most general operation for working with an individual
You can’t perform that action at this time.
0 commit comments