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] Source #

hybridFormula :: AParser st H_FORMULA Source #

nominal :: AParser st NOMINAL Source #

modality :: [String] -> AParser st MODALITY Source #

rigor :: AParser st RIGOR Source #

rigidSigItems :: AParser st H_SIG_ITEM Source #

hKey :: AParser st Token Source #

hKey' :: AParser st Token Source #

hBasic :: AParser st H_BASIC_ITEM Source #

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

Orphan instances

TermParser H_FORMULA Source # 
Instance details

Methods

termParser :: Bool -> AParser st H_FORMULA Source #

AParsable H_SIG_ITEM Source # 
Instance details

Methods

aparser :: AParser st H_SIG_ITEM Source #

AParsable H_BASIC_ITEM Source # 
Instance details

Methods

aparser :: AParser st H_BASIC_ITEM Source #