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