bin/adaptive-containers/Data/Adaptive/Map.hs
            , updateAt
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (AdaptMap k a) => (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i t    = mapMap (error "Map.updateAt: index out of range") b t
                          LT -> balance kx x (updateAt f i l) r
                          GT -> balance kx x l (updateAt f (i-sizeL-1) r)
{-# INLINE updateAt #-}
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
deleteAt i m = updateAt (\_ _ -> Nothing) i m
bin/ghc/libraries/containers/Data/Map.hs
            , updateAt
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i t = i `seq`
    Tip -> error "Map.updateAt: index out of range"
      LT -> balanceR kx x (updateAt f i l) r
      GT -> balanceL kx x l (updateAt f (i-sizeL-1) r)
{-# INLINABLE updateAt #-}
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/ghc/libraries/containers/tests/map-properties.hs
             , testCase "updateAt" test_updateAt
test_updateAt :: Assertion
test_updateAt = do
    updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "x"), (5, "a")]
    updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "b"), (5, "x")]
    updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) @?= singleton 5 "a"
    updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) @?= singleton 3 "b"
--    updateAt (\_ _  -> Nothing)  7    (fromList [(5,"a"), (3,"b")]) @?= singleton 3 "b"
bin/ghc/libraries/containers/tests/intmap-properties.hs
--             , testCase "updateAt" test_updateAt
-- test_updateAt :: Assertion
-- test_updateAt = do
--     updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "x"), (5, "a")]
--     updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "b"), (5, "x")]
--     updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) @?= singleton 5 "a"
--     updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) @?= singleton 3 "b"
bin/ghc/libraries/containers/tests/datamap001.hs
              m' = updateAt f 1 m
bin/deech/hpodder/Commands/Download.hs
                       updateAttempt curtime $
updateAttempt curtime ep =
           updateAttempt curtime $ (newep {epstatus = Downloaded})
bin/gregwebs/haskell-sphinx-client/Text/Search/Sphinx.hs
-- updateAttributes,
bin/pepeiborra/narradar/src/Narradar/Constraints/Syntactic.hs
                        [ (p, updateAt p (const r') l \\ sigma, r \\ sigma)
                        [ (p, updateAt p (const r') l \\ sigma, r \\ sigma)
bin/pepeiborra/narradar/src/Narradar/Processor/GraphTransformation.hs
maps' f xx = [ updateAt i xx | i <- [0..length xx - 1]] where
  updateAt 0 (x:rest) = f x      : map return rest
  updateAt i (x:xx)   = return x : updateAt (i-1) xx
bin/pepeiborra/narradar/src/Narradar/Processor/PrologProblem.hs
              $ updateAnswer u_i ((updateAt [1] (mapRootSymbol (mapLabel (fmap (delete i))))))
    r'     = updateAt (init pos) (mapRootSymbol (mapLabel (fmap (delete i)))) r
                                  -- ((:[]) . updateAt (1 : init pos) (mapRootSymbol (mapLabel (fmap (delete (last pos))))))
                                  (\r -> case updateAt' (1 : init pos) (mapRootSymbol (mapLabel (fmap (delete (last pos))))) r of
            (updateAnswers (Set.singleton $ fromJust $ getUId u_i) ((:[]) . updateAt [1] (const out)))
                    p_rr1{inRule = left(updateAt p (const(applySubst sigma (l_in' ! p)))) (inRule p_rr1)}
bin/pepeiborra/trs/src/TRS/Term.hs
updateAt  :: (Traversable f, HashConsed f) =>  Position -> Term f -> (Term f -> Term f) -> Term f
updateAt [] t f = f t
updateAt (0:_) _ _ = error "updateAt: 0 is not a position!"
updateAt (i:ii) (In t) f = {-# SCC "updateAt" #-}
                            hIn$ fmap (\(j,st) -> if i==j then updateAt ii st f else st)
updateAt'  :: (Traversable f, HashConsed f, Monad m) =>
updateAt' pos x f = {-# SCC "updateAt'" #-}
                     maybe (fail "updateAt': invalid position") return
    go _      (0:_)  = fail "updateAt: 0 is not a position!"
bin/pepeiborra/trs/src/TRS/Context.hs
             , (u, t_i) <- updateAt' [i] t' (const $ hole 0) ]
bin/pepeiborra/trs/src/TRS/Confluence.hs
  let l1'    = updateAt (note l1_p) l1 (const r2)
bin/pepeiborra/term/Data/Term.hs
     Position, positions, (!), (!*), (!?), updateAt, updateAt', updateAtM, occurrences,
updateAt  :: (Traversable f) =>  Position -> (Term f v -> Term f v) -> Term f v -> Term f v
updateAt (0:_)  _          _ = error "updateAt: 0 is not a position!"
updateAt []     f          t = f t
updateAt (i:ii) f (Impure t) = Impure (unsafeZipWithG g [1..] t)
                               where g j st = if i==j then updateAt ii f st else st
updateAt _      _          _ = error "updateAt: invalid position given"
updateAt'  :: (Traversable f, Monad m) =>
updateAt' pos f = updateAtM pos (return . f)
-- | Monadic version of @updateAt'@
updateAtM  :: (Traversable f, Monad m) =>
updateAtM pos f t = runStateT (go pos t) t where
 go (0:_)  _          = fail "updateAt: 0 is not a position!"
 go _      _          = fail "updateAt: invalid position given"
bin/pepeiborra/term/Data/Term/Annotated/Rewriting.hs
rewrite1p rr t p = liftM fst $ updateAtM p (rewriteTop rr) t
bin/pepeiborra/term/Data/Term/Annotated/Narrowing.hs
             , (u, t_i) <- updateAt' [i] (const mempty)(Free.fmap Right t) ]
bin/pepeiborra/term/Data/Term/Rewriting.hs
rewrite1p rr t p = liftM fst $ updateAtM p (rewriteTop rr) t
bin/pepeiborra/term/Data/Term/Annotated.hs
     Position, positions, (!), (!*), (!?), updateAt, updateAt', updateAtM, occurrences,
updateAt  :: (Traversable f, Measured a ann) =>  Position -> (Term ann f a -> Term ann f a) -> Term ann f a -> Term ann f a
updateAt (0:_)  _ = error "updateAt: 0 is not a position!"
updateAt []     f = f
updateAt (i:ii) f = evalFree err (\t -> impure (unsafeZipWithG g [1..] t))
         where g j st = if i==j then updateAt ii f st else st
               err = error "updateAt: invalid position given"
updateAt'  :: (Traversable f, Measured a ann, Monad m) =>
updateAt' pos f = updateAtM pos (return . f)
-- | Monadic version of @updateAt'@
updateAtM  :: (Traversable f, Measured a ann, Monad m) =>
updateAtM pos f t = runStateT (go pos t) t where
 go (0:_)  _ = fail "updateAt: 0 is not a position!"
  where fai    = fail "updateAt: invalid position given"
bin/pepeiborra/term/Data/Term/Narrowing.hs
             , (u, t_i) <- updateAt' [i] (const mempty)(fmap Right t) ]
bin/jeremyong/Yaiba/Yaiba/Map.hs
            , updateAt
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt _ _ Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> balance kx x (updateAt f i l) r
      GT -> balance kx x l (updateAt f (i-sizeL-1) r)
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/hlist/Data/HList/Record.hs
    hTPupdateAtLabel,
hTPupdateAtLabel :: (HasField l t a,HUpdateAtHNat n (LVPair l a) t l',HFind l ls n,RecordLabels t ls) =>
hTPupdateAtLabel l v r = hUpdateAtLabel l v r
> hTPupdateAtLabel l v r = hUpdateAtLabel l v r `asTypeOf` r
             ur' = hTPupdateAtLabel (undefined::l2) v2 ur
bin/hlist/Data/HList/GhcSyntax.hs
f@(LVPair v) .<. r = hTPupdateAtLabel (labelLVPair f) v r
bin/lhc/lib/containers-0.2.0.1/Data/Map.hs
            , updateAt
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt _ _ Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> balance kx x (updateAt f i l) r
      GT -> balance kx x l (updateAt f (i-sizeL-1) r)
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/blobs/lib/DData/Map.hs
            , updateAt
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> updateAt f i l
      GT -> updateAt f (i-sizeL-1) r
-- | /O(log n)/. Delete the element at /index/. Defined as (@deleteAt i map = updateAt (\k x -> Nothing) i map@).
  = updateAt (\k x -> Nothing) i map
bin/blobs/_darcs/pristine/lib/DData/Map.hs
            , updateAt
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> updateAt f i l
      GT -> updateAt f (i-sizeL-1) r
-- | /O(log n)/. Delete the element at /index/. Defined as (@deleteAt i map = updateAt (\k x -> Nothing) i map@).
  = updateAt (\k x -> Nothing) i map
bin/kaoskorobase/mescaline/resources/hugs/packages/base/Data/Map.hs
            , updateAt
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> updateAt f i l
      GT -> updateAt f (i-sizeL-1) r
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\k x -> Nothing) i map
bin/dmpots/lhc/lib/containers-0.2.0.1/Data/Map.hs
            , updateAt
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt _ _ Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> balance kx x (updateAt f i l) r
      GT -> balance kx x l (updateAt f (i-sizeL-1) r)
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/dmpots/fibon-benchmarks/Hackage/Gf/src/runtime/haskell/PGF/Parse.hs
                                     Just id -> (Active j (ppos+1) funid seqid (updateAt d id args) key0) : items
                                                                !acc' = fn toks (Active j (ppos+1) funid seqid (updateAt d fid' args) key0) acc
                                                            in (:) (Active j' (ppos+1) funid seqid (updateAt d fid args) keyc)) items set
updateAt :: Int -> a -> [a] -> [a]
updateAt nr x xs = [if i == nr then x else y | (i,y) <- zip [0..] xs]
bin/kazu-yamamoto/bst/Data/SMap/Internal.hs
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt _ _ Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> balance kx x (updateAt f i l) r
      GT -> balance kx x l (updateAt f (i-sizeL-1) r)
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/kazu-yamamoto/bst/Data/SMap.hs
            , updateAt
bin/kazu-yamamoto/bst/test/Test.hs
             , testCase "updateAt" test_updateAt
test_updateAt :: Assertion
test_updateAt = do
    updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "x"), (5, "a")]
    updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "b"), (5, "x")]
    updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) @?= singleton 5 "a"
    updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) @?= singleton 3 "b"
bin/jgoerzen/hpodder/Commands/Download.hs
                       updateAttempt curtime $
updateAttempt curtime ep =
           updateAttempt curtime $ (newep {epstatus = Downloaded})
bin/gf/src/PGF/Parsing/FCFG/Incremental.hs
                                      Just id -> (Active j (ppos+1) funid seqid (updateAt d id args) key0) : items
                                                                 !acc' = fn toks (Active j (ppos+1) funid seqid (updateAt d fid' args) key0) acc
                                                            in (:) (Active j' (ppos+1) funid seqid (updateAt d fid args) keyc)) items set
updateAt :: Int -> a -> [a] -> [a]
updateAt nr x xs = [if i == nr then x else y | (i,y) <- zip [0..] xs]
bin/gf/src/runtime/haskell/PGF/Parse.hs
                                     Just id -> (Active j (ppos+1) funid seqid (updateAt d (PArg hypos id) args) key0) : items
                           (toks:_) -> let !acc' = ftok_ toks (Active j (ppos+1) funid seqid (updateAt d (PArg hypos fid') args) key0) acc
                                                            !acc' = ftok_ toks (Active j (ppos+1) funid seqid (updateAt d (PArg hypos fid') args) key0) acc
                           (toks:_) -> let !acc' = ftok_ toks (Active j (ppos+1) funid seqid (updateAt d (PArg (updateAt r (fid',fid2) hypos) fid0) args) key0) acc
                                                        !acc' = ftok_ toks (Active j (ppos+1) funid seqid (updateAt d (PArg (updateAt r (fid',fid2) hypos) fid0) args) key0) acc
                                                                in (:) (Active j' (ppos+1) funid seqid (updateAt d (PArg hypos fid) args) keyc)) items set
updateAt :: Int -> a -> [a] -> [a]
updateAt nr x xs = [if i == nr then x else y | (i,y) <- zip [0..] xs]
bin/pirapira/bst/Data/SMap/Internal.hs
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt _ _ Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> balance kx x (updateAt f i l) r
      GT -> balance kx x l (updateAt f (i-sizeL-1) r)
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\_ _ -> Nothing) i m
bin/pirapira/bst/Data/SMap.hs
            , updateAt
bin/pirapira/bst/test/Test.hs
             , testCase "updateAt" test_updateAt
test_updateAt :: Assertion
test_updateAt = do
    updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "x"), (5, "a")]
    updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) @?= fromList [(3, "b"), (5, "x")]
    updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) @?= singleton 5 "a"
    updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) @?= singleton 3 "b"
bin/mokus0/dependent-map/src/Data/Dependent/Map.hs
    , updateAt
updateAt :: (forall v. k v -> v -> Maybe v) -> Int -> DMap k -> DMap k
updateAt f i0 t = i0 `seq` go i0 t
    go _ Tip  = error "Map.updateAt: index out of range"
  = updateAt (\_ _ -> Nothing) i m
bin/haskore/src/Haskore/General/Map.hs
        lookupIndex, findIndex, elemAt, updateAt, deleteAt,
    elemAt, updateAt, deleteAt,
bin/thoughtpolice/testsuite/tests/libraries/Data/reference/Map.hs
-- TODO updateAt
bin/altaic/testsuite/tests/libraries/Data/reference/Map.hs
-- TODO updateAt
bin/pure/software/haskell/libraries/Data/G/Experiment.hs
           where r' = Record pir (updateAtLabel pul l r v)
updateAtLabel :: UpdateAtLabel l r v -> l -> r -> v  -> r
updateAtLabel UpdateAtLabelNil _ r _ = r
updateAtLabel UpdateAtLabelCons1 _ (Cons (l,_) r) v = Cons (l,v) r
updateAtLabel (UpdateAtLabelCons2 pte pul) l' (Cons (l,v') r) v = Cons (l,v') (updateAtLabel pul l' r v)
bin/pure/software/haskell/libraries/Data/HListExtras.hs
   = updateWith (hTPupdateAtLabel l v r) s
bin/pure/software/haskell/contrib/OOHaskell/HList/Record.hs
hTPupdateAtLabel l (v::v) r = hUpdateAtLabel l v r
bin/pure/software/haskell/contrib/OOHaskell/HList/GhcSyntax.hs
(l,v) .<. r = hTPupdateAtLabel l v r
bin/pure/software/haskell/contrib/HList/Record.hs
hTPupdateAtLabel l (v::v) r = hUpdateAtLabel l v r
bin/pure/software/haskell/contrib/HList/GhcSyntax.hs
(l,v) .<. r = hTPupdateAtLabel l v r
bin/nullset1/hpodder/Commands/Download.hs
                       updateAttempt curtime $
updateAttempt curtime ep =
           updateAttempt curtime $ (newep {epstatus = Downloaded})
bin/yhc/src/packages/yhc-base-1.0/Data/Map.hs
            , updateAt
updateAt :: (k -> a -> Maybe a) -> Int -> Map k a -> Map k a
updateAt f i Tip  = error "Map.updateAt: index out of range"
updateAt f i (Bin sx kx x l r)
      LT -> updateAt f i l
      GT -> updateAt f (i-sizeL-1) r
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).
  = updateAt (\k x -> Nothing) i map
bin/mchakravarty/testsuite/tests/libraries/Data/reference/Map.hs
-- TODO updateAt
bin/lowasser/TrieMap/Data/TrieMap.hs
	updateAt,
-- > updateAt (\ _ _ -> Just "x") 0    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "x"), (5, "a")]
-- > updateAt (\ _ _ -> Just "x") 1    (fromList [(5,"a"), (3,"b")]) == fromList [(3, "b"), (5, "x")]
-- > updateAt (\ _ _ -> Just "x") 2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\ _ _ -> Just "x") (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  0    (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
-- > updateAt (\_ _  -> Nothing)  1    (fromList [(5,"a"), (3,"b")]) == singleton 3 "b"
-- > updateAt (\_ _  -> Nothing)  2    (fromList [(5,"a"), (3,"b")])    Error: index out of range
-- > updateAt (\_ _  -> Nothing)  (-1) (fromList [(5,"a"), (3,"b")])    Error: index out of range
{-# INLINEABLE updateAt #-}
updateAt :: TKey k => (k -> a -> Maybe a) -> Int -> TMap k a -> TMap k a
updateAt f i m = case index i m of
-- Defined as (@'deleteAt' i map = 'updateAt' (\k x -> 'Nothing') i map@).