idris-0.9.17.1: Functional Programming Language with Dependent Types
IRTS.Compiler
Synopsis
compile :: Codegen -> FilePath -> Maybe Term -> Idris CodegenInfo Source
Given a main term to compiler, return the IRs which can be used to generate code.
main
generate :: Codegen -> FilePath -> CodegenInfo -> IO () Source