Question

利用<代码>Parsec 3.1,可以分以下几种投入:

[Char] with Text.Parsec.String
Data.ByteString with Text.Parsec.ByteString
Data.ByteString.Lazy with Text.Parsec.ByteString.Lazy

我看不到<代码>Data.Text模块的任何内容。我想对统法协会的编码内容进行分类,而不会受到<编码>String效率低下的影响。因此,我根据<代码>建立了以下模块。文本:Parsec.ByteString 模块:

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

module Text.Parsec.Text
    ( Parser, GenParser
    ) where

import Text.Parsec.Prim

import qualified Data.Text as T

instance (Monad m) => Stream T.Text m Char where
    uncons = return . T.uncons

type Parser = Parsec T.Text ()
type GenParser t st = Parsec T.Text st

Does it make sense to do so?
It this compatible with the rest of the Parsec API?

其他评论:

我不得不在我的教程模块中添加<代码>{-# LANGUAGE No Mono吗?”

包装<代码>Text是一件事,用<代码>Text构建一个AST,是另一回事。我还需要<代码><<<>> >代码>。

module TestText where

import Data.Text as T

import Text.Parsec
import Text.Parsec.Prim
import Text.Parsec.Text

input = T.pack "xxxxxxxxxxxxxxyyyyxxxxxxxxxp"

parser = do
  x1 <- many1 (char  x )
  y <- many1 (char  y )
  x2 <- many1 (char  x )
  return (T.pack x1, T.pack y, T.pack x2)

test = runParser parser () "test" input

Answer 1

这正是你们需要做的事。

它应与包括Parsec在内的其他部分相容。 Char parsers.

如果您重新使用卡布拉尔来建立你的方案,请在您的一揽子说明中把第3条第1款的上下限列入,如果该维护者决定将该案列入今后版本的Parsec。

Answer 2

Since Parsec 3.1.2 support of Data.Text is built-in! See http://hackage.haskell.org/package/parsec-3.1.2

如果你用旧版本 st,则其他答复中的密码也是有益的。

Answer 3

我增加了一个功能<代码>parseFromUtf8File,以帮助高效阅读UTF-8编码文档。工作性质不合法。功能类型匹配parseFromFile from Text.Parsec.ByteString。这一版本使用严格的《公约》。

-- A derivate work from
-- http://stackoverflow.com/questions/4064532/using-parsec-with-data-text

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

module Text.Parsec.Text
    ( Parser, GenParser, parseFromUtf8File
    ) where

import Text.Parsec.Prim
import qualified Data.Text as T
import qualified Data.ByteString as B
import Data.Text.Encoding
import Text.Parsec.Error

instance (Monad m) => Stream T.Text m Char where
    uncons = return . T.uncons

type Parser = Parsec T.Text ()
type GenParser t st = Parsec T.Text st

-- | @parseFromUtf8File p filePath@ runs a strict bytestring parser
-- @p@ on the input read from @filePath@ using
--  ByteString.readFile . Returns either a  ParseError  ( Left ) or a
-- value of type @a@ ( Right ).
--
-- >  main    = do{ result <- parseFromFile numbers "digits.txt"
-- >              ; case result of
-- >                  Left err  -> print err
-- >                  Right xs  -> print (sum xs)
-- >              }
parseFromUtf8File :: Parser a -> String -> IO (Either ParseError a)
parseFromUtf8File p fname = do 
  raw <- B.readFile fname
  let input = decodeUtf8 raw
  return (runP p () fname input)

友情链接