idris-1.1.1: Functional Programming Language with Dependent Types

Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

IRTS.JavaScript.Codegen

Description

Documentation

codegenJs :: CGConf -> CodeGenerator Source #

data CGConf Source #

Constructors

CGConf
Fields header :: Text footer :: Text jsbnPath :: String extraRunTime :: String

data CGStats Source #

Constructors

CGStats
Fields usedBigInt :: Bool partialApplications :: Set Partial hiddenClasses :: Set HiddenClass