Language.HJavaScript.Syntax

Contents

• Primitive type classes.
• Fundamental data types.
• Data types and classes for object representation.
• Misc
• Types for functions and parameters.
• Array representation.
• Type synonyms.
• Type classes for expression representation.
• Helper functions
• Render function producing multi-line pretty-printed JavaScript code.

Description

Synopsis

• class JType t
• data Exp t where
  • JInt :: Int -> Exp Int
  • JFloat :: Float -> Exp Float
  • JBool :: Bool -> Exp Bool
  • JString :: String -> Exp String
  • JRec :: Exp a -> Exp b -> Exp (Rec a b)
  • JFst :: Exp (Rec a b) -> Exp a
  • JSnd :: Exp (Rec a b) -> Exp b
  • JConst :: String -> Exp t
  • JAssign :: Var t -> Exp t -> Exp t
  • JAssignWith :: Var t -> AssignOp t -> Exp t -> Exp t
  • JNeg :: Exp t -> Exp t
  • JNot :: Exp Bool -> Exp Bool
  • JBinOp :: Exp t -> BinOp t r -> Exp t -> Exp r
  • JIncrement :: Num t => PostPre -> Var t -> Exp t
  • JDecrement :: Num t => PostPre -> Var t -> Exp t
  • JIfOp :: Exp Bool -> Exp t -> Exp t -> Exp t
  • JCall :: Args e t => Exp (t -> r) -> e -> Exp r
  • JNew :: (Args e t, HasConstructor c e t) => c -> e -> Exp c
  • JDelete :: Var a -> Exp Bool
  • JDeref :: IsDeref d => d -> String -> Exp t
  • JFunction :: FormalParams a t => Maybe String -> a -> Block r -> Exp (t -> r)
  • JThis :: IsClass c => Exp c
  • JBlock :: Block () -> Exp ()
  • JNull :: IsNullable t => Exp t
  • JCastObject :: (IsClass c1, IsClass c2) => Exp c1 -> Exp c2
  • JValueOf :: Var t -> Exp t
  • JIsImpl :: (IsClass c, IsFeature f) => Exp c -> f -> Exp Bool
  • JShow :: JShow t => Exp t -> Exp String
• data Rec a b
• data Var t where
  • JVar :: String -> Var a
  • JParam :: String -> Var a
  • JMember :: String -> Var a
  • JDerefVar :: IsDeref d => d -> String -> Var a
  • JArrayIndex :: Exp (Array t) -> Exp Int -> Var t
  • JPropertyVar :: (IsDeref d, JShow p) => d -> Exp p -> Var a
• data Stmt t where
  • VarDecl :: String -> Stmt ()
  • VarDeclAssign :: String -> Exp t -> Stmt ()
  • VarAssign :: String -> Exp t -> Stmt ()
  • ExpStmt :: Exp t -> Stmt ()
  • While :: Exp Bool -> Block () -> Stmt ()
  • DoWhile :: Block () -> Exp Bool -> Stmt ()
  • For :: Stmt t1 -> Exp Bool -> Exp t2 -> Block () -> Stmt ()
  • ForIn :: IsDeref d => Var String -> d -> Block () -> Stmt ()
  • Break :: Stmt ()
  • Continue :: Stmt ()
  • Return :: Exp t -> Stmt t
  • If :: Exp Bool -> Block t -> Elses t -> Stmt ()
• data Block t where
  • EmptyBlock :: Block ()
  • Sequence :: Block () -> Stmt t -> Block t
• class Show c => IsClass c
• class (IsClass c, Args e t) => HasConstructor c e t
• class Show r => IsDeref r
• data AssignOp t where
  • PlusAssign :: Num t => AssignOp t
  • MinusAssign :: Num t => AssignOp t
  • TimesAssign :: Num t => AssignOp t
  • DivAssign :: AssignOp Float
  • ModAssign :: AssignOp Int
  • AndAssign :: AssignOp Bool
  • OrAssign :: AssignOp Bool
• data BinOp t r where
  • Plus :: PlusOpType t => BinOp t t
  • Minus :: Num t => BinOp t t
  • Times :: Num t => BinOp t t
  • Div :: Num t => BinOp t t
  • Mod :: BinOp Int Int
  • And :: BinOp Bool Bool
  • Or :: BinOp Bool Bool
  • Equals :: BinOp t Bool
  • NotEquals :: BinOp t Bool
  • GThan :: Num t => BinOp t Bool
  • LThan :: Num t => BinOp t Bool
  • GEThan :: Num t => BinOp t Bool
  • LEThan :: Num t => BinOp t Bool
• class PlusOpType a
• data PostPre
  • = Pst
  • | Pre
• data Elses t where
  • Elseif :: Exp Bool -> Block t -> Elses t -> Elses t
  • Else :: Block t -> Elses t
  • NoElse :: Elses ()
• class IsNullable a
• class Show a => IsFeature a
• class JShow a where
  • jshow :: a -> JString
• class Show e => Args e t | e -> t
• class ParamType t
• class (Show a, ParamType t) => FormalParams a t | a -> t where
  • mkFParams :: forall b. (a -> b) -> Int -> a
  • showsFParams :: a -> ShowS
• class VarsToExps v e | v -> e, e -> v where
  • v2e :: v -> e
• data Array t = Array
• type JInt = Exp Int
• type JString = Exp String
• type JBool = Exp Bool
• type JFloat = Exp Float
• type JVoid = Exp ()
• type JObject c = Exp c
• type JArray t = Exp (Array t)
• class IsExp e t | e -> t where
  • toExp :: e -> Exp t
• class IsExp e String => IsJString e where
  • toJString :: e -> Exp String
• class IsExp e Bool => IsJBool e where
  • toJBool :: e -> Exp Bool
• class IsExp e Int => IsJInt e where
  • toJInt :: e -> Exp Int
• class IsExp e Float => IsJFloat e where
  • toJFloat :: e -> Exp Float
• val :: Var t -> Exp t
• toBlock :: Stmt t -> Block t
• deref :: IsDeref d => String -> d -> Exp t
• derefVar :: IsDeref d => String -> d -> Var a
• propertyVar :: (IsDeref d, JShow p) => Exp p -> d -> Var a
• call :: Args e t => Exp (t -> r) -> e -> Exp r
• methodCall :: (Args e t1, IsDeref d) => String -> e -> d -> Exp t2
• voidMethodCall :: (Args e t1, IsDeref a) => String -> e -> a -> Stmt ()
• methodCallNoArgs :: IsDeref d => String -> d -> Exp t
• voidMethodCallNoArgs :: IsDeref d => String -> d -> Stmt ()
• renderBlock :: Block r -> String

Primitive type classes.

Fundamental data types.

Data types and classes for object representation.

Misc

Types for functions and parameters.

Array representation.

Type synonyms.

Type classes for expression representation.

Helper functions

Render function producing multi-line pretty-printed JavaScript code.