Encode-0.9: Encoding character dataContentsIndex
PureFP.Parsers.Parser
Portabilityportable
Stabilityprovisional
Maintainerotakar.smrz mff.cuni.cz
Description

Chapters 3 and 4 of Pure Functional Parsing – an advanced tutorial by Peter Ljunglöf

http://www.ling.gu.se/~peb/pubs/p02-lic-thesis.pdf

http://www.ling.gu.se/~peb/software/functional-parsing/

Documentation
class Parser m s | m -> s where
Methods
parse :: m a -> [s] -> [([s], a)]
parseFull :: m a -> [s] -> [a]
show/hide Instances
Ord s => Parser (AmbExTrie s) s
Ord s => Parser (AmbTrie s) s
Ord s => Parser (ExTrie s) s
Ord s => Parser (Mapper s) s
Ord s => Parser (ParserTrie s) s
Parser (Standard s) s
Parser (Stream s) s
Ord s => Parser (Trie s) s
ExtEnv e => Parser (Extend e s) s
ExtEnv e => Parser (Extend e s) s
(Ord s, Parser m s) => Parser (PairTrie m s) s
class Monoid m where
Methods
zero :: m a
(<+>) :: m a -> m a -> m a
anyof :: [m a] -> m a
show/hide Instances
Ord s => Monoid (AmbExTrie s)
Ord s => Monoid (AmbTrie s)
Ord s => Monoid (ExTrie s)
Ord s => Monoid (Mapper s)
Ord s => Monoid (ParserTrie s)
Monoid (Standard s)
Monoid (Stream s)
Ord s => Monoid (Trie s)
Monoid (Extend e s)
Monoid (Extend e s)
(Ord s, Monoid m, Lookahead m s) => Monoid (PairTrie m s)
class (Monad m, Functor m) => Sequence m where
Methods
(<*>) :: m (a -> b) -> m a -> m b
(*>) :: m a -> m b -> m b
show/hide Instances
Ord s => Sequence (AmbExTrie s)
Ord s => Sequence (AmbTrie s)
Ord s => Sequence (ExTrie s)
Ord s => Sequence (Mapper s)
Sequence (Standard s)
Sequence (Stream s)
Ord s => Sequence (Trie s)
Sequence (Extend e s)
Sequence (Extend e s)
(Ord s, Monoid m, Sequence m, Lookahead m s) => Sequence (PairTrie m s)
class Eq s => Symbol m s | m -> s where
Methods
sym :: s -> m s
sat :: (s -> Bool) -> m s
skip :: m s
show/hide Instances
InputSymbol s => Symbol (AmbExTrie s) s
InputSymbol s => Symbol (AmbTrie s) s
InputSymbol s => Symbol (ExTrie s) s
InputSymbol s => Symbol (Mapper s) s
Eq s => Symbol (Standard s) s
Eq s => Symbol (Stream s) s
InputSymbol s => Symbol (Trie s) s
Eq s => Symbol (Extend e s) s
Eq s => Symbol (Extend e s) s
(InputSymbol s, Monoid m, Symbol m s, Lookahead m s) => Symbol (PairTrie m s) s
class Ord s => InputSymbol s where
Methods
minSym :: s
maxSym :: s
symbols :: [s]
show/hide Instances
class Eq s => SymbolCont m s | m -> s where
Methods
satCont :: (s -> Bool) -> (s -> m a) -> m a
show/hide Instances
Eq s => SymbolCont (Standard s) s
Eq s => SymbolCont (Stream s) s
Eq s => SymbolCont (Extend e s) s
class Lookahead m s | m -> s where
Methods
lookahead :: ([s] -> m a) -> m a
show/hide Instances
success :: Monad m => m ()
many0 :: (Monoid m, Sequence m) => m a -> m ()
syms0 :: (Sequence m, Symbol m s) => [s] -> m ()
(<:>) :: Sequence m => m a -> m [a] -> m [a]
many :: (Monoid m, Sequence m) => m a -> m [a]
syms :: (Sequence m, Symbol m s) => [s] -> m [s]
Produced by Haddock version 0.8