Parsek i styl aplkacji

Question

Czy ktoś może mi pomóc zrozumieć, jak używać stylu aplikacyjnego do pisania parserów Parse? Jest to kod mam:

module Main where 
import Control.Applicative hiding (many) 
import Text.Parsec 
import Data.Functor.Identity 
data Cmd = A | B deriving (Show) 

main = do 
    line <- getContents 
    putStrLn . show $ parseCmd line 

parseCmd :: String -> Either ParseError String 
parseCmd input = parse cmdParse "(parser)" input 

cmdParse :: Parsec String() String 
cmdParse = do 
    slash <- char '/' 
    whatever <- many alphaNum 
    return (slash:whatever) 

cmdParse2 :: String -> Parsec String() String 
cmdParse2 = (:) <$> (char '/') <*> many alphaNum 

ale gdy próbuję go skompilować, otrzymuję następujący:

/home/tomasherman/Desktop/funinthesun.hs:21:13: 
    Couldn't match expected type `Parsec String() String' 
       with actual type `[a0]' 
    Expected type: a0 -> [a0] -> Parsec String() String 
     Actual type: a0 -> [a0] -> [a0] 
    In the first argument of `(<$>)', namely `(:)' 
    In the first argument of `(<*>)', namely `(:) <$> (char '/')' 
Failed, modules loaded: none. 

Chodzi o to, że chcę cmdParse2 zrobić to samo, co cmdParse robi, ale za pomocą rzeczy aplikacyjne ... moje podejście jest prawdopodobnie całkowicie błędne, jestem nowy w firmie haskell

Answer 1

Twoje zastosowanie aplikacji jest na miejscu, masz po prostu nieprawidłowy podpis. Spróbuj:

cmdParse2 :: Parsec String() String 

Answer 2

Twoje podejście wygląda dla mnie poprawnie, problem polega na tym, że cmdParse2 ma niewłaściwy typ. Powinien mieć ten sam typ co cmdParse. Nawiasem mówiąc, można pominąć parens wokół char '/' w parser styl aplikacji.