Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder Uni Bremen 2002-2004
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.Parse_AS_Basic

Contents

Description

Parser for CASL basic specifications (SIG-ITEMS, BASIC-ITEMS, BASIC-SPEC) Follows Sect. II:3.1 of the CASL Reference Manual.

Synopsis

signature items

sortItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f) Source #

typeItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f) Source #

opItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f) Source #

predItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f) Source #

sigItems :: (AParsable s, TermParser f) => [String] -> AParser st (SIG_ITEMS s f) Source #

helpers

basic items

basicItems :: (AParsable b, AParsable s, TermParser f) => [String] -> AParser st (BASIC_ITEMS b s f) Source #

varItems :: [String] -> AParser st ([VAR_DECL], [Token]) Source #

dotFormulae :: (AParsable b, AParsable s, TermParser f) => Bool -> [String] -> AParser st (BASIC_ITEMS b s f) Source #

aFormula :: TermParser f => [String] -> AParser st (Annoted (FORMULA f)) Source #

basic spec

basicSpec :: (TermParser f, AParsable s, AParsable b) => [String] -> PrefixMap -> AParser st (BASIC_SPEC b s f) Source #