Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
compilerMain :: Interface -> TCM () Source #
jsMod :: ModuleName -> GlobalId Source #
jsFileName :: GlobalId -> String Source #
isTopLevelValue :: Export -> Bool Source #
isEmptyObject :: Export -> Bool Source #
definition :: (QName, Definition) -> TCM Export Source #
writeModule :: Module -> TCM () Source #
compileDir :: TCM FilePath Source #