はモナドと純粋な機能を作曲

Question

のは、現在のディレクトリに存在しないファイルを見つけてみましょう：

filterM (\f -> return . not =<< doesFileExist f) files 

をそして今、私は、小数点表記で良いことをしたい：

filterM (liftM not . doesFileExist) files 

は別のアプローチにありますこれを行う？例えば、後に純粋な関数の合成のためにあまりよくない作品、ブレース必要があります：すべてのモナドはfmapとしてliftMとファンクタであるので

filterM (liftM (isExtensionPNG . not) . doesFileExist) files 

Answer 1

あなたはそれがよりよい書くことにする中置演算子を定義することができます。

infixr 9 .: -- same as . 

(.:) :: Monad m => (b -> c) -> (a -> m b) -> a -> m c 
f .: g = liftM f . g 


filterM (isExtensionPNG .: not .: doesFileExist) files 

Answer 2

を、あなたはfmapは、関数合成を介して配布しているという事実を使用することができます。

fmap (f . g) = fmap f . fmap g 

あなたはので正直に言うけれども

filterM (liftM isExtensionPNG . liftM not . doesFileExist) files 

を書くことができ、私はあなたの元のバージョンを好みます。