HJScript.Lang

Documentation

preinc :: Num t => Var t -> HJScript ()

Incrementing or decrementing numbers.

postinc :: Num t => Var t -> HJScript ()

predec :: Num t => Var t -> HJScript ()

postdec :: Num t => Var t -> HJScript ()

(.+.) :: PlusOpType a => HJSJBinOperator a a

(.-.) :: Num a => HJSJBinOperator a a

(.*.) :: Num a => HJSJBinOperator a a

(./.) :: Num a => HJSJBinOperator a a

(.&&.) :: HJSJBinOperator Bool Bool

(.||.) :: HJSJBinOperator Bool Bool

(.==.) :: HJSJBinOperator a Bool

(.!=.) :: HJSJBinOperator a Bool

(.>.) :: Num a => HJSJBinOperator a Bool

(.<.) :: Num a => HJSJBinOperator a Bool

(.>=.) :: Num a => HJSJBinOperator a Bool

(.<=.) :: Num a => HJSJBinOperator a Bool

(.=.) :: Var t -> Exp t -> HJScript ()

Assignment

(.+=.) :: Num t => Var t -> Exp t -> HJScript ()

Plus with

(?) :: JBool -> (HJScript t1, HJScript t2) -> HJScript ()

Alternative if-else syntax: isTrue ? (doA,doB)

(<|>) :: a -> a -> (a, a)

Providing a way of writing if-else expression as in: isTrue ? doA | doB

this :: IsClass c => Exp c

callMethod :: (IsDeref d, Args e t1) => String -> e -> d -> Exp t2

callVoidMethod :: (Args e t1, IsDeref a) => String -> e -> a -> HJScript ()

callProc :: Args e t => Exp (t -> t1) -> e -> HJScript ()

function :: (FormalParams a t, VarsToExps a e) => (e -> HJScript (Exp r)) -> HJScript (Exp (t -> r))

Anonymous function, returning an expression

procedure :: (FormalParams a t, VarsToExps a e) => (e -> HJScript ()) -> HJScript (Exp (t -> ()))

Anonymous void function.

functionDecl :: (FormalParams a t, VarsToExps a e) => String -> (e -> HJScript (Exp r)) -> HJScript ()

Function declaration

procedureDecl :: (FormalParams a t, VarsToExps a e) => String -> (e -> HJScript ()) -> HJScript ()

Procedure declaration.

for :: JInt -> JInt -> (JInt -> HJScript t) -> HJScript ()

for

forIn :: IsDeref d => d -> (JString -> HJScript ()) -> HJScript ()

for (var in object) { .. }

forInVar :: IsDeref d => d -> (Var a -> HJScript ()) -> HJScript ()

for (var in object) { .. }

while :: JBool -> HJScript t -> HJScript ()

while

doWhile :: HJScript t -> JBool -> HJScript ()

doWhile

doIf :: JBool -> HJScript t -> HJScript (Elses ()) -> HJScript ()

doIf

doElse :: HJScript () -> HJScript (Elses ())

doElse

doIfElse :: JBool -> (HJScript t1, HJScript t2) -> HJScript ()

doIfElse

doIfNoElse :: Exp Bool -> HJScript () -> HJScript ()

Only an if branch

noElse :: HJScript (Elses ())

No else branch.

var :: HJScript (Var t)

varWith :: Exp t -> HJScript (Var t)

inVar :: Exp t -> HJScript (Exp t)

new :: (HasConstructor o e t, Args e t) => o -> e -> HJScript (Exp o)

delete :: Var a -> Exp Bool

delete a property

Can only delete properties/variables that are created implicitly, not those declared with the var statement.

returns true if property was deleted. false if operation was not possible.

(#) :: a -> (a -> b) -> b

Dereferencing operator, similar to the dot operator in JavaScript. E.g. document.forms => document # forms, same as forms document

(#.) :: (a -> b) -> (b -> c) -> a -> c

rec :: Exp a -> Exp b -> Exp (Rec a b)

first :: Exp (Rec a b) -> Exp a

second :: Exp (Rec a b) -> Exp b

x :: Exp (Rec a b) -> Exp a

y :: Exp (Rec a b) -> Exp b

(#!) :: JArray t -> JInt -> Var t

Accessing arrays.

jnull :: IsNullable t => Exp t

Null value

jShow :: JShow t => Exp t -> JString

Converts to JString expression.

castObject :: (IsClass c1, IsClass c2) => JObject c1 -> JObject c2

Casting an JObject

hasFeature :: (IsFeature f, IsClass c) => JObject c -> f -> JBool

Checks if an object is supported by browser

break :: HJScript ()

continue :: HJScript ()

true :: JBool

ifOp :: JBool -> Exp t -> Exp t -> Exp t

false :: JBool

int :: Int -> JInt

float :: Float -> JFloat

bool :: Bool -> JBool

string :: String -> JString

type HJScript = XMLGenT HJScript'

class IsHJScript a where

IsHJscript class with function toHJScript for converting instances to HJScript ()

Methods

toHJScript :: a -> HJScript ()

Instances

IsHJScript (Exp t)

IsHJScript (Stmt ())

IsHJScript (Block ())

IsHJScript (HJScript t)

outputBlock :: Block () -> HJScript ()

Adds a block

outputStmt :: Stmt () -> HJScript ()

Adds a statement

evaluateHJScript :: HJScript (Exp t) -> Block t

evalHJScript :: HJScript t -> (t, Block ())

Evaluate a script returning a tuple of the produced value and a block of code.

module Language.HJavaScript.Syntax