Agda.Compiler.JS.Compiler
Documentation
compilerMain :: Interface -> TCM ()
jsMod :: ModuleName -> GlobalId
jsFileName :: GlobalId -> String
definition :: (QName, Definition) -> TCM Export
visitorName :: QName -> TCM MemberId
body :: ClauseBody -> TCM Exp
isSingleton :: Type -> TCM (Maybe Exp)
defProjection :: Definition -> Maybe (QName, Int)
dummyLambda :: Int -> Exp -> Exp
writeModule :: Module -> TCM ()