Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl, Uni Bremen 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Maude.Language

Contents

Description

Parsing the Maude language with Haskell and Parsec.

Synopsis

Types

The Named Spec type

data NamedSpec

Constructors

ModName String

A Module or Theory

ViewName String

A View

Parser Result types

type ParseResult = [NamedSpec]

Parsed Result for a module tree

type RawResult = Maybe (Either FilePath NamedSpec)

Parsed Result for a single declaration

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