Kann 'all' auf eine Liste von Maybe angewendet werden?

Question

Ist es möglich, all auf einer [Maybe Int] Liste zu verwenden?

Ich weiß all (< 9) [2,4,6,8,10] gibt False zurück, aber das verwendet eine Liste mit nur ganzen Zahlen.

Ich versuche, etwas ähnlich, außer mit einer Liste zu erreichen, die wie folgt aussieht:
[Just 3, Just 6, Nothing, Nothing, Just 7]

I all (<=9) [Just 3, Just 6, Nothing, Nothing, Just 7] wollen True

Answer 1

> all (<= Just 9) [Just 3, Just 6, Nothing, Nothing, Just 7] 
True 

Dies funktioniert zurückkehren, weil Nothing als jede Just x weniger ist.

Alternativ kann man catMaybes :: [Maybe a] -> [a] vom Data.Maybe Modul verwenden, um die Nothing s zu verwerfen, und entfernen Sie die Just Umhüllungen, um die Liste in eine Liste von Zahlen drehen, die dann wie üblich gehandhabt werden können:

> all (<= 9) $ catMaybes [Just 3, Just 6, Nothing, Nothing, Just 7] 
True 

Eine weitere Alternative: Definieren Sie Ihr eigenes Prädikat auf Maybe Int.

let p :: Maybe Int -> Bool 
    p Nothing = True 
    p (Just x) = x <= 9 
in all p [Just 3, Just 6, Nothing, Nothing, Just 7] 

Noch besser: definieren pmaybe verwenden, wie Zeta suggests.

Noch eine weitere Alternative, mit einer Liste Verständnis und and:

and [ x <= 9 | Just x <- [Just 3, Just 6, Nothing, Nothing, Just 7] ] 

Answer 2

Sicher. maybe True (< 9). maybe default func verwendet die gegebene Funktion func wenn Sie Just oder die default wenn Sie Nothing:

ghci> all (maybe True (< 9)) [Just 3, Just 6, Nothing, Nothing, Just 7] 
True 

können Sie verwenden, Ihre allMaybe Funktion zu schreiben:

allMaybe :: (a -> Bool) -> [Maybe a] -> Bool 
allMaybe p = all (maybe True p) 

Oder wir könnten „Lift“ Ihre Prädikat zu Maybe:

liftP :: (a -> Bool) -> Maybe a -> Bool 
liftP _ Nothing = True 
liftP p (Just x) = p x 
-- or simply 
-- liftP p = maybe True p 

allMaybe' p = all (liftP p) 

Aber das nur h ides der zugrunde liegende maybe weg.

Answer 3

Eine etwas ausgefallenere Lösung als die von chi und Zeta wäre Compose mit, so dass all die beiden Schichten als eine einzige Struktur, die Zahlen sehen:

GHCi> import Data.Functor.Compose 
GHCi> all (<=9) $ Compose [Just 3, Just 6, Nothing, Nothing, Just 7] 
True