AK
имею множество функций
... -> a -> MyUi abindSize: a a a
2018 September 19
AK
и чейню их через
VY
ну да, меня просто смущает
Effect :D в той статье насколько я помню предлагалось использовать MonadThrow. Ладно, я все равно ничего не помню. Просто перечитаю статью, пока у меня так же всеAK
если надо выполнить эффект, вызываю
liftEffect $ ...AK
ну да, меня просто смущает
Effect :D в той статье насколько я помню предлагалось использовать MonadThrow. Ладно, я все равно ничего не помню. Просто перечитаю статью, пока у меня так же всене, может статья и правильная, тут нужны гуру Хаскеля, может
Effect и IO это разные вещи + я не использую кода который может бросить исключение, отличное от MyErrorVY
ок, я щас попробую перечитать и переделать без
Effect (или как там надо) если пойму, скорее всего чуть позже или завтра приду поспрашивать ещеAK
если скажут что так точно плохо, переписать с
ExceptT на MonadThrow вроде бы недолго (как я понял MonadEffect обеспечивает тот же liftEffect)
VY
да, т.е. не читая еще я так понял, что хорошей практикой считается
MonadThrow + MonadEffect вместо EffectЗП
ну да, у тебя может быть Aff/Effect
ЗП
но все зависит от реализации
VY
да, я асинхронные эффекты запускаю внутри, поэтому наружу просто Effect торчит
2018 September 20
VY
как бы реверснуть
findOf чтобы он находил именно первый, а не последний удовлетворяющий предикату...?-- | Find the first focus of a `Fold` that satisfies a predicate, if there is any.
findOf :: forall s t a b. Fold (Endo (->) (Maybe a)) s t a b -> (a -> Boolean) -> s -> Maybe a
findOf p f = foldrOf p (\a -> maybe (if f a then Just a else Nothing) Just) Nothing
ЗП
как бы реверснуть
findOf чтобы он находил именно первый, а не последний удовлетворяющий предикату...?-- | Find the first focus of a `Fold` that satisfies a predicate, if there is any.
findOf :: forall s t a b. Fold (Endo (->) (Maybe a)) s t a b -> (a -> Boolean) -> s -> Maybe a
findOf p f = foldrOf p (\a -> maybe (if f a then Just a else Nothing) Just) Nothing
а он последний находит?
VY
наверное, потому что
foldrЗП
вообще по хорошему надо
First и Last юзать вместо MaybeVY
ну да, по семантике это больше подходит, наверное
VY
есть еще не умный вопрос, сходу не соображу
VY
например, один элемент я могу найти так
findOf traversed even [1, 4, 3, 8, 11, 17] `shouldEqual` (Just 8)