Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski, Wiebke Herding, C. Maeder, Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Hybrid.Parse_AS

Description

Parser for modal logic extension of CASL

Documentation

hybrid_reserved_words :: [String]

hybridFormula :: AParser st H_FORMULA

nominal :: AParser st NOMINAL

modality :: [String] -> AParser st MODALITY

rigor :: AParser st RIGOR

rigidSigItems :: AParser st H_SIG_ITEM

hKey :: AParser st Token

hKey' :: AParser st Token

hBasic :: AParser st H_BASIC_ITEM

hItem'' :: AParser st Token -> AParser st a -> AParser st ([Annoted a], [AnHybFORM], Range)