idris-1.3.2: Functional Programming Language with Dependent Types
IRTS.Compiler
Description
compile :: Codegen -> FilePath -> Maybe Term -> Idris CodegenInfo Source #
Compile to simplified forms and return CodegenInfo
generate :: Codegen -> FilePath -> CodegenInfo -> IO () Source #