к
Size: a a a
2018 May 27
к
раз тебе нужен люблй
к
то могу предположить, что тебе это значение вообще не нужно
AK
ну нет. у меня просто есть массив из
Eff e (Eff e Unit), мне нужно выполнить оборачивающий эффект, а вложенный оставить на потом (вернуть их в массиве из forEachE).AK
то есть да, правильнее сказать что мне надо:
∀ e a b. Array a → (a → Eff e x) → Eff e (Array x)к
да, это traverse
к
sequence :: t (m a) -> m (t a)
к
traverse :: (a -> m a) -> t a -> m (t a)
к
t = Array
m = Eff e
m = Eff e
AK
я так понимаю что этот пулл реквест не вмёржили и эффекты
Traversable не имплементятAK
Но наверное я могу себе его взять, на данный момент мне не так важно чтобы это "правильно" было.
AK
AK
Хм, а правда просто
traverse из Data.Traversable работаетк
а блин точно
к
потому что
к
ну собственно выше я инстанс для эрэя и расписал
AK
ха, кажется понял, разворачивается массив, а не эффекты