idris-0.9.17: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.JavaScript.AST

Documentation

data JSNum Source

Instances

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