Copyright | (c) Christian Maeder, Uni Bremen 2002-2004 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Parser for SORT-ITEMs (sort and subsort declarations and definitions)
Documentation
sortItem :: TermParser f => [String] -> AParser st (SORT_ITEM f)
datatype :: [String] -> AParser st DATATYPE_DECL
commaSortDecl :: [String] -> Id -> AParser st (SORT_ITEM f)
parseDatatype :: [String] -> SORT -> Token -> AParser st DATATYPE_DECL