条件付きチェックを入力の多分型に変換するポイントフリーの方法はありますか？

Question

私はちょうどhaskellの簡単な演習を行っていますが、if-then-else文をMaybeの型に変換するポイントフリーの方法があるかどうか疑問に思っていました。条件がfalseの場合はNothingが返され、入力がJustの場合条件が真である場合。要するに

、いくつかの与えられた：

maybeIf :: (a -> Bool) -> a -> Maybe a 
maybeIf cond a = if cond a then Just a else Nothing 

はaに対して点フリーで実装がありますか？私はさらに具体的なバージョンa -> Maybe aを見ていて、Control.Arrowのどこかに答えがあるように感じます。しかし、Maybeはデータ型であり、if-else文がデータフローを制御するので、綺麗なやり方があるかどうかはわかりません。

Answer 1

あなたはData.Foldableからfindをインポートすることができますし、それは非常に単純です：あなたは非常に簡単に定義することができるように機能findが複雑ではありません

import Data.Foldable(find) 

maybeIf cond = find cond . Just 

それはMaybeの点で、一般的にそれほど一般的ではありませんが、実際には自分の実装であるmaybeIfとはまったく異なるので、なぜそれをやりたかったのかによってはあまり得られないかもしれません。

Answer 2

そのポイントを無駄にする方法は、if/then/elseです。あなたはif'コンビネータを定義することもできますし、私が定義し、この一般化バージョンを使用し、頻繁に使用することができます：私は本当にないものの

ensure p x = x <$ guard (p x) 

標準ツールが

ensure p = ap (<$) (guard . p) 
ensure = ap (<$) . (guard .) 

として連続ポイントフリー版を与えますどちらかがポイントのあるバージョンよりも優れていると思う。

Answer 3

我々は...

truth :: Bool -> a -> a -> a 
truth True t f = t 
truth False t f = f 

をブールのための教会エンコードを選択した場合はその後、我々はApplicativeのスタイルでポイントのないmaybeIfを書くことができます。

maybeIf :: (a -> Bool) -> a -> Maybe a 
maybeIf = liftA3 truth <*> pure Just <*> pure (pure Nothing) 

いくつかの直感...ここ

f <$> m₁ <*> … <*> mₙ = \x -> f (m₁ x) … (mₙ x) 
liftAₙ f <$> m₁ <*> … <*> mₙ = \x -> f <$> m₁ x <*> … <*> mₙ x 

は場合にインストールしたフォントが必要なUnicode文字をサポートしていない、上記の「直感」のPNG形式のレンダリングです。

したがって：

liftA3 truth <*> pure Just <*> pure (pure Nothing) 
= liftA3 truth <$> id <*> pure Just <*> pure (pure Nothing) 
= \p -> truth <$> id p <*> (pure Just) p <*> (pure (pure Nothing)) p 
= \p -> truth <$> p <*> Just <*> pure Nothing 
= \p -> \a -> truth (p a) (Just a) ((pure Nothing) a) 
= \p -> \a -> truth (p a) (Just a) Nothing 

Answer 4

dfeuer's leadに続いて（この機能のためにダニエル・ワーグナーの新しい名前を使用して）、

import Data.Bool (bool) 
--   F T  
-- bool :: a -> a -> Bool -> a 

ensure :: (a -> Bool) -> a -> Maybe a 
ensure p x = bool (const Nothing) Just (p x) x 

ensure p = join (bool (const Nothing) Just . p) 
      = bool (const Nothing) Just =<< p 

ensure  = (bool (const Nothing) Just =<<) 

joinはモナド関数で、join :: Monad m => m (m a) -> m aですが、機能のために、それは単にとして受け入れられている

join k x = k x x 
(k =<< f) x = k (f x) x 

joinですポイントフリーコードのW combinatorの代わり。

実際

  = join ((bool (const Nothing) Just .) p) 
      = (join . (bool (const Nothing) Just .)) p 

、

として、（結果の可読性は全く別の問題である）あなたは、それがポイントのない値の引数に関してたかったが、それはさらに joinで式を変換するのは簡単です

#> (join . (bool (const Nothing) Just .)) even 3 
Nothing 

#> (bool (const Nothing) Just =<<) even 4 
Just 4