к
+ void прикомпозить
Size: a a a
2018 March 19
AK
чот не выходит,
foldWithIndexM ?what unit array должно быть?ЗП
по сигнатуре смотришь?
ЗП
foldWithIndexM (\index acc val -> ...) unit arrayЗП
а лямбда должна вернуть монаду
AK
просто по коду:
`foldlWithIndex
(\idx m elm -> m *> f idx elm) (pure unit) array`
`foldlWithIndex
(\idx m elm -> m *> f idx elm) (pure unit) array`
foldWithIndexM f a0 = foldlWithIndex (\i ma b -> ma >>= flip (f i) b) (pure a0)a0 должен быть unit наверноеAK
а возвращает
UnitAK
оставлю
foldlWithIndex пока что, с пометкой потом заменить, сейчас ещё не готов разобратьсяAK
AK
У меня эффект внутри лямбды, может быть я поэтому путаюсь
AK
что-то я усложнял
AK
foldWithIndexM (\idx m elm -> f idx elm) unit array