Safe Haskell	None
Language	Haskell2010

Text.Grampa.ContextFree.Memoizing

Synopsis

Documentation

data FailureInfo Source #

Constructors

FailureInfo !Int Word64 [String]

Instances

Eq FailureInfo Source #
Methods (==) :: FailureInfo -> FailureInfo -> Bool # (/=) :: FailureInfo -> FailureInfo -> Bool #
Show FailureInfo Source #
Methods showsPrec :: Int -> FailureInfo -> ShowS # show :: FailureInfo -> String # showList :: [FailureInfo] -> ShowS #
Monoid FailureInfo Source #
Methods mempty :: FailureInfo # mappend :: FailureInfo -> FailureInfo -> FailureInfo # mconcat :: [FailureInfo] -> FailureInfo #

data ResultList g s r Source #

Constructors

ResultList !(BinTree (ResultInfo g s r)) !FailureInfo

Instances

Functor (ResultList g s) Source #
Methods fmap :: (a -> b) -> ResultList g s a -> ResultList g s b # (<$) :: a -> ResultList g s b -> ResultList g s a #
Show1 (ResultList g s) Source #
Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> ResultList g s a -> ShowS # liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [ResultList g s a] -> ShowS #
Show r => Show (ResultList g s r) Source #
Methods showsPrec :: Int -> ResultList g s r -> ShowS # show :: ResultList g s r -> String # showList :: [ResultList g s r] -> ShowS #
Monoid (ResultList g s r) Source #
Methods mempty :: ResultList g s r # mappend :: ResultList g s r -> ResultList g s r -> ResultList g s r # mconcat :: [ResultList g s r] -> ResultList g s r #

newtype Parser g s r Source #

Parser for a context-free grammar with packrat-like sharing of parse results. It does not support left-recursive grammars.

Constructors

Parser
Fields applyParser :: [(s, g (ResultList g s))] -> ResultList g s r

Instances

GrammarParsing Parser Source #
Associated Types type GrammarFunctor (Parser :: ((* -> ) -> ) -> * -> * -> ) :: (( -> ) -> ) -> * -> * -> * Source # Methods nonTerminal :: GrammarConstraint Parser g => (g (GrammarFunctor Parser g s) -> GrammarFunctor Parser g s a) -> Parser g s a Source # selfReferring :: (GrammarConstraint Parser g, Distributive * g) => g (Parser g s) Source # fixGrammar :: (GrammarConstraint Parser g, Distributive * g) => (g (Parser g s) -> g (Parser g s)) -> g (Parser g s) Source # recursive :: Parser g s a -> Parser g s a Source #
MultiParsing Parser Source #	Memoizing parser guarantees O(n²) performance for grammars with unambiguous productions, but provides no left recursion support. `parseComplete` :: (Rank2.`Functor` g, `FactorialMonoid` s) => g (Memoizing.`Parser` g s) -> s -> g (`Compose` `ParseResults` [])
Associated Types type ResultFunctor (Parser :: ((* -> ) -> ) -> * -> * -> ) :: -> * Source # type GrammarConstraint (Parser :: ((* -> ) -> ) -> * -> * -> ) (g :: ( -> ) -> ) :: Constraint Source # Methods parseComplete :: (GrammarConstraint Parser g, FactorialMonoid s) => g (Parser g s) -> s -> g (ResultFunctor Parser) Source # parsePrefix :: (GrammarConstraint Parser g, FactorialMonoid s) => g (Parser g s) -> s -> g (Compose * * (ResultFunctor Parser) ((,) s)) Source #
MonoidParsing (Parser g) Source #
Methods endOfInput :: FactorialMonoid s => Parser g s () Source # getInput :: FactorialMonoid s => Parser g s s Source # anyToken :: FactorialMonoid s => Parser g s s Source # token :: (Eq s, FactorialMonoid s) => s -> Parser g s s Source # satisfy :: FactorialMonoid s => (s -> Bool) -> Parser g s s Source # satisfyChar :: TextualMonoid s => (Char -> Bool) -> Parser g s Char Source # satisfyCharInput :: TextualMonoid s => (Char -> Bool) -> Parser g s s Source # notSatisfy :: FactorialMonoid s => (s -> Bool) -> Parser g s () Source # notSatisfyChar :: TextualMonoid s => (Char -> Bool) -> Parser g s () Source # scan :: FactorialMonoid t => s -> (s -> t -> Maybe s) -> Parser g t t Source # scanChars :: TextualMonoid t => s -> (s -> Char -> Maybe s) -> Parser g t t Source # string :: (FactorialMonoid s, LeftReductiveMonoid s, Show s) => s -> Parser g s s Source # takeWhile :: FactorialMonoid s => (s -> Bool) -> Parser g s s Source # takeWhile1 :: FactorialMonoid s => (s -> Bool) -> Parser g s s Source # takeCharsWhile :: TextualMonoid s => (Char -> Bool) -> Parser g s s Source # takeCharsWhile1 :: TextualMonoid s => (Char -> Bool) -> Parser g s s Source # whiteSpace :: TextualMonoid s => Parser g s () Source # concatMany :: Monoid a => Parser g s a -> Parser g s a Source #
GrammarParsing (Fixed Parser) Source #
Associated Types type GrammarFunctor (Fixed Parser :: ((* -> ) -> ) -> * -> * -> ) :: (( -> ) -> ) -> * -> * -> * Source # Methods nonTerminal :: GrammarConstraint (Fixed Parser) g => (g (GrammarFunctor (Fixed Parser) g s) -> GrammarFunctor (Fixed Parser) g s a) -> Fixed Parser g s a Source # selfReferring :: (GrammarConstraint (Fixed Parser) g, Distributive * g) => g (Fixed Parser g s) Source # fixGrammar :: (GrammarConstraint (Fixed Parser) g, Distributive * g) => (g (Fixed Parser g s) -> g (Fixed Parser g s)) -> g (Fixed Parser g s) Source # recursive :: Fixed Parser g s a -> Fixed Parser g s a Source #
MultiParsing (Fixed Parser) Source #	Parser of general context-free grammars, including left recursion. `parseComplete` :: (Rank2.`Apply` g, Rank2.`Traversable` g, `FactorialMonoid` s) => g (LeftRecursive.'Fixed g s) -> s -> g (`Compose` `ParseResults` [])
Associated Types type ResultFunctor (Fixed Parser :: ((* -> ) -> ) -> * -> * -> ) :: -> * Source # type GrammarConstraint (Fixed Parser :: ((* -> ) -> ) -> * -> * -> ) (g :: ( -> ) -> ) :: Constraint Source # Methods parseComplete :: (GrammarConstraint (Fixed Parser) g, FactorialMonoid s) => g (Fixed Parser g s) -> s -> g (ResultFunctor (Fixed Parser)) Source # parsePrefix :: (GrammarConstraint (Fixed Parser) g, FactorialMonoid s) => g (Fixed Parser g s) -> s -> g (Compose * * (ResultFunctor (Fixed Parser)) ((,) s)) Source #
Monad (Parser g i) Source #
Methods (>>=) :: Parser g i a -> (a -> Parser g i b) -> Parser g i b # (>>) :: Parser g i a -> Parser g i b -> Parser g i b # return :: a -> Parser g i a # fail :: String -> Parser g i a #
Functor (Parser g i) Source #
Methods fmap :: (a -> b) -> Parser g i a -> Parser g i b # (<$) :: a -> Parser g i b -> Parser g i a #
Applicative (Parser g i) Source #
Methods pure :: a -> Parser g i a # (<>) :: Parser g i (a -> b) -> Parser g i a -> Parser g i b # (>) :: Parser g i a -> Parser g i b -> Parser g i b # (<*) :: Parser g i a -> Parser g i b -> Parser g i a #
Alternative (Parser g i) Source #
Methods empty :: Parser g i a # (<\|>) :: Parser g i a -> Parser g i a -> Parser g i a # some :: Parser g i a -> Parser g i [a] # many :: Parser g i a -> Parser g i [a] #
MonadPlus (Parser g s) Source #
Methods mzero :: Parser g s a # mplus :: Parser g s a -> Parser g s a -> Parser g s a #
(Show s, TextualMonoid s) => TokenParsing (Parser g s) Source #
Methods someSpace :: Parser g s () # nesting :: Parser g s a -> Parser g s a # semi :: Parser g s Char # highlight :: Highlight -> Parser g s a -> Parser g s a # token :: Parser g s a -> Parser g s a #
(Show s, TextualMonoid s) => CharParsing (Parser g s) Source #
Methods satisfy :: (Char -> Bool) -> Parser g s Char # char :: Char -> Parser g s Char # notChar :: Char -> Parser g s Char # anyChar :: Parser g s Char # string :: String -> Parser g s String # text :: Text -> Parser g s Text #
MonoidNull s => LookAheadParsing (Parser g s) Source #
Methods lookAhead :: Parser g s a -> Parser g s a #
MonoidNull s => Parsing (Parser g s) Source #
Methods try :: Parser g s a -> Parser g s a # (<?>) :: Parser g s a -> String -> Parser g s a # skipMany :: Parser g s a -> Parser g s () # skipSome :: Parser g s a -> Parser g s () # unexpected :: String -> Parser g s a # eof :: Parser g s () # notFollowedBy :: Show a => Parser g s a -> Parser g s () #
MonoidParsing (Fixed Parser g) Source #
Methods endOfInput :: FactorialMonoid s => Fixed Parser g s () Source # getInput :: FactorialMonoid s => Fixed Parser g s s Source # anyToken :: FactorialMonoid s => Fixed Parser g s s Source # token :: (Eq s, FactorialMonoid s) => s -> Fixed Parser g s s Source # satisfy :: FactorialMonoid s => (s -> Bool) -> Fixed Parser g s s Source # satisfyChar :: TextualMonoid s => (Char -> Bool) -> Fixed Parser g s Char Source # satisfyCharInput :: TextualMonoid s => (Char -> Bool) -> Fixed Parser g s s Source # notSatisfy :: FactorialMonoid s => (s -> Bool) -> Fixed Parser g s () Source # notSatisfyChar :: TextualMonoid s => (Char -> Bool) -> Fixed Parser g s () Source # scan :: FactorialMonoid t => s -> (s -> t -> Maybe s) -> Fixed Parser g t t Source # scanChars :: TextualMonoid t => s -> (s -> Char -> Maybe s) -> Fixed Parser g t t Source # string :: (FactorialMonoid s, LeftReductiveMonoid s, Show s) => s -> Fixed Parser g s s Source # takeWhile :: FactorialMonoid s => (s -> Bool) -> Fixed Parser g s s Source # takeWhile1 :: FactorialMonoid s => (s -> Bool) -> Fixed Parser g s s Source # takeCharsWhile :: TextualMonoid s => (Char -> Bool) -> Fixed Parser g s s Source # takeCharsWhile1 :: TextualMonoid s => (Char -> Bool) -> Fixed Parser g s s Source # whiteSpace :: TextualMonoid s => Fixed Parser g s () Source # concatMany :: Monoid a => Fixed Parser g s a -> Fixed Parser g s a Source #
Monoid x => Monoid (Parser g s x) Source #
Methods mempty :: Parser g s x # mappend :: Parser g s x -> Parser g s x -> Parser g s x # mconcat :: [Parser g s x] -> Parser g s x #
type GrammarFunctor Parser Source #
type GrammarFunctor Parser = ResultList
type ResultFunctor Parser Source #
type ResultFunctor Parser = Compose * * ParseResults []
type GrammarConstraint Parser g Source #
type GrammarConstraint Parser g = Functor * g
type GrammarFunctor (Fixed Parser) Source #
type GrammarFunctor (Fixed Parser)
type ResultFunctor (Fixed Parser) Source #
type ResultFunctor (Fixed Parser) = Compose * * ParseResults []
type GrammarConstraint (Fixed Parser) g Source #
type GrammarConstraint (Fixed Parser) g = (Apply * g, Distributive * g, Traversable * g)

data BinTree a Source #

Constructors

Fork !(BinTree a) !(BinTree a)
Leaf !a
EmptyTree

Instances

Functor BinTree Source #
Methods fmap :: (a -> b) -> BinTree a -> BinTree b # (<$) :: a -> BinTree b -> BinTree a #
Foldable BinTree Source #
Methods fold :: Monoid m => BinTree m -> m # foldMap :: Monoid m => (a -> m) -> BinTree a -> m # foldr :: (a -> b -> b) -> b -> BinTree a -> b # foldr' :: (a -> b -> b) -> b -> BinTree a -> b # foldl :: (b -> a -> b) -> b -> BinTree a -> b # foldl' :: (b -> a -> b) -> b -> BinTree a -> b # foldr1 :: (a -> a -> a) -> BinTree a -> a # foldl1 :: (a -> a -> a) -> BinTree a -> a # toList :: BinTree a -> [a] # null :: BinTree a -> Bool # length :: BinTree a -> Int # elem :: Eq a => a -> BinTree a -> Bool # maximum :: Ord a => BinTree a -> a # minimum :: Ord a => BinTree a -> a # sum :: Num a => BinTree a -> a # product :: Num a => BinTree a -> a #
Show a => Show (BinTree a) Source #
Methods showsPrec :: Int -> BinTree a -> ShowS # show :: BinTree a -> String # showList :: [BinTree a] -> ShowS #
Monoid (BinTree a) Source #
Methods mempty :: BinTree a # mappend :: BinTree a -> BinTree a -> BinTree a # mconcat :: [BinTree a] -> BinTree a #

(<<|>) :: Parser g s a -> Parser g s a -> Parser g s a infixl 3 Source #

fromResultList :: FactorialMonoid s => s -> ResultList g s r -> ParseResults [(s, r)] Source #

reparseTails :: Functor g => g (Parser g s) -> [(s, g (ResultList g s))] -> [(s, g (ResultList g s))] Source #

longest :: Parser g s a -> Parser g [(s, g (ResultList g s))] a Source #

Turns a context-free parser into a backtracking PEG parser that consumes the longest possible prefix of the list of input tails, opposite of peg

peg :: Parser g [(s, g (ResultList g s))] a -> Parser g s a Source #

Turns a backtracking PEG parser of the list of input tails into a context-free parser, opposite of longest

terminalPEG :: Monoid s => Parser g s a -> Parser g s a Source #

Turns a backtracking PEG parser into a context-free parser