レコードのパーサを作成するために、一般的にhaskellレコード用のアプリケーションコンストラクタを作成したいと考えています。基本的なタイプのため Record <$> pInt <*> pFloat
パーサが与えられている： class Parseable a where
getParser :: Parser a
instance Parseable Int where
Parsecパーサーを書くためのApplicativeスタイルの使い方を教えてもらえますか？ module Main where
import Control.Applicative hiding (many)
import Text.Parsec
import Data.Functor.Identity
data Cmd = A | B deriving (Show)
main =
私は以前にスカラズにやって来たhaskellの例を変換しようとしていました。 ("Answer to the ", (*)) <*> ("Ultimate Question of ", 6) <*> ("Life, the Universe, and Everything", 7)
限り、私は理解することができる午前として、thisインスタンスを使用する、：元の例では、このでした。 文字通りs
OKクラスのなかにApplicativeタイプのものが含まれていることがわかりました。しかし、私はあなたの脳を、あなたがそれを自明ではない例で使う方法の周りにかなり包み込むことはできません。今、一体あなたはParserためMonadインスタンスを使用せずにいることを書くでしょうか integer :: Parser Integer
integer = do
many1 space
Earlier私はParsecの応用ファンクタインスタンスのみを使用するようにモナドコードを翻訳することについて尋ねました。残念ながら、私は文字通り尋ねた質問に答えたいくつかの回答を得ましたが、実際に私に多くの洞察を与えませんでした。だからもう一度試してみましょう... これまでの知識を要約すると、応用ファンクタはモナドよりも幾分制限されています。 「less is more」という伝統では、コー