Safe Haskell | Safe-Infered |
---|
- mkBounded :: Monad m => Range -> AnnFix1 Bounds f -> P s m (AnnFix Bounds f)
- unit :: Monad m => P s m (AnnFix1 Bounds f) -> P s m (AnnFix Bounds f)
- chainr :: Monad m => P s m (AnnFix Bounds f) -> P s m (AnnFix Bounds f -> AnnFix Bounds f -> AnnFix1 Bounds f) -> P s m (AnnFix Bounds f)
- chainl :: Monad m => P s m (AnnFix Bounds f) -> P s m (AnnFix Bounds f -> AnnFix Bounds f -> AnnFix1 Bounds f) -> P s m (AnnFix Bounds f)
Parser combinators for bounds parsers
mkBounded :: Monad m => Range -> AnnFix1 Bounds f -> P s m (AnnFix Bounds f)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 :: Monad m => P s m (AnnFix1 Bounds f) -> P s m (AnnFix Bounds f)Source
Wrap an unnotated tree with position information from the parse state.