Safe Haskell | None |
---|---|

Language | Haskell98 |

- type YP s fam m = P s (YieldT Bounds fam m)
- mkBounded :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m) => fam a -> Range -> a -> YP s fam m a
- unit :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m) => fam a -> YP s fam m a -> YP s fam m a
- chainr :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m, Show a) => fam a -> YP s fam m a -> YP s fam m (a -> a -> a) -> YP s fam m a
- chainl :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m, Show a) => fam a -> YP s fam m a -> YP s fam m (a -> a -> a) -> YP s fam m a

# Documentation

type YP s fam m = P s (YieldT Bounds fam m) Source #

A parser that yields its components, annotated with `Bounds`

.

mkBounded :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m) => fam a -> Range -> a -> YP s fam m a Source #

Given the left margin of a structure, asks the parser for the right margin and wraps the position information around the root of the tree.

unit :: (Fam fam, EqS fam, HFunctor fam (PF fam), Monad m) => fam a -> YP s fam m a -> YP s fam m a Source #

Wrap an unnotated tree with position information from the parse state.