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.SortItem

Description

Parser for SORT-ITEMs (sort and subsort declarations and definitions)

Documentation

sortItem :: TermParser f => [String] -> AParser st (SORT_ITEM f) Source #

datatype :: [String] -> AParser st DATATYPE_DECL Source #

subSortDecl :: [String] -> ([Id], Range) -> AParser st (SORT_ITEM f) Source #

commaSortDecl :: [String] -> Id -> AParser st (SORT_ITEM f) Source #

isoDecl :: TermParser f => [String] -> Id -> AParser st (SORT_ITEM f) Source #

parseDatatype :: [String] -> SORT -> Token -> AParser st DATATYPE_DECL Source #