Symbols.hs revision c4076ff1721f8901a30e4b7aa004479ecb2631e0
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian MaederModule : $Header$
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian MaederCopyright : (c) Francisc-Nicolae Bungiu
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian MaederLicense : GPLv2 or higher, see LICENSE.txt
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian MaederMaintainer : f.bungiu@jacobs-university.de
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian MaederStability : provisional
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian MaederPortability : portable
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian MaederSymbol items for Hets
64e1905404e5135e98a26d2ab4150b6764956576Christian Maeder-- * SYMBOL ITEMS FOR HETS
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederdata SymbItems = SymbItems (Maybe RDFEntityType) [IRI]
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder deriving (Show, Eq)
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederdata SymbMapItems = SymbMapItems (Maybe RDFEntityType) [(IRI, Maybe IRI)]
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder deriving (Show, Eq)
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulz-- | raw symbols
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederdata RawSymb = ASymbol RDFEntity | AnUri IRI
64e1905404e5135e98a26d2ab4150b6764956576Christian Maeder deriving (Show, Eq, Ord)
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederinstance GetRange RawSymb
64e1905404e5135e98a26d2ab4150b6764956576Christian MaedersymbItems = undefined
64e1905404e5135e98a26d2ab4150b6764956576Christian MaedersymbMapItems = undefined