|
| Encode.Mapper | | Portability | portable | | Stability | provisional | | Maintainer | otakar.smrz mff.cuni.cz |
|
|
|
|
|
| Description |
The Haskell version of Encode::Mapper originally written in Perl:
http://search.cpan.org/dist/Encode-Mapper/
Encode.Arabic.ArabTeX
Encode.Arabic.ArabTeX.ZDMG
|
|
| Synopsis |
|
| module PureFP.Parsers.Parser | | | data Mapper s a | | | type Quit s a = ([s], a) | | | 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] | | | (|:|) :: 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 | | | 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 |
|
|
|
| Modules
|
|
| module PureFP.Parsers.Parser |
|
| Types
|
|
| data Mapper s a |
 Instances | |
|
|
| 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 |
|
| Produced by Haddock version 0.8 |
