Copyright | (c) Martin Kuehl, Uni Bremen 2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | mkhl@informatik.uni-bremen.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe-Inferred |
Parsing the Maude language with Haskell and Parsec.
- data NamedSpec
- type ParseResult = [NamedSpec]
- type RawResult = Maybe (Either FilePath NamedSpec)
- maudeParser :: CharParser () [RawResult]
- parseFromFile :: FilePath -> IO (Either ParseError [RawResult])
- parse :: FilePath -> IO (Either ParseError ParseResult)
Types
The Named Spec type
data NamedSpec
Parser Result types
type ParseResult = [NamedSpec]
Parsed Result for a module tree
Parsers for Maude
The Abstract Parser
maudeParser :: CharParser () [RawResult]
Parse Maude source code
The Raw Parser
parseFromFile :: FilePath -> IO (Either ParseError [RawResult])
Parse a single Maude source file
The Refined Parser
parse :: FilePath -> IO (Either ParseError ParseResult)
Parse a Maude source tree