Language.Clafer.QNameUID

Support for dealing with unique IDs (UIDs), fully- and least-partially qualified names.

Documentation

type QName = String

a fully- or partially-qualified name

type FQName = String

fully-qualified name, must begin with :: | e.g., `::Person::name`, `::Company::Department::chair`

type PQName = String

partially-qualified name, must not begin with :: | e.g., `Person::name`, chair

data QNameMaps

maps between fully-, least-partially-qualified names and UIDs

type UID = String

unique identifier of a clafer

deriveQNameMaps :: IModule -> QNameMaps

derive maps between fully-, partially-qualified names, and UIDs

getUIDs :: QNameMaps -> QName -> [UID]

get the UID of a clafer given a fully qualifed name or potentially many UIDs given a partially qualified name

getFQName :: QNameMaps -> UID -> Maybe FQName

get the fully-qualified name of a clafer given its UID

getLPQName :: QNameMaps -> UID -> Maybe PQName

get the least-partially-qualified name of a clafer given its UID

getQNameUIDTriples :: QNameMaps -> [(FQName, PQName, UID)]