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