| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Clafer.JSONMetaData
Description
Creates JSON outputs for different kinds of metadata.
- generateJSONnameUIDMap :: QNameMaps -> String
- generateJSONScopes :: QNameMaps -> [(UID, Integer)] -> String
- parseJSONScopes :: QNameMaps -> String -> [(UID, Integer)]
- writeCfrScopeFile :: [(UID, Integer)] -> QNameMaps -> FilePath -> IO ()
- readCfrScopeFile :: QNameMaps -> FilePath -> IO (Maybe [(UID, Integer)])
Documentation
generateJSONnameUIDMap :: QNameMaps -> String Source
Generate a JSON list of triples containing a fully-qualified-, least-partially-qualified name, and unique id. | Both the FQNames and UIDs are brittle. LPQNames are the least brittle.
generateJSONScopes :: QNameMaps -> [(UID, Integer)] -> String Source
Generate a JSON list of tuples containing a least-partially-qualified name and a scope
parseJSONScopes :: QNameMaps -> String -> [(UID, Integer)] Source
given the QNameMaps, parse the JSON scopes and return list of scopes