Safe Haskell | None |
---|
Documentation
compilerMain :: Interface -> TCM ()Source
jsMod :: ModuleName -> GlobalIdSource
jsFileName :: GlobalId -> StringSource
isTopLevelValue :: Export -> BoolSource
isEmptyObject :: Export -> BoolSource
definition :: (QName, Definition) -> TCM ExportSource
visitorName :: QName -> TCM MemberIdSource
body :: ClauseBody -> TCM ExpSource
isSingleton :: Type -> TCM (Maybe Exp)Source
dummyLambda :: Int -> Exp -> ExpSource
writeModule :: Module -> TCM ()Source
compileDir :: TCM FilePathSource