Data.Data.Extras

Contents

• Data.Data
  • Kind: *
  • Kind: * -> *
  • Kind: * -> * -> *
• Combinators
• Lifting k in gfoldl{n} k
• Lifting f in gunfold{n} f

Synopsis

• module Data.Data
• class Typeable1 f => Data1 f where
  • gfoldl1 :: Data a => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> f a -> c (f a)
  • gunfold1 :: Data a => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (f a)
  • toConstr1 :: Data a => f a -> Constr
  • dataTypeOf1 :: Data a => f a -> DataType
  • dataCast1_1 :: (Typeable1 t, Data a) => (forall d. Data d => c (t d)) -> Maybe (c (f a))
  • dataCast2_1 :: (Typeable2 t, Data a) => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (f a))
  • gmapT1 :: Data a => (forall b. Data b => b -> b) -> f a -> f a
  • gmapQl1 :: Data a => (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> f a -> r
  • gmapQr1 :: Data a => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> f a -> r
  • gmapQ1 :: Data a => (forall d. Data d => d -> u) -> f a -> [u]
  • gmapQi1 :: Data a => Int -> (forall d. Data d => d -> u) -> f a -> u
  • gmapM1 :: (Monad m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)
  • gmapMp1 :: (MonadPlus m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)
  • gmapMo1 :: (MonadPlus m, Data a) => (forall d. Data d => d -> m d) -> f a -> m (f a)
• fromConstr1 :: (Data1 f, Data a) => Constr -> f a
• fromConstrB1 :: (Data1 f, Data a) => (forall d. Data d => d) -> Constr -> f a
• fromConstrM1 :: (Monad m, Data1 f, Data a) => (forall d. Data d => m d) -> Constr -> m (f a)
• class Typeable2 f => Data2 f where
  • gfoldl2 :: (Data a, Data x) => (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> f a x -> c (f a x)
  • gunfold2 :: (Data a, Data x) => (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (f a x)
  • toConstr2 :: (Data a, Data x) => f a x -> Constr
  • dataTypeOf2 :: (Data a, Data x) => f a x -> DataType
  • dataCast1_2 :: (Typeable1 t, Data a, Data x) => (forall d. Data d => c (t d)) -> Maybe (c (f a x))
  • dataCast2_2 :: (Typeable2 t, Data a, Data x) => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (f a x))
  • gmapT2 :: (Data a, Data x) => (forall b. Data b => b -> b) -> f a x -> f a x
  • gmapQl2 :: (Data a, Data x) => (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> f a x -> r
  • gmapQr2 :: (Data a, Data x) => (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> f a x -> r
  • gmapQ2 :: (Data a, Data x) => (forall d. Data d => d -> u) -> f a x -> [u]
  • gmapQi2 :: (Data a, Data x) => Int -> (forall d. Data d => d -> u) -> f a x -> u
  • gmapM2 :: (Monad m, Data a, Data x) => (forall d. Data d => d -> m d) -> f a x -> m (f a x)
  • gmapMp2 :: (MonadPlus m, Data a, Data x) => (forall d. Data d => d -> m d) -> f a x -> m (f a x)
  • gmapMo2 :: (MonadPlus m, Data a, Data x) => (forall d. Data d => d -> m d) -> f a x -> m (f a x)
• fromConstr2 :: (Data2 f, Data a, Data x) => Constr -> f a x
• fromConstrB2 :: (Data2 f, Data a, Data x) => (forall d. Data d => d) -> Constr -> f a x
• fromConstrM2 :: (Monad m, Data2 f, Data a, Data x) => (forall d. Data d => m d) -> Constr -> m (f a x)
• liftK :: (Data1 d1, Data a) => (forall d b. Data d => c (d -> b) -> d -> c b) -> c (d1 a -> b') -> d1 a -> c b'
• liftK2 :: (Data2 d2, Data a, Data x) => (forall d b. Data d => c (d -> b) -> d -> c b) -> c (d2 a x -> b') -> d2 a x -> c b'
• liftF :: (Data1 b1, Data a) => (forall b r. Data b => c (b -> r) -> c r) -> c (b1 a -> r') -> c r'
• liftF2 :: (Data2 b2, Data a, Data x) => (forall b r. Data b => c (b -> r) -> c r) -> c (b2 a x -> r') -> c r'

Data.Data

Kind: *

Kind: * -> *

Kind: * -> * -> *

Combinators

Lifting k in gfoldl{n} k

Lifting f in gunfold{n} f