ハスケル：Monad定義から<*>の定義をどうやって見つけますか？

Question

私は定義されたパーサーオブジェクトがあります。

newtype Parser a = Parser (String -> [(String, a)]) 

し、それらを生成する機能：

produce :: a -> Parser a 
produce x = Parser (\ts -> [(ts, x)]) 

そして、私は一つに複数のパーサをバインドできるようにするには、このパーサー・オブジェクトのモナドのインスタンス：

を

instance Monad Parser where 
    return = produce 
    Parser px >>= f = Parser (\ts -> 
    concat([parse (f x) ts' | (ts', x) <- px ts])) 

私はまた、異なるタイプの文字列を解析するために、さまざまなタイプの複数のパーサーをチェーン化するのに非常に喜んで使用していますそれ内の部品。 *>を介して定義され<もちろん

次

(<*>) = ap 

しかし、私は、私は理解し、それが正確にどのように動作するかを説明することができていますように、明示的に定義したいと私はそれを把握することができませんでしたでる。

この例では、apの定義を明示的に見つける方法、または< *をどのように見つけ出すことができますか？

何かに関するアドバイスや、どうすればそれをどうすればうまくいくのでしょうか。

ありがとうございました。

Answer 1

あなたは

f <*> x = do 
    f' <- f 
    x' <- x 
    return (f' x') 

または、同等

f <*> x = 
    f  >>= (\f' -> 
    x  >>= (\x' -> 
    return (f' x'))) 

からスタートし、必要に応じて>>=とreturnを拡張することができます。