License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell2010

IRTS.JavaScript.LangTransforms

Contents

Orphan instances

Description

Documentation

removeDeadCode :: Map Name LDecl -> [Name] -> Map Name LDecl Source #

globlToCon :: Map Name LDecl -> Map Name LDecl Source #

Orphan instances

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 :: (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 #
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 # toConstr :: LOpt -> Constr # 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 :: (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 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 # toConstr :: LDecl -> Constr # 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 :: (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 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 # toConstr :: PrimFn -> Constr # 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 :: (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 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 # toConstr :: FDesc -> Constr # 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 :: (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 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 # toConstr :: LExp -> Constr # 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 :: (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 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 # toConstr :: LVar -> Constr # 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 :: (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 #