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

Maude.Language

Description

Parsing the Maude language with Haskell and Parsec.

Synopsis

Types

The Named Spec type

data NamedSpec Source #

Constructors

ModName String

A Module or Theory

ViewName String

A View

Instances

Instances details
Eq NamedSpec Source # 
Instance details

Defined in Maude.Language

Methods

(==) :: NamedSpec -> NamedSpec -> Bool

(/=) :: NamedSpec -> NamedSpec -> Bool

Read NamedSpec Source # 
Instance details

Defined in Maude.Language

Methods

readsPrec :: Int -> ReadS NamedSpec

readList :: ReadS [NamedSpec]

readPrec :: ReadPrec NamedSpec

readListPrec :: ReadPrec [NamedSpec]

Show NamedSpec Source # 
Instance details

Defined in Maude.Language

Methods

showsPrec :: Int -> NamedSpec -> ShowS

show :: NamedSpec -> String

showList :: [NamedSpec] -> ShowS

Parser Result types

type ParseResult = [NamedSpec] Source #

Parsed Result for a module tree

type RawResult = Maybe (Either FilePath NamedSpec) Source #

Parsed Result for a single declaration

Parsers for Maude

The Abstract Parser

maudeParser :: CharParser () [RawResult] Source #

Parse Maude source code

The Raw Parser

parseFromFile :: FilePath -> IO (Either ParseError [RawResult]) Source #

Parse a single Maude source file

The Refined Parser

parse :: FilePath -> IO (Either ParseError ParseResult) Source #

Parse a Maude source tree