syb-0.7.1: Scrap Your Boilerplate

Copyright | (c) The University of Glasgow CWI 2001--2004
License | BSD-style (see the LICENSE file)
Maintainer | generics@haskell.org
Stability | experimental
Portability | non-portable (uses Data.Data)
Safe Haskell | None
Language | Haskell98

Data.Generics.Instances

Contents

- Orphan instances

Description

"Scrap your boilerplate" --- Generic programming in Haskell See http://www.cs.uu.nl/wiki/GenericProgramming/SYB. The present module contains thirteen `Data` instances which are considered dubious (either because the types are abstract or just not meant to be traversed). Instances in this module might change or disappear in future releases of this package.

(This module does not export anything. It really just defines instances.)

# Orphan instances

Data TyCon Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyCon -> c TyCon Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TyCon Source #

toConstr :: TyCon -> Constr Source #

dataTypeOf :: TyCon -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TyCon) Source #

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

gmapT :: (forall b. Data b => b -> b) -> TyCon -> TyCon Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyCon -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyCon -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TyCon -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TyCon -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyCon -> m TyCon Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyCon -> m TyCon Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyCon -> m TyCon Source #

Data DataType Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataType -> c DataType Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataType Source #

toConstr :: DataType -> Constr Source #

dataTypeOf :: DataType -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataType) Source #

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

gmapT :: (forall b. Data b => b -> b) -> DataType -> DataType Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataType -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataType -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> DataType -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataType -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataType -> m DataType Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataType -> m DataType Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataType -> m DataType Source #

Data ThreadId Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ThreadId -> c ThreadId Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ThreadId Source #

toConstr :: ThreadId -> Constr Source #

dataTypeOf :: ThreadId -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ThreadId) Source #

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

gmapT :: (forall b. Data b => b -> b) -> ThreadId -> ThreadId Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ThreadId -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ThreadId -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ThreadId -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ThreadId -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ThreadId -> m ThreadId Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ThreadId -> m ThreadId Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ThreadId -> m ThreadId Source #

Data Handle Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Handle -> c Handle Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Handle Source #

toConstr :: Handle -> Constr Source #

dataTypeOf :: Handle -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Handle) Source #

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

gmapT :: (forall b. Data b => b -> b) -> Handle -> Handle Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Handle -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Handle -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Handle -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Handle -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Handle -> m Handle Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Handle -> m Handle Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Handle -> m Handle Source #

Typeable a => Data (StablePtr a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StablePtr a -> c (StablePtr a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (StablePtr a) Source #

toConstr :: StablePtr a -> Constr Source #

dataTypeOf :: StablePtr a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (StablePtr a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (StablePtr a)) Source #

gmapT :: (forall b. Data b => b -> b) -> StablePtr a -> StablePtr a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StablePtr a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StablePtr a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> StablePtr a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> StablePtr a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StablePtr a -> m (StablePtr a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StablePtr a -> m (StablePtr a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StablePtr a -> m (StablePtr a) Source #

Typeable a => Data (IO a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IO a -> c (IO a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IO a) Source #

toConstr :: IO a -> Constr Source #

dataTypeOf :: IO a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IO a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IO a)) Source #

gmapT :: (forall b. Data b => b -> b) -> IO a -> IO a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IO a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IO a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> IO a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IO a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IO a -> m (IO a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IO a -> m (IO a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IO a -> m (IO a) Source #

Typeable a => Data (STM a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> STM a -> c (STM a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (STM a) Source #

toConstr :: STM a -> Constr Source #

dataTypeOf :: STM a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (STM a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (STM a)) Source #

gmapT :: (forall b. Data b => b -> b) -> STM a -> STM a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> STM a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> STM a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> STM a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> STM a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> STM a -> m (STM a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> STM a -> m (STM a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> STM a -> m (STM a) Source #

Typeable a => Data (TVar a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TVar a -> c (TVar a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TVar a) Source #

toConstr :: TVar a -> Constr Source #

dataTypeOf :: TVar a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TVar a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TVar a)) Source #

gmapT :: (forall b. Data b => b -> b) -> TVar a -> TVar a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TVar a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TVar a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> TVar a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TVar a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TVar a -> m (TVar a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TVar a -> m (TVar a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TVar a -> m (TVar a) Source #

Typeable a => Data (IORef a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> IORef a -> c (IORef a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IORef a) Source #

toConstr :: IORef a -> Constr Source #

dataTypeOf :: IORef a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (IORef a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (IORef a)) Source #

gmapT :: (forall b. Data b => b -> b) -> IORef a -> IORef a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> IORef a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> IORef a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> IORef a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> IORef a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> IORef a -> m (IORef a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> IORef a -> m (IORef a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> IORef a -> m (IORef a) Source #

Typeable a => Data (MVar a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MVar a -> c (MVar a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MVar a) Source #

toConstr :: MVar a -> Constr Source #

dataTypeOf :: MVar a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (MVar a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (MVar a)) Source #

gmapT :: (forall b. Data b => b -> b) -> MVar a -> MVar a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MVar a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MVar a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> MVar a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> MVar a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MVar a -> m (MVar a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MVar a -> m (MVar a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MVar a -> m (MVar a) Source #

(Data a, Data b) => Data (a -> b) Source # |

Instance details

Methods

gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> (a -> b) -> c (a -> b) Source #

gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a -> b) Source #

toConstr :: (a -> b) -> Constr Source #

dataTypeOf :: (a -> b) -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (a -> b)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (a -> b)) Source #

gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a -> b) -> a -> b Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a -> b) -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a -> b) -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> (a -> b) -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> (a -> b) -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a -> b) -> m (a -> b) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a -> b) -> m (a -> b) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a -> b) -> m (a -> b) Source #

(Typeable s, Typeable a) => Data (ST s a) Source # |

Instance details

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ST s a -> c (ST s a) Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ST s a) Source #

toConstr :: ST s a -> Constr Source #

dataTypeOf :: ST s a -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ST s a)) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ST s a)) Source #

gmapT :: (forall b. Data b => b -> b) -> ST s a -> ST s a Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ST s a -> r Source #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ST s a -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> ST s a -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ST s a -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ST s a -> m (ST s a) Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ST s a -> m (ST s a) Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ST s a -> m (ST s a) Source #