2011-07-15 19 views
3

私は自分のコードでそれを使用したいと思いますし、重複しないようにしたいのですが、 "function"や "composition"のような大量の一般的な単語しか含んでいないので、私はそれを見つけることができません。HaskellはHom Functor/Monadとは何を呼びますか?

が完全に具体的には、私は、これは通常((->) e)と呼ばれる基本的なリーダー(または環境)モナド、ある

instance Functor (x->) where 
    fmap f p = f . p 

答えて

12

を探しています。 ((e ->)はセクションとしてではなく部分的に適用された関数として記述され、後者の構文は解析に問題があります)Control.Monad.ReaderまたはControl.Monad.Instancesをインポートして取得できます。

+5

'Reader'は、'(( - >)e) 'のラッパーです。また、 'Applicative'インスタンスの場合、' pure'と '(<*>)'は** K **と** S **結合子になります。これは常に楽しいものです。 :] –

+0

これは私が「基本的な読者モナド」と言った理由です。実際のReaderモナドは、基本的な '(( - >)e)'構造の周りの砂糖であり、環境のための補助的な "スコープ"を導入するための 'local'メカニズムにとって大いに役立ちます。 – geekosaur

+0

ありがとうございます! 「リーダー」は私が検索しようとしなかった1つの単語です。 – Owen

関連する問題