idris-0.10.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.JavaScript.AST

Documentation

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