Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder, DFKI GmbH 2009
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

Maude.Parse

Description

extract Maude text from structured specs and stops at an unbalanced curly brace

Documentation

mStuff :: CharParser st String

balanced :: String -> CharParser st String

blockComment :: CharParser st String

parbalanced :: CharParser st String

lineComment :: CharParser st String