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