module PureFP.Parsers.Parser

data Mapper s a Source

type Quit s a = ([s], a) Source

parseLongest :: (Ord s, Eq a, Show a) => Mapper s (Quit s a) -> [s] -> [a] Source

parseLongestWith :: (Ord s, Eq b, Show b) => ([[[a]]] -> [b]) -> Mapper s (Quit s a) -> [s] -> [b] Source

parseLongestCheck :: (Ord s, Eq a, Show a) => Mapper s (Quit s a) -> [s] -> [a] Source

parseLongestCheckWith :: (Ord s, Eq b, Show b) => ([[[a]]] -> [b]) -> Mapper s (Quit s a) -> [s] -> [b] Source

parseLongestWide :: Ord s => Mapper s (Quit s a) -> [s] -> [a] Source

parseLongestWideWith :: Ord s => ([[[a]]] -> [b]) -> Mapper s (Quit s a) -> [s] -> [b] Source

parseWide :: Ord s => Mapper s (Quit s a) -> [ParseWide s a] -> [s] -> [ParseWide s a] Source

unParseWide :: Ord s => Mapper s (Quit s a) -> [ParseWide s a] -> [[[a]]] Source

initPW :: Ord s => Mapper s (Quit s a) -> ([a] -> [a]) -> ParseWide s a Source

lastPW :: Ord s => [ParseWide s a] -> ParseWide s a -> [ParseWide s a] Source

parseLongestDeep :: Ord s => Mapper s (Quit s a) -> [s] -> [a] Source

parseLongestDeepWith :: Ord s => ([[[a]]] -> [b]) -> Mapper s (Quit s a) -> [s] -> [b] Source

parseDeep :: Ord s => Mapper s (Quit s a) -> [ParseDeep s a] -> [s] -> [ParseDeep s a] Source

unParseDeep :: Ord s => Mapper s (Quit s a) -> [ParseDeep s a] -> [[[a]]] Source

initPD :: Ord s => Mapper s (Quit s a) -> ([a] -> [a]) -> ParseDeep s a Source

lastPD :: Ord s => [ParseDeep s a] -> ParseDeep s a -> [ParseDeep s a] Source

(|:|) :: InputSymbol s => (a -> Mapper s (Quit s a)) -> a -> Mapper s (Quit s a) infix 3 Source

(|-|) :: InputSymbol s => [s] -> [s] -> a -> Mapper s (Quit s a) infix 4 Source

(|.|) :: InputSymbol s => [s] -> a -> Mapper s (Quit s a) infix 3 Source

(|+|) :: InputSymbol s => Mapper s a -> Mapper s a -> Mapper s a infixl 2 Source

others :: Ord s => Mapper s a -> (s -> Maybe (Mapper s a)) -> Mapper s a infixl 2 Source

some :: (Monoid' m, Sequence m) => m a -> m [a] Source

anySymbol :: (Monoid' m, Symbol m a) => [a] -> m a Source

(<->) :: (Monoid' m, Sequence m) => m a -> b -> m ([c], b) infixl 5 Source

(<.>) :: (Monoid' m, Sequence m) => m a -> m b -> m b infixl 5 Source