Sdf2HaskellContentsIndex
SGLR
Portability portable
Stability experimental
Maintainer Ralf Laemmel, Joost Visser
Contents
Interaction with the system.
Functions to compensate for bugs in implodePT
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
sglr :: ATermConvertible a => FilePath -> FilePath -> String -> IO a
errLn :: String -> IO ()
exitOK :: IO ExitCode -> IO ()
implodeLit :: ATerm -> ATerm
implodeOpt :: ATerm -> ATerm
implodeIter :: ATerm -> ATerm
implodeBracket :: ATerm -> ATerm
rmSTART :: ATerm -> ATerm
Interaction with the system.
sglr
:: ATermConvertible a
=> FilePathtable
-> FilePathterm
-> Stringtop 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