idris-1.2.0: Functional Programming Language with Dependent Types

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

IRTS.CodegenJavaScript

Description

Documentation

codegenJavaScript :: CodeGenerator Source #

codegenNode :: CodeGenerator Source #

data JSTarget Source #

Constructors

Node
JavaScript

Instances

Eq JSTarget Source #
Methods (==) :: JSTarget -> JSTarget -> Bool # (/=) :: JSTarget -> JSTarget -> Bool #