| Safe Haskell | None |
|---|
IRTS.CodegenCommon
Documentation
data CodegenInfo Source
Constructors
| CodegenInfo | |
Fields
| |
type CodeGenerator = CodegenInfo -> IO ()Source
idris-0.9.12: Functional Programming Language with Dependent Types
| Safe Haskell | None |
|---|
IRTS.CodegenCommon
data CodegenInfo Source
Constructors
| CodegenInfo | |
Fields
| |
type CodeGenerator = CodegenInfo -> IO ()Source