idris-0.9.12: Functional Programming Language with Dependent Types
IRTS.CodegenCommon
data DbgLevel Source
Constructors
Instances
data OutputType Source
environment :: String -> IO (Maybe String)Source
data CodegenInfo Source
Fields
type CodeGenerator = CodegenInfo -> IO ()Source