Safe Haskell | None |
---|
- compile :: Codegen -> FilePath -> Term -> Idris CodegenInfo
- generate :: Codegen -> FilePath -> CodegenInfo -> IO ()
Documentation
compile :: Codegen -> FilePath -> Term -> Idris CodegenInfoSource
Given a main
term to compiler, return the IRs which can be used to
generate code.
generate :: Codegen -> FilePath -> CodegenInfo -> IO ()Source