۲۳ - ۵اکوسیستم پارسینگ هسکل

تایپکلاسِ ‏‎Alternative‎‏ یه سوپرکلاس برای تایپکلاسِ ‏‎Parsing‎‏ ِه. یه ذره جلوتر از ‏‎Alternative‎‏ بیشتر صحبت می‌کنیم. تایپکلاسِ ‏‎Parsing‎‏ قابلیت‌هایی رو تأمین می‌کنه که برای توصیفِ پارسرها لازم‌اند (مستقل از ورودی‌شون). حداقل توابعِ لازم برای تعریف یه نمونه ِ کامل از این تایپکلاس ‏‎try‎‏، ‏‎(<?>)‎‏، و ‏‎notFollowedBy‎‏ هستن. با ‏‎try‎‏ شروع می‌کنیم:

-- Text.Parser.Combinators
class Alternative m => Parsing m where
  try :: m a -> m a

این تابع یه پارسر می‌گیره که ممکنه ورودی مصرف کنه، و در صورتِ شکست، برمی‌گرده به جایی که شروع کرده بوده، در صورتِ مصرف نکردنِ ورودی هم شکست می‌خوره.

با تابعِ ‏‎notFollowedBy‎‏ (م. به معنای "دنبال نشده توسطِ") از این تایپکلاس میشه کلیدواژه‌ها رو پیدا کرد؛ یه رشته از حروف که می‌خوایم رو بهش میدیم و تعیین می‌کنیم که چه چیزی به دنبال اون حروف نباشه:

notFollowedBy :: Show a => m a -> m ()
-- م. مثال برای پارسری که
-- .رو پیدا می‌کنه let کلیدواژه‌ی
-- > noAlpha = notFollowedBy alphaNum
-- > keywordLet =
--     try $ string "let" <* noAlpha

تایپکلاسِ ‏‎Parsing‎‏ شاملِ ‏‎unexpected‎‏ (م. به معنای "غیرمنتظره") هم میشه. از این تابع برای صدور خطا روی یه توکِن ِ غیرمنتظره به کار میره (اوایل فصل هم دیدیم). تابعِ ‏‎eof‎‏ فقط در آخرِ ورودی موفق میشه:

eof :: m ()
-- > eof =
--         notFollowedBy anyChar
--     <?> "end of input"

در بخش‌های بعدی این تابع رو بیشتر می‌بینیم.

این کتابخونه تایپکلاسِ ‏‎CharParsing‎‏ هم با سوپرکلاس ِ ‏‎Parsing‎‏ تعریف می‌کنه که برای پارس ِ حروف مجرد به کار میره.

-- Text.Parser.Char
class Parsing m => CharParsing m where

از این کلاس قبلاً ‏‎char‎‏ رو دیدیم، ولی تابع‌های زیر هم شامل میشه:

-- هر کاراکتری غیر از اونی
-- که بهش داده شده رو پارس
-- می‌کنه. کاراکتر پارس‌شده
-- .رو برمی‌گردونه
notChar :: Char -> m Char

-- پارسر برای هر کاراکتری موفق
-- میشه. کاراکتر پارس‌شده
-- .رو برمی‌گردونه
anyChar :: m Char

-- ،تسلسلی از کاراکترها رو پارس می‌کنه
-- .پارس‌شده رو برمی‌گردونه string
string :: String -> m String

-- تسلسلی از کاراکترها با تایپ
-- ای Text رو پارس می‌کنه، تیکه Text
-- .که پارس شده رو برمی‌گردونه
text :: Text -> m Text