idris-0.12.2: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.JavaScript.AST

Description

 

Documentation

data JSNum Source #

Instances

Eq JSNum Source # 

Methods

(==) :: JSNum -> JSNum -> Bool #

(/=) :: JSNum -> JSNum -> Bool #

jsOr :: JS -> JS -> JS Source #

jsAnd :: JS -> JS -> JS Source #

jsMeth :: JS -> String -> [JS] -> JS Source #

jsCall :: String -> [JS] -> JS Source #

jsEq :: JS -> JS -> JS Source #

jsNotEq :: JS -> JS -> JS Source #