Searched refs:adjustM (Results 1 – 4 of 4) sorted by relevance
17 adjustM :: (Functor f, Ord k) => (v -> f v) -> k -> Map k v -> f (Map k v)19 adjustM f = Map.alterF $ \case function23 adjustM f k m = function29 adjustM' f k = getCompose . adjustM (Compose . f) k function
77 , adjustM864 adjust f idx asgn = runIdentity (adjustM (Identity . f) idx asgn)871 adjustM :: Functor m => (f tp -> m (f tp)) -> Index ctx tp -> Assignment f ctx -> m (Assignment f c…872 adjustM f (Index i) (Assignment a) = Assignment <$> (unsafe_bin_adjust f a i 0) function880 ixF' idx f = adjustM f idx
100 , adjustM
169 x' <- U.adjustM (return . twiddle) idx_x x170 y' <- S.adjustM (return . twiddle) idx_y y