Copyright	(c) Gershom Bazerman 2010
License	BSD 3 Clause
Maintainer	gershomb@gmail.com
Stability	experimental
Safe Haskell	None
Language	Haskell98

Language.Javascript.JMacro

Description

Simple DSL for lightweight (untyped) programmatic generation of Javascript.

A number of examples are available in the source of Language.Javascript.JMacro.Prelude.

Functions to generate generic RPC wrappers (using json serialization) are available in Language.Javascript.JMacro.Rpc.

usage:

renderJs [jmacro|fun id x -> x|]

The above produces the id function at the top level.

renderJs [jmacro|var id = \x -> x;|]

So does the above here. However, as id is brought into scope by the keyword var, you do not get a variable named id in the generated javascript, but a variable with an arbitrary unique identifier.

renderJs [jmacro|var !id = \x -> x;|]

The above, by using the bang special form in a var declaration, produces a variable that really is named id.

renderJs [jmacro|function id(x) {return x;}|]

The above is also id.

renderJs [jmacro|function !id(x) {return x;}|]

As is the above (with the correct name).

renderJs [jmacro|fun id x {return x;}|]

As is the above.

renderJs [jmacroE|foo(x,y)|]

The above is an expression representing the application of foo to x and y.

renderJs [jmacroE|foo x y|]]

As is the above.

renderJs [jmacroE|foo (x,y)|]

While the above is an error. (i.e. standard javascript function application cannot seperate the leading parenthesis of the argument from the function being applied)

\x -> [jmacroE|foo `(x)`|]

The above is a haskell expression that provides a function that takes an x, and yields an expression representing the application of foo to the value of x as transformed to a Javascript expression.

[jmacroE|\x ->`(foo x)`|]

Meanwhile, the above lambda is in Javascript, and brings the variable into scope both in javascript and in the enclosed antiquotes. The expression is a Javascript function that takes an x, and yields an expression produced by the application of the Haskell function foo as applied to the identifier x (which is of type JExpr -- i.e. a Javascript expression).

Other than that, the language is essentially Javascript (1.5). Note however that one must use semicolons in a principled fashion -- i.e. to end statements consistently. Otherwise, the parser will mistake the whitespace for a whitespace application, and odd things will occur. A further gotcha exists in regex literals, whicch cannot begin with a space. x 5 4 parses as ((x 5) 4). However, x 5 4 will parse as x(5 , 4). Such are the perils of operators used as delimeters in the presence of whitespace application.

Additional features in jmacro (documented on the wiki) include an infix application operator, and an enhanced destructuring bind.

Additional datatypes can be marshalled to Javascript by proper instance declarations for the ToJExpr class.

An experimental typechecker is available in the Language.Javascript.JMacro.Typed module.

Synopsis

jmacro :: QuasiQuoter
jmacroE :: QuasiQuoter
parseJM :: String -> Either ParseError JStat
parseJME :: String -> Either ParseError JExpr
class ToStat a where
class ToJExpr a where
class JsToDoc a where
class Compos t where
data JMGadt a where
- JMGId :: Ident -> JMGadt Ident
- JMGStat :: JStat -> JMGadt JStat
- JMGExpr :: JExpr -> JMGadt JExpr
- JMGVal :: JVal -> JMGadt JVal
class JMacro a where
newtype Ident = StrI String
newtype SaneDouble = SaneDouble Double
data JVal
- = JVar Ident
- | JList [JExpr]
- | JDouble SaneDouble
- | JInt Integer
- | JStr String
- | JRegEx String
- | JHash (Map String JExpr)
- | JFunc [Ident] JStat
- | UnsatVal (IdentSupply JVal)
data JExpr
- = ValExpr JVal
- | SelExpr JExpr Ident
- | IdxExpr JExpr JExpr
- | InfixExpr String JExpr JExpr
- | PPostExpr Bool String JExpr
- | IfExpr JExpr JExpr JExpr
- | NewExpr JExpr
- | ApplExpr JExpr [JExpr]
- | UnsatExpr (IdentSupply JExpr)
- | AntiExpr String
- | TypeExpr Bool JExpr JLocalType
type JsLabel = String
data JStat
- = DeclStat Ident (Maybe JLocalType)
- | ReturnStat JExpr
- | IfStat JExpr JStat JStat
- | WhileStat Bool JExpr JStat
- | ForInStat Bool Ident JExpr JStat
- | SwitchStat JExpr [(JExpr, JStat)] JStat
- | TryStat JStat Ident JStat JStat
- | BlockStat [JStat]
- | ApplStat JExpr [JExpr]
- | PPostStat Bool String JExpr
- | AssignStat JExpr JExpr
- | UnsatBlock (IdentSupply JStat)
- | AntiStat String
- | ForeignStat Ident JLocalType
- | LabelStat JsLabel JStat
- | BreakStat (Maybe JsLabel)
- | ContinueStat (Maybe JsLabel)
newtype IdentSupply a = IS {
- runIdentSupply :: State [Ident] a
}
composOp :: Compos t => (forall a. t a -> t a) -> t b -> t b
composOpM :: (Compos t, Monad m) => (forall a. t a -> m (t a)) -> t b -> m (t b)
composOpM_ :: (Compos t, Monad m) => (forall a. t a -> m ()) -> t b -> m ()
composOpFold :: Compos t => b -> (b -> b -> b) -> (forall a. t a -> b) -> t c -> b
jsSaturate :: JMacro a => Maybe String -> a -> a
withHygiene :: JMacro a => (a -> a) -> a -> a
scopify :: JStat -> JStat
renderJs :: (JsToDoc a, JMacro a) => a -> Doc
renderPrefixJs :: (JsToDoc a, JMacro a) => String -> a -> Doc
jLam :: ToSat a => a -> JExpr
jVar :: ToSat a => a -> JStat
jVarTy :: ToSat a => a -> Maybe JLocalType -> JStat
jForIn :: ToSat a => JExpr -> (JExpr -> a) -> JStat
jForEachIn :: ToSat a => JExpr -> (JExpr -> a) -> JStat
jTryCatchFinally :: ToSat a => JStat -> a -> JStat -> JStat
jsv :: String -> JExpr
jFor :: (ToJExpr a, ToStat b) => JStat -> a -> JStat -> b -> JStat
jhEmpty :: Map String JExpr
jhSingle :: ToJExpr a => String -> a -> Map String JExpr
jhAdd :: ToJExpr a => String -> a -> Map String JExpr -> Map String JExpr
jhFromList :: [(String, JExpr)] -> JVal
jtFromList :: JType -> [(String, JType)] -> JType
nullStat :: JStat
module Language.Javascript.JMacro.Prelude
data JType
- = JTNum
- | JTString
- | JTBool
- | JTStat
- | JTFunc [JType] JType
- | JTList JType
- | JTMap JType
- | JTRecord JType (Map String JType)
- | JTRigid VarRef (Set Constraint)
- | JTImpossible
- | JTFree VarRef
- | JTForall [VarRef] JType

Documentation

jmacro :: QuasiQuoter #

QuasiQuoter for a block of JMacro statements.

jmacroE :: QuasiQuoter #

QuasiQuoter for a JMacro expression.

parseJM :: String -> Either ParseError JStat #

parseJME :: String -> Either ParseError JExpr #

class ToStat a where #

Minimal complete definition

toStat

Methods

toStat :: a -> JStat #

Instances

ToStat JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: JExpr -> JStat #
ToStat JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: JStat -> JStat #
ToStat [JExpr] #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: [JExpr] -> JStat #
ToStat [JStat] #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: [JStat] -> JStat #

class ToJExpr a where #

Things that can be marshalled into javascript values. Instantiate for any necessary data structures.

Minimal complete definition

toJExpr

Methods

toJExpr :: a -> JExpr #

toJExprFromList :: [a] -> JExpr #

Instances

ToJExpr Bool #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Bool -> JExpr # toJExprFromList :: [Bool] -> JExpr #
ToJExpr Char #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Char -> JExpr # toJExprFromList :: [Char] -> JExpr #
ToJExpr Double #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Double -> JExpr # toJExprFromList :: [Double] -> JExpr #
ToJExpr Int #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Int -> JExpr # toJExprFromList :: [Int] -> JExpr #
ToJExpr Integer #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Integer -> JExpr # toJExprFromList :: [Integer] -> JExpr #
ToJExpr () #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: () -> JExpr # toJExprFromList :: [()] -> JExpr #
ToJExpr Text #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Text -> JExpr # toJExprFromList :: [Text] -> JExpr #
ToJExpr Value #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Value -> JExpr # toJExprFromList :: [Value] -> JExpr #
ToJExpr Text #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Text -> JExpr # toJExprFromList :: [Text] -> JExpr #
ToJExpr JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: JVal -> JExpr # toJExprFromList :: [JVal] -> JExpr #
ToJExpr JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: JExpr -> JExpr # toJExprFromList :: [JExpr] -> JExpr #
ToJExpr a => ToJExpr [a] #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: [a] -> JExpr # toJExprFromList :: [[a]] -> JExpr #
(ToJExpr a, ToJExpr b) => ToJExpr (a, b) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: (a, b) -> JExpr # toJExprFromList :: [(a, b)] -> JExpr #
ToJExpr a => ToJExpr (Map String a) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: Map String a -> JExpr # toJExprFromList :: [Map String a] -> JExpr #
(ToJExpr a, ToJExpr b, ToJExpr c) => ToJExpr (a, b, c) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: (a, b, c) -> JExpr # toJExprFromList :: [(a, b, c)] -> JExpr #
(ToJExpr a, ToJExpr b, ToJExpr c, ToJExpr d) => ToJExpr (a, b, c, d) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: (a, b, c, d) -> JExpr # toJExprFromList :: [(a, b, c, d)] -> JExpr #
(ToJExpr a, ToJExpr b, ToJExpr c, ToJExpr d, ToJExpr e) => ToJExpr (a, b, c, d, e) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: (a, b, c, d, e) -> JExpr # toJExprFromList :: [(a, b, c, d, e)] -> JExpr #
(ToJExpr a, ToJExpr b, ToJExpr c, ToJExpr d, ToJExpr e, ToJExpr f) => ToJExpr (a, b, c, d, e, f) #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: (a, b, c, d, e, f) -> JExpr # toJExprFromList :: [(a, b, c, d, e, f)] -> JExpr #

class JsToDoc a where #

Minimal complete definition

jsToDoc

Methods

jsToDoc :: a -> Doc #

Instances

JsToDoc JLocalType #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc #
JsToDoc JType #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JType -> Doc #
JsToDoc Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: Ident -> Doc #
JsToDoc JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JVal -> Doc #
JsToDoc JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JExpr -> Doc #
JsToDoc JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JStat -> Doc #
JsToDoc [JExpr] #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: [JExpr] -> Doc #
JsToDoc [JStat] #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: [JStat] -> Doc #

class Compos t where #

Minimal complete definition

compos

Methods

compos :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (forall a. t a -> m (t a)) -> t c -> m (t c) #

Instances

Compos JMGadt #
Instance details Defined in Language.Javascript.JMacro.Base Methods compos :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (forall a. JMGadt a -> m (JMGadt a)) -> JMGadt c -> m (JMGadt c) #

data JMGadt a where #

Union type to allow regular traversal by compos.

Constructors

JMGId :: Ident -> JMGadt Ident
JMGStat :: JStat -> JMGadt JStat
JMGExpr :: JExpr -> JMGadt JExpr
JMGVal :: JVal -> JMGadt JVal

Instances

Compos JMGadt #
Instance details Defined in Language.Javascript.JMacro.Base Methods compos :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (forall a. JMGadt a -> m (JMGadt a)) -> JMGadt c -> m (JMGadt c) #

class JMacro a where #

Compos and ops for generic traversal as defined over the JMacro ADT.

Utility class to coerce the ADT into a regular structure.

Minimal complete definition

jtoGADT, jfromGADT

Methods

jtoGADT :: a -> JMGadt a #

jfromGADT :: JMGadt a -> a #

Instances

JMacro Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: Ident -> JMGadt Ident # jfromGADT :: JMGadt Ident -> Ident #
JMacro JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JVal -> JMGadt JVal # jfromGADT :: JMGadt JVal -> JVal #
JMacro JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JExpr -> JMGadt JExpr # jfromGADT :: JMGadt JExpr -> JExpr #
JMacro JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JStat -> JMGadt JStat # jfromGADT :: JMGadt JStat -> JStat #

newtype Ident #

Identifiers

Constructors

StrI String

Instances

Eq Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Data Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Ident -> c Ident # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ident # toConstr :: Ident -> Constr # dataTypeOf :: Ident -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Ident) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Ident) # gmapT :: (forall b. Data b => b -> b) -> Ident -> Ident # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Ident -> r # gmapQ :: (forall d. Data d => d -> u) -> Ident -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Ident -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Ident -> m Ident # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Ident -> m Ident #
Ord Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #
Show Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
JsToDoc Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: Ident -> Doc #
JMacro Ident #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: Ident -> JMGadt Ident # jfromGADT :: JMGadt Ident -> Ident #

newtype SaneDouble #

Constructors

SaneDouble Double

Instances

Eq SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: SaneDouble -> SaneDouble -> Bool # (/=) :: SaneDouble -> SaneDouble -> Bool #
Fractional SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods (/) :: SaneDouble -> SaneDouble -> SaneDouble # recip :: SaneDouble -> SaneDouble # fromRational :: Rational -> SaneDouble #
Data SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SaneDouble -> c SaneDouble # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SaneDouble # toConstr :: SaneDouble -> Constr # dataTypeOf :: SaneDouble -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SaneDouble) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SaneDouble) # gmapT :: (forall b. Data b => b -> b) -> SaneDouble -> SaneDouble # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SaneDouble -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SaneDouble -> r # gmapQ :: (forall d. Data d => d -> u) -> SaneDouble -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SaneDouble -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SaneDouble -> m SaneDouble # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SaneDouble -> m SaneDouble # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SaneDouble -> m SaneDouble #
Num SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods (+) :: SaneDouble -> SaneDouble -> SaneDouble # (-) :: SaneDouble -> SaneDouble -> SaneDouble # (*) :: SaneDouble -> SaneDouble -> SaneDouble # negate :: SaneDouble -> SaneDouble # abs :: SaneDouble -> SaneDouble # signum :: SaneDouble -> SaneDouble # fromInteger :: Integer -> SaneDouble #
Ord SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: SaneDouble -> SaneDouble -> Ordering # (<) :: SaneDouble -> SaneDouble -> Bool # (<=) :: SaneDouble -> SaneDouble -> Bool # (>) :: SaneDouble -> SaneDouble -> Bool # (>=) :: SaneDouble -> SaneDouble -> Bool # max :: SaneDouble -> SaneDouble -> SaneDouble # min :: SaneDouble -> SaneDouble -> SaneDouble #
Show SaneDouble #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> SaneDouble -> ShowS # show :: SaneDouble -> String # showList :: [SaneDouble] -> ShowS #

data JVal #

Values

Constructors

JVar Ident
JList [JExpr]
JDouble SaneDouble
JInt Integer
JStr String
JRegEx String
JHash (Map String JExpr)
JFunc [Ident] JStat
UnsatVal (IdentSupply JVal)

Instances

Eq JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: JVal -> JVal -> Bool # (/=) :: JVal -> JVal -> Bool #
Data JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JVal -> c JVal # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JVal # toConstr :: JVal -> Constr # dataTypeOf :: JVal -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JVal) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JVal) # gmapT :: (forall b. Data b => b -> b) -> JVal -> JVal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JVal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JVal -> r # gmapQ :: (forall d. Data d => d -> u) -> JVal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JVal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JVal -> m JVal # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JVal -> m JVal # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JVal -> m JVal #
Ord JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: JVal -> JVal -> Ordering # (<) :: JVal -> JVal -> Bool # (<=) :: JVal -> JVal -> Bool # (>) :: JVal -> JVal -> Bool # (>=) :: JVal -> JVal -> Bool # max :: JVal -> JVal -> JVal # min :: JVal -> JVal -> JVal #
Show JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> JVal -> ShowS # show :: JVal -> String # showList :: [JVal] -> ShowS #
ToJExpr JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: JVal -> JExpr # toJExprFromList :: [JVal] -> JExpr #
JsToDoc JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JVal -> Doc #
JMacro JVal #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JVal -> JMGadt JVal # jfromGADT :: JMGadt JVal -> JVal #
JTypeCheck JVal #
Instance details Defined in Language.Javascript.JMacro.TypeCheck Methods typecheck :: JVal -> TMonad JType #

data JExpr #

Expressions

Instances

Eq JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: JExpr -> JExpr -> Bool # (/=) :: JExpr -> JExpr -> Bool #
Data JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JExpr -> c JExpr # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JExpr # toConstr :: JExpr -> Constr # dataTypeOf :: JExpr -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JExpr) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JExpr) # gmapT :: (forall b. Data b => b -> b) -> JExpr -> JExpr # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JExpr -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JExpr -> r # gmapQ :: (forall d. Data d => d -> u) -> JExpr -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JExpr -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JExpr -> m JExpr # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JExpr -> m JExpr # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JExpr -> m JExpr #
Num JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods (+) :: JExpr -> JExpr -> JExpr # (-) :: JExpr -> JExpr -> JExpr # (*) :: JExpr -> JExpr -> JExpr # negate :: JExpr -> JExpr # abs :: JExpr -> JExpr # signum :: JExpr -> JExpr # fromInteger :: Integer -> JExpr #
Ord JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: JExpr -> JExpr -> Ordering # (<) :: JExpr -> JExpr -> Bool # (<=) :: JExpr -> JExpr -> Bool # (>) :: JExpr -> JExpr -> Bool # (>=) :: JExpr -> JExpr -> Bool # max :: JExpr -> JExpr -> JExpr # min :: JExpr -> JExpr -> JExpr #
Show JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> JExpr -> ShowS # show :: JExpr -> String # showList :: [JExpr] -> ShowS #
ToStat JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: JExpr -> JStat #
ToJExpr JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods toJExpr :: JExpr -> JExpr # toJExprFromList :: [JExpr] -> JExpr #
JsToDoc JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JExpr -> Doc #
JMacro JExpr #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JExpr -> JMGadt JExpr # jfromGADT :: JMGadt JExpr -> JExpr #
JTypeCheck JExpr #
Instance details Defined in Language.Javascript.JMacro.TypeCheck Methods typecheck :: JExpr -> TMonad JType #
ToStat [JExpr] #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: [JExpr] -> JStat #
JsToDoc [JExpr] #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: [JExpr] -> Doc #

type JsLabel = String #

data JStat #

Statements

Instances

Eq JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: JStat -> JStat -> Bool # (/=) :: JStat -> JStat -> Bool #
Data JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JStat -> c JStat # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JStat # toConstr :: JStat -> Constr # dataTypeOf :: JStat -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JStat) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JStat) # gmapT :: (forall b. Data b => b -> b) -> JStat -> JStat # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JStat -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JStat -> r # gmapQ :: (forall d. Data d => d -> u) -> JStat -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JStat -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JStat -> m JStat # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JStat -> m JStat # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JStat -> m JStat #
Ord JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: JStat -> JStat -> Ordering # (<) :: JStat -> JStat -> Bool # (<=) :: JStat -> JStat -> Bool # (>) :: JStat -> JStat -> Bool # (>=) :: JStat -> JStat -> Bool # max :: JStat -> JStat -> JStat # min :: JStat -> JStat -> JStat #
Show JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> JStat -> ShowS # show :: JStat -> String # showList :: [JStat] -> ShowS #
Semigroup JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods (<>) :: JStat -> JStat -> JStat # sconcat :: NonEmpty JStat -> JStat # stimes :: Integral b => b -> JStat -> JStat #
Monoid JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods mempty :: JStat # mappend :: JStat -> JStat -> JStat # mconcat :: [JStat] -> JStat #
ToStat JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: JStat -> JStat #
JsToDoc JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JStat -> Doc #
JMacro JStat #
Instance details Defined in Language.Javascript.JMacro.Base Methods jtoGADT :: JStat -> JMGadt JStat # jfromGADT :: JMGadt JStat -> JStat #
JTypeCheck JStat #
Instance details Defined in Language.Javascript.JMacro.TypeCheck Methods typecheck :: JStat -> TMonad JType #
ToStat [JStat] #
Instance details Defined in Language.Javascript.JMacro.Base Methods toStat :: [JStat] -> JStat #
JsToDoc [JStat] #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: [JStat] -> Doc #

newtype IdentSupply a #

Constructors

IS
Fields runIdentSupply :: State [Ident] a

Instances

Functor IdentSupply #
Instance details Defined in Language.Javascript.JMacro.Base Methods fmap :: (a -> b) -> IdentSupply a -> IdentSupply b # (<$) :: a -> IdentSupply b -> IdentSupply a #
Eq a => Eq (IdentSupply a) #
Instance details Defined in Language.Javascript.JMacro.Base Methods (==) :: IdentSupply a -> IdentSupply a -> Bool # (/=) :: IdentSupply a -> IdentSupply a -> Bool #
Data a => Data (IdentSupply a) #
Instance details Defined in Language.Javascript.JMacro.Base Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IdentSupply a -> c (IdentSupply a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IdentSupply a) # toConstr :: IdentSupply a -> Constr # dataTypeOf :: IdentSupply a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IdentSupply a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IdentSupply a)) # gmapT :: (forall b. Data b => b -> b) -> IdentSupply a -> IdentSupply a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IdentSupply a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IdentSupply a -> r # gmapQ :: (forall d. Data d => d -> u) -> IdentSupply a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> IdentSupply a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> IdentSupply a -> m (IdentSupply a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentSupply a -> m (IdentSupply a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IdentSupply a -> m (IdentSupply a) #
Ord a => Ord (IdentSupply a) #
Instance details Defined in Language.Javascript.JMacro.Base Methods compare :: IdentSupply a -> IdentSupply a -> Ordering # (<) :: IdentSupply a -> IdentSupply a -> Bool # (<=) :: IdentSupply a -> IdentSupply a -> Bool # (>) :: IdentSupply a -> IdentSupply a -> Bool # (>=) :: IdentSupply a -> IdentSupply a -> Bool # max :: IdentSupply a -> IdentSupply a -> IdentSupply a # min :: IdentSupply a -> IdentSupply a -> IdentSupply a #
Show a => Show (IdentSupply a) #
Instance details Defined in Language.Javascript.JMacro.Base Methods showsPrec :: Int -> IdentSupply a -> ShowS # show :: IdentSupply a -> String # showList :: [IdentSupply a] -> ShowS #

composOp :: Compos t => (forall a. t a -> t a) -> t b -> t b #

composOpM :: (Compos t, Monad m) => (forall a. t a -> m (t a)) -> t b -> m (t b) #

composOpM_ :: (Compos t, Monad m) => (forall a. t a -> m ()) -> t b -> m () #

composOpFold :: Compos t => b -> (b -> b -> b) -> (forall a. t a -> b) -> t c -> b #

jsSaturate :: JMacro a => Maybe String -> a -> a #

Given an optional prefix, fills in all free variable names with a supply of names generated by the prefix.

withHygiene :: JMacro a => (a -> a) -> a -> a #

Apply a transformation to a fully saturated syntax tree, taking care to return any free variables back to their free state following the transformation. As the transformation preserves free variables, it is hygienic.

scopify :: JStat -> JStat #

Takes a fully saturated expression and transforms it to use unique variables that respect scope.

renderJs :: (JsToDoc a, JMacro a) => a -> Doc #

Render a syntax tree as a pretty-printable document (simply showing the resultant doc produces a nice, well formatted String).

renderPrefixJs :: (JsToDoc a, JMacro a) => String -> a -> Doc #

Render a syntax tree as a pretty-printable document, using a given prefix to all generated names. Use this with distinct prefixes to ensure distinct generated names between independent calls to render(Prefix)Js.

jLam :: ToSat a => a -> JExpr #

Create a new anonymous function. The result is an expression. Usage: jLam $ x y -> {JExpr involving x and y}

jVar :: ToSat a => a -> JStat #

Introduce a new variable into scope for the duration of the enclosed expression. The result is a block statement. Usage: jVar $ x y -> {JExpr involving x and y}

jVarTy :: ToSat a => a -> Maybe JLocalType -> JStat #

Introduce a new variable with optional type into scope for the duration of the enclosed expression. The result is a block statement. Usage: jVar $ x y -> {JExpr involving x and y}

jForIn :: ToSat a => JExpr -> (JExpr -> a) -> JStat #

Create a for in statement. Usage: jForIn {expression} $ x -> {block involving x}

jForEachIn :: ToSat a => JExpr -> (JExpr -> a) -> JStat #

As with "jForIn" but creating a "for each in" statement.

jTryCatchFinally :: ToSat a => JStat -> a -> JStat -> JStat #

jsv :: String -> JExpr #

jFor :: (ToJExpr a, ToStat b) => JStat -> a -> JStat -> b -> JStat #

jhEmpty :: Map String JExpr #

jhSingle :: ToJExpr a => String -> a -> Map String JExpr #

jhAdd :: ToJExpr a => String -> a -> Map String JExpr -> Map String JExpr #

jhFromList :: [(String, JExpr)] -> JVal #

jtFromList :: JType -> [(String, JType)] -> JType #

nullStat :: JStat #

module Language.Javascript.JMacro.Prelude

data JType #

Constructors

JTNum
JTString
JTBool
JTStat
JTFunc [JType] JType
JTList JType
JTMap JType
JTRecord JType (Map String JType)
JTRigid VarRef (Set Constraint)
JTImpossible
JTFree VarRef
JTForall [VarRef] JType

Instances

Eq JType #
Instance details Defined in Language.Javascript.JMacro.Types Methods (==) :: JType -> JType -> Bool # (/=) :: JType -> JType -> Bool #
Data JType #
Instance details Defined in Language.Javascript.JMacro.Types Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JType -> c JType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JType # toConstr :: JType -> Constr # dataTypeOf :: JType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JType) # gmapT :: (forall b. Data b => b -> b) -> JType -> JType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JType -> r # gmapQ :: (forall d. Data d => d -> u) -> JType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JType -> m JType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JType -> m JType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JType -> m JType #
Ord JType #
Instance details Defined in Language.Javascript.JMacro.Types Methods compare :: JType -> JType -> Ordering # (<) :: JType -> JType -> Bool # (<=) :: JType -> JType -> Bool # (>) :: JType -> JType -> Bool # (>=) :: JType -> JType -> Bool # max :: JType -> JType -> JType # min :: JType -> JType -> JType #
Read JType #
Instance details Defined in Language.Javascript.JMacro.Types Methods readsPrec :: Int -> ReadS JType # readList :: ReadS [JType] # readPrec :: ReadPrec JType # readListPrec :: ReadPrec [JType] #
Show JType #
Instance details Defined in Language.Javascript.JMacro.Types Methods showsPrec :: Int -> JType -> ShowS # show :: JType -> String # showList :: [JType] -> ShowS #
JsToDoc JLocalType #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JLocalType -> Doc #
JsToDoc JType #
Instance details Defined in Language.Javascript.JMacro.Base Methods jsToDoc :: JType -> Doc #
Compos1 JType #
Instance details Defined in Language.Javascript.JMacro.TypeCheck Methods compos1 :: (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (JType -> m JType) -> JType -> m JType #

ValExpr JVal
SelExpr JExpr Ident
IdxExpr JExpr JExpr
InfixExpr String JExpr JExpr
PPostExpr Bool String JExpr
IfExpr JExpr JExpr JExpr
NewExpr JExpr
ApplExpr JExpr [JExpr]
UnsatExpr (IdentSupply JExpr)
AntiExpr String
TypeExpr Bool JExpr JLocalType

DeclStat Ident (Maybe JLocalType)
ReturnStat JExpr
IfStat JExpr JStat JStat
WhileStat Bool JExpr JStat
ForInStat Bool Ident JExpr JStat
SwitchStat JExpr [(JExpr, JStat)] JStat
TryStat JStat Ident JStat JStat
BlockStat [JStat]
ApplStat JExpr [JExpr]
PPostStat Bool String JExpr
AssignStat JExpr JExpr
UnsatBlock (IdentSupply JStat)
AntiStat String
ForeignStat Ident JLocalType
LabelStat JsLabel JStat
BreakStat (Maybe JsLabel)
ContinueStat (Maybe JsLabel)