Documentation

compilerMain :: Interface -> TCM () Source #

compile :: IsMain -> Interface -> TCM () Source #

prefix :: [Char] Source #

jsMod :: ModuleName -> GlobalId Source #

jsFileName :: GlobalId -> String Source #

jsMember :: Name -> MemberId Source #

global' :: QName -> TCM (Exp, [MemberId]) Source #

global :: QName -> TCM (Exp, [MemberId]) Source #

reorder :: [Export] -> [Export] Source #

reorder' :: Set [MemberId] -> [Export] -> [Export] Source #

isTopLevelValue :: Export -> Bool Source #

isEmptyObject :: Export -> Bool Source #

insertAfter :: Set [MemberId] -> Export -> [Export] -> [Export] Source #

curModule :: IsMain -> TCM Module Source #

definition :: Maybe CoinductionKit -> (QName, Definition) -> TCM (Maybe Export) Source #

definition' :: Maybe CoinductionKit -> QName -> Definition -> Type -> [MemberId] -> TCM (Maybe Export) Source #

compileTerm :: TTerm -> TCM Exp Source #

compilePrim :: TPrim -> Exp Source #

compileAlt :: TAlt -> TCM (MemberId, Exp) Source #

visitorName :: QName -> TCM MemberId Source #

local :: Nat -> Exp Source #

qname :: QName -> TCM Exp Source #

literal :: Literal -> Exp Source #

litqname :: QName -> Exp Source #

writeModule :: Module -> TCM () Source #

outFile :: GlobalId -> TCM FilePath Source #

outFile_ :: TCM FilePath Source #

copyRTEModules :: TCM () Source #

primitives :: Set String Source #