私はタイプのリストをフィルタリングしようとしていますモナド

Question

のリストフィルタリング：IO [Either a b]

理想的には、私は次のタイプのSIGとフィルタリング機能を構成したいと思います：

(Monad m, Monad m2) => m [m2 a] -> (a -> Bool) -> m [m2 a] 

私は多くのことを試してみました、filterM、fmap、および=<<は、私の述語を適切なコンテキストに持ち上げようと無駄にしようとしましたが、私はm [m a]-> (a -> m Bool)-> m [m a]を達成することができますが、どちらも同じモナドではないので、私は何か良いことをしているようだ。

これは「do notation」のようなものですが、私は<-オペレータで割り当てられたもののタイプシグネチャを調べる方法を捨てることができず、動いているターゲットで撮影しています。

私は、別のモナド（Either）のインスタンスを含むリストと、リスト自体（IO）を含むモナドを含むリストをトラバースしていることを明確にする方法では、どのように関数を構成するのか不明です。

私はここで何が欠けていますか？

Answer 1

理想的には、私は次の 型SIGとフィルタリング機能を構成したいと思います：

(Monad m, Monad m2) => m [m2 a] -> (a -> Bool) -> m [m2 a] 

Monadインターフェイスを取得する方法を提供していませんので、それは、一般的に行うことができませんm aのうちaです。 fmap (fmap (fmap f))を使用してm [m2 Bool]まで得ることができますが、要素を削除するかどうかを決定するには、m2 BoolからBoolを取得する必要があります。

このように見てください。問題のモナドがProxyだったら？

data Proxy a = Proxy -- one constructor, no fields 

instance Monad Proxy where 
    return _ = Proxy 
    Proxy >>= _ = Proxy 

その内部に何があることはないので、あなたは、Proxy Bool内部Boolで見ることができません！ a -> Boolと[Proxy a]を指定すると、リストのどの要素が削除されるのか分かりますか？

---

あなたは次の型シグネチャを持つ関数を書くことができます。

myfilter :: (Functor f, Applicative g) => (a -> Bool) -> f [g a] -> f (g [a]) 

注意を戻り値の型がf (g [a])、ないf [g a]であること。

この関数は、外部ファンクタに入るためにfmapを使用し、リスト内のgを分解し、次にfmapをもう一度破棄して結果をフィルタリングします。

myfilter p = fmap (fmap (filter p) . sequenceA) 

Answer 2

あなたがMonad mの外にaを取得することができないかもしれないが、あなたが例えば使用Monad mにあなたの機能を得ることができます受け入れ答えに追加するにはliftM。内部構造に応じて、使用可能なアクションを構成し、最後にそれらをある種の方法で順序付けして、計算が「発生する」ようにすることができます。 IO[Either Bool Integer]として与えられたIO[Either a b]の問題を使用した例を与えることを

：

import Control.Monad 

testCase :: IO [Either Bool Integer] 
testCase = return [(Right 1), (Left True), (Right 2), (Left False), (Right 3), (Right 4)] 

liftFilter :: Monad m => (a -> Bool) -> m [a] -> m [a] 
liftFilter pred = liftM (filter pred) 

testFilter :: (Either Bool Integer) -> Bool 
testFilter (Left True) = True 
testFilter (Right x) = even x 
testFilter _   = False 

showIt :: (Either Bool Integer) -> String 
showIt (Left True) = "Left True" 
showIt (Left False) = "Left False" 
showIt (Right x) = "Right x=" ++ (show x) 

test = do 
    filtered <- liftFilter testFilter testCase 
    return (fmap showIt filtered) 

runTest = do 
    actions <- liftM (fmap putStrLn) test 
    sequence_ actions