License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
IRTS.JavaScript.LangTransforms
Contents
Description
Documentation
Orphan instances
Data FDesc Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FDesc -> c FDesc gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FDesc dataTypeOf :: FDesc -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FDesc) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FDesc) gmapT :: (forall b. Data b => b -> b) -> FDesc -> FDesc gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FDesc -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FDesc -> r gmapQ :: (forall d. Data d => d -> u) -> FDesc -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FDesc -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FDesc -> m FDesc | |
Data LDecl Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LDecl -> c LDecl gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LDecl dataTypeOf :: LDecl -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LDecl) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LDecl) gmapT :: (forall b. Data b => b -> b) -> LDecl -> LDecl gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LDecl -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LDecl -> r gmapQ :: (forall d. Data d => d -> u) -> LDecl -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LDecl -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LDecl -> m LDecl | |
Data LExp Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LExp -> c LExp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LExp dataTypeOf :: LExp -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LExp) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LExp) gmapT :: (forall b. Data b => b -> b) -> LExp -> LExp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LExp -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LExp -> r gmapQ :: (forall d. Data d => d -> u) -> LExp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LExp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LExp -> m LExp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LExp -> m LExp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LExp -> m LExp | |
Data LOpt Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LOpt -> c LOpt gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LOpt dataTypeOf :: LOpt -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LOpt) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LOpt) gmapT :: (forall b. Data b => b -> b) -> LOpt -> LOpt gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LOpt -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LOpt -> r gmapQ :: (forall d. Data d => d -> u) -> LOpt -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LOpt -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LOpt -> m LOpt | |
Data LVar Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LVar -> c LVar gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LVar dataTypeOf :: LVar -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LVar) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LVar) gmapT :: (forall b. Data b => b -> b) -> LVar -> LVar gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LVar -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LVar -> r gmapQ :: (forall d. Data d => d -> u) -> LVar -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LVar -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LVar -> m LVar gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LVar -> m LVar gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LVar -> m LVar | |
Data PrimFn Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimFn -> c PrimFn gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimFn dataTypeOf :: PrimFn -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimFn) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimFn) gmapT :: (forall b. Data b => b -> b) -> PrimFn -> PrimFn gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimFn -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimFn -> r gmapQ :: (forall d. Data d => d -> u) -> PrimFn -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimFn -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimFn -> m PrimFn | |
Data CaseType Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseType -> c CaseType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaseType toConstr :: CaseType -> Constr dataTypeOf :: CaseType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaseType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaseType) gmapT :: (forall b. Data b => b -> b) -> CaseType -> CaseType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseType -> r gmapQ :: (forall d. Data d => d -> u) -> CaseType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseType -> m CaseType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseType -> m CaseType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseType -> m CaseType |