| ||||||||||||||||||||
| ||||||||||||||||||||
Description | ||||||||||||||||||||
Chapters 3 and 4 of Pure Functional Parsing an advanced tutorial by Peter Ljunglöf | ||||||||||||||||||||
Documentation | ||||||||||||||||||||
class Parser m s | m -> s where | ||||||||||||||||||||
| ||||||||||||||||||||
class Monoid m where | ||||||||||||||||||||
| ||||||||||||||||||||
class (Monad m, Functor m) => Sequence m where | ||||||||||||||||||||
| ||||||||||||||||||||
class Eq s => Symbol m s | m -> s where | ||||||||||||||||||||
| ||||||||||||||||||||
class Ord s => InputSymbol s where | ||||||||||||||||||||
| ||||||||||||||||||||
class Eq s => SymbolCont m s | m -> s where | ||||||||||||||||||||
| ||||||||||||||||||||
class Lookahead m s | m -> s where | ||||||||||||||||||||
| ||||||||||||||||||||
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 |