Text.Peggy.Prim

Documentation

newtype Parser tbl str s a

Constructors

Parser

Fields

unParser :: tbl s -> SrcPos -> str -> ST s (Result str a)

Instances

MonadError ParseError (Parser tbl str s)

Monad (Parser tbl str s)

Functor (Parser tbl str s)

Applicative (Parser tbl str s)

Alternative (Parser tbl str s)

data Result str a

Constructors

Parsed SrcPos str a

Failed ParseError

data ParseError

Constructors

ParseError SrcLoc String

Instances

Show ParseError

Error ParseError

MonadError ParseError (Parser tbl str s)

class MemoTable tbl where

Methods

newTable :: ST s (tbl s)

Instances

MemoTable (MemoTable_0 str_3)

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)

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 ()