idris-1.1.0: Functional Programming Language with Dependent Types

Copyright	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 #