|
SGLR | Portability | portable | Stability | experimental | Maintainer | Ralf Laemmel, Joost Visser |
|
|
|
|
|
Description |
This module is part of Sdf2Haskell, a tool for generating a set of
Haskell data types from an SDF grammar. This module provides functionality
for calling the external parser SGLR from within Haskell and marshalling
the resulting abstract syntax tree to a strongly-typed Haskell term. |
|
Synopsis |
|
|
|
|
Interaction with the system. |
|
sglr |
:: ATermConvertible a | | => FilePath | table | -> FilePath | term | -> String | top sort | -> IO a | | Call the external sglr parser. |
|
|
errLn :: String -> IO () |
Helper function for reporting errors and progress to stderr |
|
exitOK :: IO ExitCode -> IO () |
Ensure that the given computation exits with an error code
that indicates successful execution. |
|
Functions to compensate for bugs in implodePT |
|
implodeLit :: ATerm -> ATerm |
Implode literals. |
|
implodeOpt :: ATerm -> ATerm |
Implode optionals. |
|
implodeIter :: ATerm -> ATerm |
Implode iterations. |
|
implodeBracket :: ATerm -> ATerm |
Implode brackets. |
|
rmSTART :: ATerm -> ATerm |
Remove start symbol. |
|
Produced by Haddock version 0.6 |