License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
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
|