idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.JavaScript.AST

Description

 

Documentation

data JsExpr Source #

Instances

Instances details
Data JsExpr Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JsExpr -> c JsExpr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JsExpr

toConstr :: JsExpr -> Constr

dataTypeOf :: JsExpr -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JsExpr)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JsExpr)

gmapT :: (forall b. Data b => b -> b) -> JsExpr -> JsExpr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JsExpr -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JsExpr -> r

gmapQ :: (forall d. Data d => d -> u) -> JsExpr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JsExpr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JsExpr -> m JsExpr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JsExpr -> m JsExpr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JsExpr -> m JsExpr

Show JsExpr Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

showsPrec :: Int -> JsExpr -> ShowS

show :: JsExpr -> String

showList :: [JsExpr] -> ShowS

Eq JsExpr Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

(==) :: JsExpr -> JsExpr -> Bool

(/=) :: JsExpr -> JsExpr -> Bool

data JsStmt Source #

Instances

Instances details
Data JsStmt Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JsStmt -> c JsStmt

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c JsStmt

toConstr :: JsStmt -> Constr

dataTypeOf :: JsStmt -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c JsStmt)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c JsStmt)

gmapT :: (forall b. Data b => b -> b) -> JsStmt -> JsStmt

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JsStmt -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JsStmt -> r

gmapQ :: (forall d. Data d => d -> u) -> JsStmt -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> JsStmt -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> JsStmt -> m JsStmt

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JsStmt -> m JsStmt

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JsStmt -> m JsStmt

Show JsStmt Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

showsPrec :: Int -> JsStmt -> ShowS

show :: JsStmt -> String

showList :: [JsStmt] -> ShowS

Eq JsStmt Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

(==) :: JsStmt -> JsStmt -> Bool

(/=) :: JsStmt -> JsStmt -> Bool

jsCurryLam :: [Text] -> JsExpr -> JsExpr Source #

jsAppN :: Text -> [JsExpr] -> JsExpr Source #

jsSetVar :: Text -> JsExpr -> JsStmt Source #