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

Modal.Parse_AS

Description

Parser for modal logic extension of CASL

Documentation

modal_reserved_words :: [String] Source #

modalFormula :: AParser st M_FORMULA Source #

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

rigor :: AParser st RIGOR Source #

rigidSigItems :: AParser st M_SIG_ITEM Source #

mKey :: AParser st Token Source #

mBasic :: AParser st M_BASIC_ITEM Source #

mItem :: AParser st a -> AParser st ([Annoted a], [AnModFORM], Range) Source #

Orphan instances

TermParser M_FORMULA Source # 
Instance details

Methods

termParser :: Bool -> AParser st M_FORMULA Source #

AParsable M_SIG_ITEM Source # 
Instance details

Methods

aparser :: AParser st M_SIG_ITEM Source #

AParsable M_BASIC_ITEM Source # 
Instance details

Methods

aparser :: AParser st M_BASIC_ITEM Source #