PCRE in Haskell-quoi, où, comment?

il y a deux options principales quand vous voulez utiliser des regexes PCRE-style dans Haskell:

• regex-pcre utilise la même interface que décrit dans ce billet de blog (et aussi dans RWH, comme je le pense une version étendue de ce blog), ce qui peut éventuellement être étendu avec pcre-moins. regex-pcre-builtin semble être un pré-lancement instantané et ne devrait probablement pas être utiliser.

• pcre-lumière est relié à la bibliothèque PCRE. Il ne fournit pas les types de retour que vous recherchez, juste tous les matchings (s'il y en a). cependant, le pcre-la lumière-les extras paquet fournit un MatchResult classe, pour lesquels vous pourriez être en mesure de fournir une telle instance. Cela peut être amélioré à l'aide de regexqq qui vous permet d'utiliser la quasi-citation pour vous assurer que votre modèle regex vérifie le type; cependant, il ne fonctionne pas avec GHC-7 (et à moins que quelqu'un prenne en charge son maintien, il ne fonctionnera pas).

donc, en supposant que vous allez avec regex-pcre:

• Selon répondre, oui.

• je pense que oui, via le MatchArray type (il renvoie un tableau, dans lequel vous pouvez ensuite extraire la liste).

• Voir ici pour tous les résultats possibles d'un regex.

Il y a aussi regex-applicative que j'ai écrit.

L'idée est que vous pouvez attribuer un sens à chaque morceau d'une expression régulière et ensuite les composer, tout comme vous écrivez des parsers en utilisant Parsec.

voici un exemple -- simple analyse D'URL.

import Text.Regex.Applicative

data Protocol = HTTP | FTP deriving Show

protocol :: RE Char Protocol
protocol = HTTP <$ string "http" <|> FTP <$ string "ftp"

type Host = String
type Location = String
data URL = URL Protocol Host Location deriving Show

host :: RE Char Host
host = many $ psym $ (/= '/')

url :: RE Char URL
url = URL <$> protocol <* string "://" <*> host <* sym '/' <*> many anySym

main = print $ "http://stackoverflow.com/questions" =~ url

regexpr est un autre PCRE-ish lib qui est multiplate-forme et rapide pour commencer.

j'ai trouver rex pour être tout à fait sympa aussi, son ViewPatterns l'intégration est une bonne idée je pense.

cela peut être verbeux, mais cela est en partie lié au concept regex.

parseDate :: String -> LocalTime
parseDate [rex|(?{read -> year}\d+)-(?{read -> month}\d+)-
        (?{read -> day}\d+)\s(?{read -> hour}\d+):(?{read -> mins}\d+):
        (?{read -> sec}\d+)|] =
    LocalTime (fromGregorian year month day) (TimeOfDay hour mins sec)
parseDate v@_ = error $ "invalid date " ++ v

cela dit, je viens de découvrir regex-applicative mentionné dans l'une des autres réponses et il peut être un meilleur choix, pourrait être moins verbeux et plus idiomatique, bien que rex a essentiellement zéro courbe d'apprentissage si vous connaissez des expressions régulières qui peuvent être un plus.