| Safe Haskell | None |
|---|
IRTS.Compiler
- 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