| Copyright | (c) Christian Maeder, DFKI GmbH 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
Common.LibName
Description
Abstract syntax of HetCASL specification libraries Follows Sect. II:2.2.5 of the CASL Reference Manual.
- data LibName = LibName IRI (Maybe IRI) (Maybe String) (Maybe VersionNumber)
- data VersionNumber = VersionNumber [String] Range
- data LinkPath a = LinkPath a [(LibName, Int)]
- type SLinkPath = LinkPath String
- isQualNameFrom :: SIMPLE_ID -> LibName -> Id -> Bool
- isQualName :: Id -> Bool
- mkQualName :: SIMPLE_ID -> LibName -> Id -> Id
- unQualName :: Id -> Id
- setFilePath :: FilePath -> LibName -> LibName
- libToFileName :: LibName -> FilePath
- getFilePath :: LibName -> FilePath
- iriLibName :: IRI -> LibName
- filePathToLibId :: FilePath -> IRI
- emptyLibName :: String -> LibName
- convertFileToLibStr :: FilePath -> String
- mkLibStr :: String -> String
- setMimeType :: Maybe String -> LibName -> LibName
- mkLibName :: IRI -> Maybe VersionNumber -> LibName
Documentation
data LibName
data VersionNumber
Constructors
| VersionNumber [String] Range |
data LinkPath a
isQualNameFrom :: SIMPLE_ID -> LibName -> Id -> Bool
isQualName :: Id -> Bool
mkQualName :: SIMPLE_ID -> LibName -> Id -> Id
unQualName :: Id -> Id
setFilePath :: FilePath -> LibName -> LibName
insert file name as location IRI
libToFileName :: LibName -> FilePath
interpret library IRI as file path
getFilePath :: LibName -> FilePath
extract location IRI as file name
iriLibName :: IRI -> LibName
filePathToLibId :: FilePath -> IRI
use file name as library IRI
emptyLibName :: String -> LibName
setMimeType :: Maybe String -> LibName -> LibName
insert optional mime type
mkLibName :: IRI -> Maybe VersionNumber -> LibName