Documentation
class Typeable1 f => Data1 f whereSource
gfoldl1 :: Data a => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> f a -> c (f a)Source
gunfold1 :: Data a => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (f a)Source
toConstr1 :: Data a => f a -> ConstrSource
dataTypeOf1 :: Data a => f a -> DataTypeSource
dataCast1_1 :: (Typeable1 t, Data a) => (forall d. Data d => c (t d)) -> Maybe (c (f a))Source
dataCast2_1 :: (Typeable2 t, Data a) => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (f a))Source
gmapT1 :: Data a => (forall b. Data b => b -> b) -> f a -> f aSource
gmapQl1 :: Data a => (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> f a -> rSource
gmapQr1 :: Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> f a -> rSource
gmapQ1 :: Data a => (forall d. Data d => d -> u) -> f a -> [u]Source
gmapQi1 :: Data a => Int -> (forall d. Data d => d -> u) -> f a -> uSource
gmapM1 :: (Monad m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)Source
gmapMp1 :: (MonadPlus m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)Source
gmapMo1 :: (MonadPlus m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)Source
fromConstr1 :: (Data1 f, Data a) => Constr -> f aSource
fromConstr2 :: (Data2 f, Data a, Data x) => Constr -> f a xSource
fromConstrM2 :: (Monad m, Data2 f, Data a, Data x) => (forall d. Data d => m d) -> Constr -> m (f a x)Source
module Data.Data