使用parsec在字符串中查找子字符串

Question

例如，我想從"aabbccabc"獲得​​，使用正則表達式應該很容易。但我想使用parsec。看來，try能做到這一點，但是這必須是非常低效的...

我想：

import Text.ParserCombinators.Parsec 
ps pser txt = case (parse pser "" txt) of 
    Left e -> show e 
    Right v -> v 

，並得到以下結果：

λ> ps (string "asf") " dsfdsasf" 
"(line 1, column 1):\nunexpected \" \"\nexpecting \"asf\"" 

Answer 1

你可以做這樣的事情：

{-# LANGUAGE FlexibleContexts #-} 

import Text.Parsec 
import Text.Parsec.Char 

findSubString str = try (string str) <|> (anyChar *> findSubString str) 

foo = do 
    findSubString "abc" 
    findSubString "def" 

test1 = parseTest foo "this is abc"   -- fails: expecting def 

test2 = parseTest foo "this is abc and de" -- fails: expecting def 

test3 = parseTest foo "this is abc and def" -- succeeds