Copyright | Peter Ljunglof 2002 |
---|---|
License | GPL |
Maintainer | otakar-smrz users.sf.net |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
Language | Haskell98 |
Chapters 3 and 4 of Pure Functional Parsing an advanced tutorial by Peter Ljunglöf
Documentation
class Parser m s | m -> s where Source
Parser (Standard s) s Source | |
Parser (Stream s) s Source | |
Ord s => Parser (Trie s) s Source | |
Ord s => Parser (AmbTrie s) s Source | |
Ord s => Parser (ExTrie s) s Source | |
Ord s => Parser (AmbExTrie s) s Source | |
Ord s => Parser (ParserTrie s) s Source | |
Ord s => Parser (Mapper s) s Source | |
(Ord s, Parser m s) => Parser (PairTrie m s) s Source | |
ExtEnv e => Parser (Extend e s) s Source |
Monoid' (Standard s) Source | |
Monoid' (Stream s) Source | |
Ord s => Monoid' (Trie s) Source | |
Ord s => Monoid' (AmbTrie s) Source | |
Ord s => Monoid' (ExTrie s) Source | |
Ord s => Monoid' (AmbExTrie s) Source | |
Ord s => Monoid' (ParserTrie s) Source | |
Ord s => Monoid' (Mapper s) Source | |
(Ord s, Monoid' m, Lookahead m s) => Monoid' (PairTrie m s) Source | |
Monoid' (Extend e s) Source |
class (Monad m, Functor m) => Sequence m where Source
Nothing
Sequence (Standard s) Source | |
Sequence (Stream s) Source | |
Ord s => Sequence (Trie s) Source | |
Ord s => Sequence (AmbTrie s) Source | |
Ord s => Sequence (ExTrie s) Source | |
Ord s => Sequence (AmbExTrie s) Source | |
Ord s => Sequence (Mapper s) Source | |
(Ord s, Monoid' m, Sequence m, Applicative m, Lookahead m s) => Sequence (PairTrie m s) Source | |
Sequence (Extend e s) Source |
class Eq s => Symbol m s | m -> s where Source
Eq s => Symbol (Standard s) s Source | |
Eq s => Symbol (Stream s) s Source | |
InputSymbol s => Symbol (Trie s) s Source | |
InputSymbol s => Symbol (AmbTrie s) s Source | |
InputSymbol s => Symbol (ExTrie s) s Source | |
InputSymbol s => Symbol (AmbExTrie s) s Source | |
InputSymbol s => Symbol (Mapper s) s Source | |
(InputSymbol s, Monoid' m, Symbol m s, Lookahead m s) => Symbol (PairTrie m s) s Source | |
Eq s => Symbol (Extend e s) s Source |
class Ord s => InputSymbol s where Source
class Eq s => SymbolCont m s | m -> s where Source
Eq s => SymbolCont (Standard s) s Source | |
Eq s => SymbolCont (Stream s) s Source | |
Eq s => SymbolCont (Extend e s) s Source |