idris-0.99.1: Functional Programming Language with Dependent Types

Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

IRTS.JavaScript.AST

Description

Documentation

data JSType Source #

Constructors

JSIntTy
JSStringTy
JSIntegerTy
JSFloatTy
JSCharTy
JSPtrTy
JSForgotTy

Instances

Eq JSType Source #
Methods (==) :: JSType -> JSType -> Bool # (/=) :: JSType -> JSType -> Bool #

data JSInteger Source #

Constructors

JSBigZero
JSBigOne
JSBigInt Integer
JSBigIntExpr JS

Instances

Eq JSInteger Source #
Methods (==) :: JSInteger -> JSInteger -> Bool # (/=) :: JSInteger -> JSInteger -> Bool #

data JSNum Source #

Constructors

JSInt Int
JSFloat Double
JSInteger JSInteger

Instances

Eq JSNum Source #
Methods (==) :: JSNum -> JSNum -> Bool # (/=) :: JSNum -> JSNum -> Bool #

data JSWord Source #

Constructors

JSWord8 Word8
JSWord16 Word16
JSWord32 Word32
JSWord64 Word64

Instances

Eq JSWord Source #
Methods (==) :: JSWord -> JSWord -> Bool # (/=) :: JSWord -> JSWord -> Bool #

data JSAnnotation Source #

Constructors

Instances

Eq JSAnnotation Source #
Methods (==) :: JSAnnotation -> JSAnnotation -> Bool # (/=) :: JSAnnotation -> JSAnnotation -> Bool #
Show JSAnnotation Source #
Methods showsPrec :: Int -> JSAnnotation -> ShowS # show :: JSAnnotation -> String # showList :: [JSAnnotation] -> ShowS #

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
JSDelete JS
JSClear JS
JSNoop

Instances

Eq JS Source #
Methods (==) :: JS -> JS -> Bool # (/=) :: JS -> JS -> Bool #

data FFI Source #

Constructors

FFICode Char
FFIArg Int
FFIError String

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

compileJS :: JS -> Text Source #

compileJS' :: Int -> JS -> Text Source #

jsInstanceOf :: JS -> String -> JS Source #

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

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

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

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

jsTypeOf :: JS -> JS Source #

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

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

jsIsNumber :: JS -> JS Source #

jsIsNull :: JS -> JS Source #

jsBigInt :: JS -> JS Source #

jsUnPackBits :: JS -> JS Source #

jsPackUBits8 :: JS -> JS Source #

jsPackUBits16 :: JS -> JS Source #

jsPackUBits32 :: JS -> JS Source #

jsPackSBits8 :: JS -> JS Source #

jsPackSBits16 :: JS -> JS Source #

jsPackSBits32 :: JS -> JS Source #