clafer-0.4.5: Compiles Clafer models to other formats: Alloy, JavaScript, JSON, HTML, Dot.
Paths_clafer
version :: Version Source #
getBinDir :: IO FilePath Source #
getLibDir :: IO FilePath Source #
getDataDir :: IO FilePath Source #
getLibexecDir :: IO FilePath Source #
getDataFileName :: FilePath -> IO FilePath Source #
getSysconfDir :: IO FilePath Source #