| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
IRTS.JavaScript.Codegen
Description
Synopsis
- codegenJs :: CGConf -> CodeGenerator
- data CGConf = CGConf {
- header :: Text
- footer :: Text
- jsbnPath :: String
- extraRunTime :: String
- data CGStats = CGStats {
- usedBigInt :: Bool
- partialApplications :: Set Partial
- hiddenClasses :: Set HiddenClass
Documentation
codegenJs :: CGConf -> CodeGenerator Source #
Constructors
| CGConf | |
Fields
| |
Code generation stats hold information about the generated user code. Based on that information we add additional code to make things work.
Constructors
| CGStats | |
Fields
| |