Copyright | Otakar Smrz 2005-2016 |
---|---|
License | GPL |
Maintainer | otakar-smrz users.sf.net |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
The Haskell version of Encode::Mapper originally written in Perl: http://search.cpan.org/dist/Encode-Mapper/
- 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
Functions
parseLongestWith :: (Ord s, Eq b, Show b) => ([[[a]]] -> [b]) -> Mapper s (Quit s a) -> [s] -> [b] 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
unParseWide :: Ord s => Mapper s (Quit s a) -> [ParseWide s a] -> [[[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
unParseDeep :: Ord s => Mapper s (Quit s a) -> [ParseDeep s a] -> [[[a]]] Source
Operators
(|-|) :: 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