「すべて」はおそらくリストにも適用できますか？

Question

[Maybe Int]のリストにallを使用することはできますか？

私が知っているall (< 9) [2,4,6,8,10]はFalseを返しますが、それは整数だけのリストを使用しています。

私はこのようになりますリストを除いて似た何かを達成しようとしています：
[Just 3, Just 6, Nothing, Nothing, Just 7]

私はall (<=9) [Just 3, Just 6, Nothing, Nothing, Just 7]がNothingがどのJust x未満であるため、この作品True

Answer 1

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

を返すようにしたいです。

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

：

あるいは、その後、通常のように取り扱うことができる番号のリストにリストを回し、Nothing Sを廃棄するData.MaybeモジュールからcatMaybes :: [Maybe a] -> [a]を使用し、Justラッパーを除去することができますもう1つの選択肢：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] 

：Zeta suggestsとして、maybeを使用してpを定義します。

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

Answer 2

確かに：リスト内包とandを使用してさらに別の代替

、。 maybe True (< 9)。あなたはNothingを持っている場合はJust、またはdefaultを持っている場合maybe default funcは、与えられた関数funcを使用しています。

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

あなたのallMaybe関数を記述するためにそれを使用することができます

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

それとも私たちはあなたを「持ち上げる」でした述語から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) 

しかし、基礎となるmaybeを離します。

Answer 3

A chiとZetaによるものよりやや難解なソリューションがallが数字を含む単一の構造として2層を見ているので、Composeを使用することになります。

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