Encode.Mapper

The Haskell version of Encode::Mapper originally written in Perl: http://search.cpan.org/dist/Encode-Mapper/

Encode.Arabic.ArabTeX Encode.Arabic.ArabTeX.ZDMG

Modules

module PureFP.Parsers.Parser

Types

data Mapper s a

Instances

Ord s => Monad (Mapper s)

Ord s => Functor (Mapper s)

Ord s => Sequence (Mapper s)

Ord s => Monoid (Mapper s)

InputSymbol s => Symbol (Mapper s) s

Ord s => Parser (Mapper s) s

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

Functions

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Operators

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

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

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

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

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

Extensions

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

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

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

(<.>) :: (Monoid m, Sequence m) => m a -> m b -> m b