Hets - the Heterogeneous Tool Set
Copyright(c) Klaus Luettich Uni Bremen 2004
Licensesimilar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable Parser for CASL_DL logic
Safe HaskellNone

CASL_DL.Parse_AS

Description

 

Documentation

dlFormula :: AParser st DL_FORMULA Source #

parsePredSymb :: AParser st PRED_SYMB Source #

cardKeyword :: AParser st (CardType, Range) Source #

Orphan instances

TermParser DL_FORMULA Source # 
Instance details

Methods

termParser :: Bool -> AParser st DL_FORMULA Source #