| Copyright | (c) Klaus Luettich, Uni Bremen 2002-2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | till@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | non-portable(Grothendieck) |
| Safe Haskell | None |
Syntax.AS_Library
Description
Abstract syntax of HetCASL specification libraries Follows Sect. II:2.2.5 of the CASL Reference Manual.
Documentation
data LIB_DEFN
data LIB_ITEM
Constructors
data DownloadItems
Constructors
| ItemMaps [ItemNameMap] | |
| UniqueItem IRI |
addDownload :: Bool -> SPEC_NAME -> Annoted LIB_ITEM
addDownloadAux :: Bool -> SPEC_NAME -> LIB_ITEM
data GENERICITY
Constructors
| Genericity PARAMS IMPORTED Range |
data PARAMS
data IMPORTED
data VIEW_TYPE
data MODULE_TYPE
data ALIGN_ARITIES
Constructors
| Align_arities ALIGN_ARITY ALIGN_ARITY |
data ALIGN_ARITY
showAlignArity :: ALIGN_ARITY -> String
data ItemNameMap
Constructors
| ItemNameMap IRI (Maybe IRI) |
makeLogicItem :: Language lid => lid -> Annoted LIB_ITEM
fromBasicSpec :: LibName -> SPEC_NAME -> G_basic_spec -> LIB_DEFN
getDeclSpecNames :: LIB_ITEM -> [IRI]
getImportNames :: DownloadItems -> [IRI]
getSpecDef :: LIB_ITEM -> [SPEC]