idris-1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

IRTS.JavaScript.AST

Description

 

Documentation

data JSNum #

Instances

Eq JSNum # 

Methods

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

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

data JSWord #

Instances

Eq JSWord # 

Methods

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

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

data FFI #

ffi :: String -> [String] -> Text #

jsOr :: JS -> JS -> JS #

jsAnd :: JS -> JS -> JS #

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

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

jsTypeOf :: JS -> JS #

jsEq :: JS -> JS -> JS #

jsNotEq :: JS -> JS -> JS #

jsIsNull :: JS -> JS #

jsBigInt :: JS -> JS #