idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.JavaScript.AST

Documentation

data JSInteger Source

Constructors

JSBigZero 
JSBigOne 
JSBigInt Integer 
JSBigIntExpr JS 

Instances

data JSNum Source

Constructors

JSInt Int 
JSFloat Double 
JSInteger JSInteger 

Instances

Eq JSNum 

data JSWord Source

Constructors

JSWord8 Word8 
JSWord16 Word16 
JSWord32 Word32 
JSWord64 Word64 

Instances

Eq JSWord 

data JSAnnotation Source

Constructors

JSConstructor 

Instances

data JS Source

Constructors

JSRaw String 
JSIdent String 
JSFunction [String] JS 
JSType JSType 
JSSeq [JS] 
JSReturn JS 
JSApp JS [JS] 
JSNew String [JS] 
JSError String 
JSBinOp String JS JS 
JSPreOp String JS 
JSPostOp String JS 
JSProj JS String 
JSNull 
JSUndefined 
JSThis 
JSTrue 
JSFalse 
JSArray [JS] 
JSString String 
JSNum JSNum 
JSWord JSWord 
JSAssign JS JS 
JSAlloc String (Maybe JS) 
JSIndex JS JS 
JSSwitch JS [(JS, JS)] (Maybe JS) 
JSCond [(JS, JS)] 
JSTernary JS JS JS 
JSParens JS 
JSWhile JS JS 
JSFFI String [JS] 
JSAnnotation JSAnnotation JS 
JSNoop 

Instances

Eq JS 

data FFI Source

Constructors

FFICode Char 
FFIArg Int 
FFIError String 

ffi :: String -> [String] -> TextSource

compileJS' :: Int -> JS -> TextSource

jsInstanceOf :: JS -> String -> JSSource

jsOr :: JS -> JS -> JSSource

jsAnd :: JS -> JS -> JSSource

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

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

jsEq :: JS -> JS -> JSSource