| Safe Haskell | Safe-Inferred |
|---|
ADP.Multi.Combinators
Description
Parser combinators for use in grammars
- (<<<) :: Parseable p a b => (b -> c) -> p -> ([ParserInfo], [SubwordTree] -> Parser a c)
- (~~~) :: Parseable p a b => ([ParserInfo], [SubwordTree] -> Parser a (b -> c)) -> p -> ([ParserInfo], [SubwordTree] -> Parser a c)
- class Rewritable r a b where
- (>>>) :: ([ParserInfo], [SubwordTree] -> Parser a b) -> r -> RichParser a b
- rewrite :: SubwordConstructionAlgorithm a -> ([ParserInfo], [SubwordTree] -> Parser b c) -> a -> Parser b c
- (|||) :: RichParser a b -> RichParser a b -> RichParser a b
- (...) :: RichParser a b -> ([b] -> [b]) -> RichParser a b
- type Filter a = Array Int a -> Subword -> Bool
- with :: RichParser a b -> Filter a -> RichParser a b
- yieldSize1 :: (Int, Maybe Int) -> RichParser a b -> RichParser a b
- yieldSize2 :: (Int, Maybe Int) -> (Int, Maybe Int) -> RichParser a b -> RichParser a b
Documentation
(<<<) :: Parseable p a b => (b -> c) -> p -> ([ParserInfo], [SubwordTree] -> Parser a c)Source
(~~~) :: Parseable p a b => ([ParserInfo], [SubwordTree] -> Parser a (b -> c)) -> p -> ([ParserInfo], [SubwordTree] -> Parser a c)Source
class Rewritable r a b whereSource
Methods
(>>>) :: ([ParserInfo], [SubwordTree] -> Parser a b) -> r -> RichParser a bSource
Instances
| Rewritable Dim2 a b | |
| Rewritable Dim1 a b |
Arguments
| :: SubwordConstructionAlgorithm a | |
| -> ([ParserInfo], [SubwordTree] -> Parser b c) | |
| -> a | rewriting function |
| -> Parser b c |
(|||) :: RichParser a b -> RichParser a b -> RichParser a bSource
(...) :: RichParser a b -> ([b] -> [b]) -> RichParser a bSource
type Filter a = Array Int a -> Subword -> BoolSource
Filters are not part of ADP-MCFL, but are sometimes used in RNA folding to skip parses where subwords are too long, e.g. restricting loop size to 30. It is included here for convenience.
with :: RichParser a b -> Filter a -> RichParser a bSource
yieldSize1 :: (Int, Maybe Int) -> RichParser a b -> RichParser a bSource
Explicitly specify yield size of a 1-dim parser.
yieldSize2 :: (Int, Maybe Int) -> (Int, Maybe Int) -> RichParser a b -> RichParser a bSource
Explicitly specify yield size of a 2-dim parser.