idris-1.3.1: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.JavaScript.LangTransforms

Contents

Description

 

Documentation

Orphan instances

Data CaseType Source # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 # 
Instance details

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 #