Module to work with fully-qualified names. A qualified name is a combination of a package path, a module path and a local name.
Type that represents a fully-qualified name.
fQName : Morphir.IR.Path.Path -> Morphir.IR.Path.Path -> Morphir.IR.Name.Name -> FQName
Create a fully-qualified name.
fromQName : Morphir.IR.Path.Path -> Morphir.IR.QName.QName -> FQName
Create a fully-qualified from a qualified name.
getPackagePath : FQName -> Morphir.IR.Path.Path
Get the package path part of a fully-qualified name.
getModulePath : FQName -> Morphir.IR.Path.Path
Get the module path part of a fully-qualified name.
getLocalName : FQName -> Morphir.IR.Name.Name
Get the local name part of a fully-qualified name.