Блог

У меня есть входные list данные типа [Maybe SomeType] и предикат p типа SomeType -> Bool , и я хочу ответить на вопрос «Сохраняется ли предикат p для всех SomeType s, которые оказались во входных данных?».

Первая часть проста: (map . fmap) p list имеет тип [Maybe Bool] .

Одна важная информация заключается в том, что я это знаю, length list >= 1 и all isNothing list == False обе они верны, так что должен быть хотя бы Just True вход (map . fmap) p list .

Но как мне вытащить один Bool из этого списка?

Я подумал, что мог бы воспользоваться преимуществами сворачивания (например, через foldl ) и Maybe , MonadPlus например, сделать что-то вроде следующего:

 allTrueOrNothing :: [Maybe Bool] -> Bool
allTrueOrNothing = fromJust . foldl mplus mzero
 

но это не совсем верно, потому mplus что возвращает левый операнд, если он Just something независимо от того, что something есть, поэтому allTrueOrNothing вернется True , даже если его входные [Just True, Just False] данные .

Каков самый чистый/наиболее идиоматичный способ, которым я могу выполнить эту задачу?

Я вижу, что я мог бы просто filter вывести Nothing s, а затем and вместе Just s, что-то вроде этого:

 allTrueOrNothing' :: [Maybe Bool] -> Bool
allTrueOrNothing' = all fromJust . filter (fmap not isNothing)
 

Но мне было более любопытно узнать, есть ли способ заставить этих Maybe Bool людей вести себя так, как будто Monoid они знают о его Bool содержании.

Я бы просто использовал all напрямую:

 all . all :: (a -> Bool) -> [Maybe a] -> Bool
 

Если по какой-то причине вам необходимо различать фазы, которые вы описываете, вы можете использовать специализацию and = all id :

 all and :: [Maybe Bool] -> Bool
 

Кажется, это работает:

 > and . catMaybes $ [Just False, Nothing, Just False]
False
> and . catMaybes $ [Just False, Nothing, Just True]
False
> and . catMaybes $ [Just True, Nothing, Just True]
True
 

Вы можете использовать catMaybes для преобразования списка в [Bool] и and для завершения.

(Обратите внимание, что это вернется True в список всех Nothing , что, согласно вашим предположениям, является «невозможным» случаем.)

Если вы абсолютно хотите использовать моноид, я думаю, вы можете это сделать, но это немного громоздко. Это включало бы в себя обертывание каждого элемента списка в некоторые newtype And = And (Maybe Bool) , затем определение соответствующего экземпляра моноида, затем mconcat повторение и, наконец, разворачивание.

Непроверенный код:

 newtype And = And (Maybe Bool)

instance Semigroup And where
   And Nothing  <> x            = x
   x            <> And Nothing  = x
   And (Just a) <> And (Just b) = And (Just (a amp;amp; b))

instance Monoid And where
   mempty = Nothing

allTrueOrNothing :: [Maybe Bool] -> Bool
allTrueOrNothing = fromMaybe False . coerce . mconcat @And . coerce
 

Самый чистый способ-это and . catMaybes .

Но вы хотели использовать Моноид, который знает о его Bool содержании, в amp;amp; некотором роде. Это All :

 > foldMap (fmap All) [Just True,Nothing,Just False]
Just (All {getAll = False})

> foldMap (fmap All) [Just True,Nothing,Just True]
Just (All {getAll = True})