немного запутался всё равно, for_ игнорирует результат и выполняет эффекты:

for_ = flip traverse_

traverse_
  :: forall a b f m
   . Applicative m
  => Foldable f
  => (a -> m b)
  -> f a
  -> m Unit
traverse_ = foldr ((*>) <<< f) (pure unit)

то есть по сути for_ это:

foldr ((*>) <<< (\item -> f item)) (pure unit) array

Пытаюсь через это вывести свой forIndexed_ используя foldrWithIndex вместо foldr, но очевидно теряю apply и не знаю как его вставить правильно:

forIndexed_
    :: forall i f a m
    . FoldableWithIndex i f => Applicative m
    => f a -> (i -> a -> m Unit) -> m Unit
forIndexed_ array f = 
    foldrWithIndex (\idx elm _ -> f idx elm) (pure unit) array

такой код компилится, но выполняется даже для массивов с несколькими элементами только один раз

а где ты там эффекты композишь?

по сути ты их там сбрасываешь и на выходе будет только последний эффект

точнее первый

foldr же

да, видимо так и происходит, но как сделать чтобы их не сбрасывать?

как-нибудь типа

foldrWithIndex
  (\idx elm m -> m *> f idx elm)
  (pure unit)
  array

но там хз что с порядком выполнения эффектов будет

ну то есть не хз, они там с конца выполнятся

нужна свертка с эффектом? вроде это foldM или с индексом тут
https://github.com/purescript/purescript-foldable-traversable/blob/master/src/Data/FoldableWithIndex.purs#L160

оно! да, теперь задом наперёд

для нормального порядка нужен foldl

не обязательно

а ну можно еще флипнуть порядок аргументов

чет не подумал

да, то что надо:

foldlWithIndex
    (\idx m elm -> m *> f idx elm) (pure unit) array

а, понял, велосипед переизобретаю?

ну вроде)