at
Size: a a a
2017 May 07
at
ток это в хаскелле
at
хотя она не так работает)
at
takeWhile c isJust ?
at
Ещё вопрос, есть список, скажем
типа...
http://package.elm-lang.org/packages/elm-community/list-extra/6.1.0/List-Extra#iterate очень похожа, например, но работает только с одним значением. или может быть это какая-то стандартная комбинация, но чего-то не приходит в голову.
List a. Нужно про нему сделать map функцией (a -> Maybe b), но как только эта функция вернёт Nothing, остановить итерацию и вернуть всё собранное до этого в виде List b. (a -> Maybe b) -> List a -> List b получается.типа...
takeWhileMap или anyMap?http://package.elm-lang.org/packages/elm-community/list-extra/6.1.0/List-Extra#iterate очень похожа, например, но работает только с одним значением. или может быть это какая-то стандартная комбинация, но чего-то не приходит в голову.
filterMap, fold etc. — обходят все элементы списка, а мне это не нужно.takeWhileMaybe f = takeWhile (f >> isJust)at
блин, а где в элме takeWhile
at
а почему не в стандартной либе)
NK
😀
at
блин, композиция еще с другим именем
>>AK
тут бы ещё результат
f положить в результирующий список :)at
тут бы ещё результат
f положить в результирующий список :)takeWhileMaybe f = (takeWhile (f >> isJust)) >> map f
AK
не получится так, что
f вызывается по два раза для каждого элемента списка — один раз при takeWhile, второй при map?at
блин, элм же не ленивый 🤔
at
AK
наверное надо как-то
scanl обыграть или foldl, возвращать кортеж с предыдущим значением мейби и собравшимся списком, и как только предыдущее значение Nothing — возращать пустой список, уже ничего не выполняя.AK
как-то так выходит
takeWhileMap : (a -> Maybe b) -> List a -> List b
takeWhileMap f src =
Tuple.second
(List.foldl
(\item acc ->
case acc of
( True, res ) ->
case (f item) of
Just val -> ( True, res ++ [ val ] )
Nothing -> ( False, res )
( False, res ) -> acc)
( True, [] )
src)
AK
плохо, что всё равно холостые ходы, но хотя бы в них функция
f не выполняется