idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe
LanguageHaskell2010

IRTS.JavaScript.AST

Description

 

Documentation

data JsExpr Source #

Instances
Eq JsExpr Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

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

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

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 :: (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

data JsStmt Source #

Instances
Eq JsStmt Source # 
Instance details

Defined in IRTS.JavaScript.AST

Methods

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

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

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 :: (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