Data.Data (original) (raw)
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Since: base-4.7.0.0
Instance details
Defined in Data.Data
Since: base-4.8.0.0
Instance details
Defined in Data.Void
Since: base-4.11.0.0
Instance details
Defined in Data.Data
Since: base-4.11.0.0
Instance details
Defined in Data.Data
Data SpecConstrAnnotation Source #
Since: base-4.3.0.0
Instance details
Defined in GHC.Exts
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data DecidedStrictness Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data SourceStrictness Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data SourceUnpackedness Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Data a => Data (ZipList a) Source #
Since: base-4.14.0.0
Instance details
Defined in Data.Data
Data a => Data (Complex a) Source #
Since: base-2.1
Instance details
Defined in Data.Complex
Data a => Data (Identity a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data a => Data (First a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data a => Data (Last a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data a => Data (Down a) Source #
Since: base-4.12.0.0
Instance details
Defined in Data.Data
Data a => Data (First a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Data a => Data (Last a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Data a => Data (Max a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Data a => Data (Min a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Data m => Data (WrappedMonoid m) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
Data a => Data (Dual a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data a => Data (Product a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data a => Data (Sum a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data a => Data (ForeignPtr a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data p => Data (Par1 p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data a => Data (Ptr a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
(Data a, Integral a) => Data (Ratio a) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Data a => Data (NonEmpty a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data a => Data (Maybe a) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Since: base-4.15
Instance details
Defined in Data.Data
Since: base-4.0.0.0
Instance details
Defined in Data.Data
(Typeable m, Typeable a, Data (m a)) => Data (WrappedMonad m a) Source #
Since: base-4.14.0.0
Instance details
Defined in Data.Data
(Data a, Data b) => Data (Either a b) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
(Typeable k, Typeable a) => Data (Fixed a) Source #
Since: base-4.1.0.0
Instance details
Defined in Data.Fixed
Data t => Data (Proxy t) Source #
Since: base-4.7.0.0
Instance details
Defined in Data.Data
(Data a, Data b) => Data (Arg a b) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Semigroup
(Data a, Data b, Ix a) => Data (Array a b) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
Data p => Data (U1 p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
Data p => Data (V1 p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Data a, Data b) => Data (a, b) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
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 :: forall r r'. (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 a, Typeable b, Typeable c, Data (a b c)) => Data (WrappedArrow a b c) Source #
Since: base-4.14.0.0
Instance details
Defined in Data.Data
(Typeable k, Data a, Typeable b) => Data (Const a b) Source #
Since: base-4.10.0.0
Instance details
Defined in Data.Data
(Data (f a), Data a, Typeable f) => Data (Ap f a) Source #
Since: base-4.12.0.0
Instance details
Defined in Data.Data
(Data (f a), Data a, Typeable f) => Data (Alt f a) Source #
Since: base-4.8.0.0
Instance details
Defined in Data.Data
(Coercible a b, Data a, Data b) => Data (Coercion a b) Source #
Since: base-4.7.0.0
Instance details
Defined in Data.Data
(a ~ b, Data a) => Data (a :~: b) Source #
Since: base-4.7.0.0
Instance details
Defined in Data.Data
(Data (f p), Typeable f, Data p) => Data (Rec1 f p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Data a, Data b, Data c) => Data (a, b, c) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d b0. Data d => c0 (d -> b0) -> d -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c) -> c0 (a, b, c) Source #
gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c) Source #
toConstr :: (a, b, c) -> Constr Source #
dataTypeOf :: (a, b, c) -> DataType Source #
dataCast1 :: Typeable t => (forall d. Data d => c0 (t d)) -> Maybe (c0 (a, b, c)) Source #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c0 (t d e)) -> Maybe (c0 (a, b, c)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c) -> (a, b, c) Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> (a, b, c) -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> (a, b, c) -> r Source #
gmapQ :: (forall d. Data d => d -> u) -> (a, b, c) -> [u] Source #
gmapQi :: Int -> (forall d. Data d => d -> u) -> (a, b, c) -> u Source #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Source #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Source #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> (a, b, c) -> m (a, b, c) Source #
(Typeable a, Typeable f, Typeable g, Typeable k, Data (f a), Data (g a)) => Data (Product f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Product
(Typeable a, Typeable f, Typeable g, Typeable k, Data (f a), Data (g a)) => Data (Sum f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Sum
(Typeable i, Typeable j, Typeable a, Typeable b, a ~~ b) => Data (a :~~: b) Source #
Since: base-4.10.0.0
Instance details
Defined in Data.Data
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :*: g) p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Typeable f, Typeable g, Data p, Data (f p), Data (g p)) => Data ((f :+: g) p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Typeable i, Data p, Data c) => Data (K1 i c p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Data a, Data b, Data c, Data d) => Data (a, b, c, d) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d) -> c0 (a, b, c, d) Source #
gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d) Source #
toConstr :: (a, b, c, d) -> Constr Source #
dataTypeOf :: (a, b, c, d) -> DataType Source #
dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d)) Source #
dataCast2 :: Typeable t => (forall d0 e. (Data d0, Data e) => c0 (t d0 e)) -> Maybe (c0 (a, b, c, d)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d) -> (a, b, c, d) Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d) -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d) -> r Source #
gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d) -> [u] Source #
gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d) -> u Source #
gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Source #
gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Source #
gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d) -> m (a, b, c, d) Source #
(Typeable a, Typeable f, Typeable g, Typeable k1, Typeable k2, Data (f (g a))) => Data (Compose f g a) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Functor.Compose
(Typeable f, Typeable g, Data p, Data (f (g p))) => Data ((f :.: g) p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Data p, Data (f p), Typeable c, Typeable i, Typeable f) => Data (M1 i c f p) Source #
Since: base-4.9.0.0
Instance details
Defined in Data.Data
(Data a, Data b, Data c, Data d, Data e) => Data (a, b, c, d, e) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d, e) -> c0 (a, b, c, d, e) Source #
gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e) Source #
toConstr :: (a, b, c, d, e) -> Constr Source #
dataTypeOf :: (a, b, c, d, e) -> DataType Source #
dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d, e)) Source #
dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (c0 (a, b, c, d, e)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e) -> (a, b, c, d, e) Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e) -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e) -> r Source #
gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e) -> [u] Source #
gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e) -> u Source #
gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Source #
gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Source #
gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e) -> m (a, b, c, d, e) Source #
(Data a, Data b, Data c, Data d, Data e, Data f) => Data (a, b, c, d, e, f) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g. g -> c0 g) -> (a, b, c, d, e, f) -> c0 (a, b, c, d, e, f) Source #
gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f) Source #
toConstr :: (a, b, c, d, e, f) -> Constr Source #
dataTypeOf :: (a, b, c, d, e, f) -> DataType Source #
dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d, e, f)) Source #
dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (c0 (a, b, c, d, e, f)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e, f) -> (a, b, c, d, e, f) Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f) -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f) -> r Source #
gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f) -> [u] Source #
gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f) -> u Source #
gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Source #
gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Source #
gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f) Source #
(Data a, Data b, Data c, Data d, Data e, Data f, Data g) => Data (a, b, c, d, e, f, g) Source #
Since: base-4.0.0.0
Instance details
Defined in Data.Data
Methods
gfoldl :: (forall d0 b0. Data d0 => c0 (d0 -> b0) -> d0 -> c0 b0) -> (forall g0. g0 -> c0 g0) -> (a, b, c, d, e, f, g) -> c0 (a, b, c, d, e, f, g) Source #
gunfold :: (forall b0 r. Data b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f, g) Source #
toConstr :: (a, b, c, d, e, f, g) -> Constr Source #
dataTypeOf :: (a, b, c, d, e, f, g) -> DataType Source #
dataCast1 :: Typeable t => (forall d0. Data d0 => c0 (t d0)) -> Maybe (c0 (a, b, c, d, e, f, g)) Source #
dataCast2 :: Typeable t => (forall d0 e0. (Data d0, Data e0) => c0 (t d0 e0)) -> Maybe (c0 (a, b, c, d, e, f, g)) Source #
gmapT :: (forall b0. Data b0 => b0 -> b0) -> (a, b, c, d, e, f, g) -> (a, b, c, d, e, f, g) Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f, g) -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d0. Data d0 => d0 -> r') -> (a, b, c, d, e, f, g) -> r Source #
gmapQ :: (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f, g) -> [u] Source #
gmapQi :: Int -> (forall d0. Data d0 => d0 -> u) -> (a, b, c, d, e, f, g) -> u Source #
gmapM :: Monad m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Source #
gmapMp :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Source #
gmapMo :: MonadPlus m => (forall d0. Data d0 => d0 -> m d0) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g) Source #