Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder Uni Bremen 2004
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerhausmann@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CoCASL.Parse_AS

Description

Parser for CoCASL

Documentation

cocasl_reserved_words :: [String] Source #

parseSen :: AParser st (FORMULA C_FORMULA) Source #

cocaslFormula :: AParser st C_FORMULA Source #

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

cBasic :: AParser st C_BASIC_ITEM Source #

coSigItems :: AParser st C_SIG_ITEM Source #

codatatype :: [String] -> AParser st CODATATYPE_DECL Source #

acoAlternative :: [String] -> AParser st (Annoted COALTERNATIVE) Source #

coalternative :: [String] -> AParser st COALTERNATIVE Source #

cocomp :: [String] -> Maybe OP_NAME -> AParser st COALTERNATIVE Source #

cocomponent :: [String] -> AParser st COCOMPONENTS Source #

codatatypeToCofreetype :: C_SIG_ITEM -> Range -> C_BASIC_ITEM Source #

Orphan instances

TermParser C_FORMULA Source # 
Instance details

Methods

termParser :: Bool -> AParser st C_FORMULA Source #

AParsable C_SIG_ITEM Source # 
Instance details

Methods

aparser :: AParser st C_SIG_ITEM Source #

AParsable C_BASIC_ITEM Source # 
Instance details

Methods

aparser :: AParser st C_BASIC_ITEM Source #