к
тогда сделать
foldMap via Firstи это тоже пройдет все элементы
Size: a a a
2021 January 29
ЗП
и это тоже пройдет все элементы
тогда
foldr выше по ссылкек
ЗП
findA f = foldr (\x next -> f x >>= \case True -> pure (Just x); False -> next) (pure Nothing)
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
зигу кинул :D
A
findA f = foldr (\x next -> f x >>= \case True -> pure (Just x); False -> next) (pure Nothing)
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
Прикольно
KV
А ещё есть селективные аппликативы специально для этого
2021 January 30
ЖК
findA f = foldr (\x next -> f x >>= \case True -> pure (Just x); False -> next) (pure Nothing)
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
или
findA f = foldr (\x -> ifM (f x) (pure (Just x))) (pure Nothing)
ifM :: Monad m => m Bool -> m a -> m a -> m a
ifM cond t e = do
cond' <- cond
if cond' then t else e
как выше зига скинул еще
Только это уже будет findM, т.к. ifM используется, так ведь?
ЖК
И этот findM проходит не по всем, а пока не найдёт, так?