parsec-3.1.0 с пользовательским типом данных токена

Question

parsec-3.1.0 (http://hackage.haskell.org/package/parsec-3.1.0) работает с любым тиковым типом. Однако есть комбинаторы, такие как Text.Parsec.Char.satisfy, которые определены только для типа данных Char. Кажется, что нет более общего аналога.

Должен ли я определять свои собственные версии или я что-то пропустил?

Возможно, существуют различные библиотеки синтаксического анализа в Haskell, что позволяет:

• пользовательских маркеров типа
• пользовательский синтаксический анализатор состояния (нужно разобрать с учетом состояния формат - Wavefront OBJ)

Answer 1

Обобщенные версии oneOf, noneOf и anyChar могут быть построены из обобщенного satisfy, достаточно легко:

oneOfT :: (Eq t, Show t, Stream s m t) => [t] -> ParsecT s u m t 
oneOfT ts = satisfyT (`elem` ts) 

noneOfT :: (Eq t, Show t, Stream s m t) => [t] -> ParsecT s u m t 
noneOfT ts = satisfyT (not . (`elem` ts)) 

anyT :: (Show t, Stream s m t) => ParsecT s u m t 
anyT = satisfyT (const True) 

satisfyT :: (Show t, Stream s m t) => (t -> Bool) -> ParsecT s u m t 
satisfyT p = tokenPrim showTok nextPos testTok 
    where 
     showTok t  = show t 
     testTok t  = if p t then Just t else Nothing 
     nextPos p t s = -- however you update position for your token stream 

Может показаться, что их обобщение отсутствует, но вы заметите, что в этих обобщениях сделаны некоторые предположения о типе t, которые могут быть неверными для чей-то токена. Предполагается, что это пример Show10 и Eq, но я могу представить типы токенов, для которых они отображаются другим способом, чем show, и что членство в классе токенов может быть достигнуто с помощью некоторого метода, отличного от == и elem.

Наконец, как только ваш токен уже не является Char, как вы выбираете представление позиции и, таким образом, обновляете его, сильно зависит от вашего представления токенов и потоков.

Следовательно, я вижу, почему более обобщенная форма не существует.