Text.Peggy.Prim

Contents

• Parsing functions
• The parser type
• The (internal) result type
• The error type
• The cache type
• Memoising combinator
• Position functions
• Combinators
• Utiligy

Description

Synopsis

• parse :: MemoTable tbl => (forall s. Parser tbl str s a) -> SrcPos -> str -> Either ParseError a
• parseString :: MemoTable tbl => (forall s. Parser tbl str s a) -> String -> str -> Either ParseError a
• parseFile :: MemoTable tbl => (forall s. Parser tbl String s a) -> FilePath -> IO (Either ParseError a)
• newtype Parser tbl str s a = Parser {
  • unParser :: tbl s -> SrcPos -> Char -> str -> ST s (Result str a)
  }
• data Result str a
  • = Parsed SrcPos Char str a
  • | Failed ParseError
• data ParseError = ParseError SrcLoc String
• class MemoTable tbl where
  • newTable :: ST s (tbl s)
• memo :: (tbl s -> HashTable s Int (Result str a)) -> Parser tbl str s a -> Parser tbl str s a
• getPos :: Parser tbl str s SrcPos
• setPos :: SrcPos -> Parser tbl str s ()
• anyChar :: ListLike str Char => Parser tbl str s Char
• satisfy :: ListLike str Char => (Char -> Bool) -> Parser tbl str s Char
• char :: ListLike str Char => Char -> Parser tbl str s Char
• string :: ListLike str Char => String -> Parser tbl str s String
• expect :: ListLike str Char => Parser tbl str s a -> Parser tbl str s ()
• unexpect :: ListLike str Char => Parser tbl str s a -> Parser tbl str s ()
• space :: ListLike str Char => Parser tbl str s ()
• defaultDelimiter :: ListLike str Char => Parser tbl str s ()
• token :: ListLike str Char => Parser tbl str s () -> Parser tbl str s () -> Parser tbl str s a -> Parser tbl str s a

Parsing functions

The parser type

The (internal) result type

The error type

The cache type

Memoising combinator

Position functions

Combinators

Utiligy