Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Generics.SYB.WithClass.Instances
Contents
Orphan instances
Sat (ctx Handle) => Data ctx Handle # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Handle -> w Handle # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Handle # toConstr :: Proxy ctx -> Handle -> Constr # dataTypeOf :: Proxy ctx -> Handle -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Handle) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Handle) # | |
Sat (ctx DataType) => Data ctx DataType # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> DataType -> w DataType # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataType # toConstr :: Proxy ctx -> DataType -> Constr # dataTypeOf :: Proxy ctx -> DataType -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w DataType) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w DataType) # | |
Sat (ctx TyCon) => Data ctx TyCon # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> TyCon -> w TyCon # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TyCon # toConstr :: Proxy ctx -> TyCon -> Constr # dataTypeOf :: Proxy ctx -> TyCon -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w TyCon) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w TyCon) # | |
Sat (ctx TypeRep) => Data ctx TypeRep # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> TypeRep -> w TypeRep # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeRep # toConstr :: Proxy ctx -> TypeRep -> Constr # dataTypeOf :: Proxy ctx -> TypeRep -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w TypeRep) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w TypeRep) # | |
Sat (ctx ()) => Data ctx () # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> () -> w () # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c () # toConstr :: Proxy ctx -> () -> Constr # dataTypeOf :: Proxy ctx -> () -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ()) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ()) # | |
Sat (ctx Ordering) => Data ctx Ordering # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Ordering -> w Ordering # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Ordering # toConstr :: Proxy ctx -> Ordering -> Constr # dataTypeOf :: Proxy ctx -> Ordering -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Ordering) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Ordering) # | |
Sat (ctx Word64) => Data ctx Word64 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word64 -> w Word64 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word64 # toConstr :: Proxy ctx -> Word64 -> Constr # dataTypeOf :: Proxy ctx -> Word64 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word64) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word64) # | |
Sat (ctx Word32) => Data ctx Word32 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word32 -> w Word32 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word32 # toConstr :: Proxy ctx -> Word32 -> Constr # dataTypeOf :: Proxy ctx -> Word32 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word32) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word32) # | |
Sat (ctx Word16) => Data ctx Word16 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word16 -> w Word16 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word16 # toConstr :: Proxy ctx -> Word16 -> Constr # dataTypeOf :: Proxy ctx -> Word16 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word16) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word16) # | |
Sat (ctx Word8) => Data ctx Word8 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word8 -> w Word8 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word8 # toConstr :: Proxy ctx -> Word8 -> Constr # dataTypeOf :: Proxy ctx -> Word8 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word8) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word8) # | |
Sat (ctx Word) => Data ctx Word # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word -> w Word # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Word # toConstr :: Proxy ctx -> Word -> Constr # dataTypeOf :: Proxy ctx -> Word -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word) # | |
Sat (ctx Int64) => Data ctx Int64 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int64 -> w Int64 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int64 # toConstr :: Proxy ctx -> Int64 -> Constr # dataTypeOf :: Proxy ctx -> Int64 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int64) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int64) # | |
Sat (ctx Int32) => Data ctx Int32 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int32 -> w Int32 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int32 # toConstr :: Proxy ctx -> Int32 -> Constr # dataTypeOf :: Proxy ctx -> Int32 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int32) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int32) # | |
Sat (ctx Int16) => Data ctx Int16 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int16 -> w Int16 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int16 # toConstr :: Proxy ctx -> Int16 -> Constr # dataTypeOf :: Proxy ctx -> Int16 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int16) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int16) # | |
Sat (ctx Int8) => Data ctx Int8 # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int8 -> w Int8 # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int8 # toConstr :: Proxy ctx -> Int8 -> Constr # dataTypeOf :: Proxy ctx -> Int8 -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int8) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int8) # | |
Sat (ctx Integer) => Data ctx Integer # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Integer -> w Integer # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Integer # toConstr :: Proxy ctx -> Integer -> Constr # dataTypeOf :: Proxy ctx -> Integer -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Integer) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Integer) # | |
Sat (ctx Int) => Data ctx Int # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int -> w Int # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int # toConstr :: Proxy ctx -> Int -> Constr # dataTypeOf :: Proxy ctx -> Int -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int) # | |
Sat (ctx Double) => Data ctx Double # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Double -> w Double # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Double # toConstr :: Proxy ctx -> Double -> Constr # dataTypeOf :: Proxy ctx -> Double -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Double) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Double) # | |
Sat (ctx Float) => Data ctx Float # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Float -> w Float # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Float # toConstr :: Proxy ctx -> Float -> Constr # dataTypeOf :: Proxy ctx -> Float -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Float) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Float) # | |
Sat (ctx Char) => Data ctx Char # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Char -> w Char # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Char # toConstr :: Proxy ctx -> Char -> Constr # dataTypeOf :: Proxy ctx -> Char -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Char) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Char) # | |
Sat (ctx Bool) => Data ctx Bool # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Bool -> w Bool # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool # toConstr :: Proxy ctx -> Bool -> Constr # dataTypeOf :: Proxy ctx -> Bool -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Bool) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Bool) # | |
(Data ctx (ForeignPtr Word8), Data ctx Int, Sat (ctx ByteString), Sat (ctx (ForeignPtr Word8)), Sat (ctx Int)) => Data ctx ByteString # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ByteString -> w ByteString # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ByteString # toConstr :: Proxy ctx -> ByteString -> Constr # dataTypeOf :: Proxy ctx -> ByteString -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ByteString) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ByteString) # | |
(Data ctx ByteString, Sat (ctx ByteString), Sat (ctx ByteString)) => Data ctx ByteString # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ByteString -> w ByteString # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ByteString # toConstr :: Proxy ctx -> ByteString -> Constr # dataTypeOf :: Proxy ctx -> ByteString -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ByteString) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ByteString) # | |
(Sat (ctx (Set a)), Data ctx a, Ord a) => Data ctx (Set a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Set a -> w (Set a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # toConstr :: Proxy ctx -> Set a -> Constr # dataTypeOf :: Proxy ctx -> Set a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Set a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Set a)) # | |
(Sat (ctx (MVar a)), Typeable * a) => Data ctx (MVar a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> MVar a -> w (MVar a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (MVar a) # toConstr :: Proxy ctx -> MVar a -> Constr # dataTypeOf :: Proxy ctx -> MVar a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (MVar a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (MVar a)) # | |
(Sat (ctx (ForeignPtr a)), Typeable * a) => Data ctx (ForeignPtr a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ForeignPtr a -> w (ForeignPtr a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForeignPtr a) # toConstr :: Proxy ctx -> ForeignPtr a -> Constr # dataTypeOf :: Proxy ctx -> ForeignPtr a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (ForeignPtr a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (ForeignPtr a)) # | |
(Sat (ctx (IORef a)), Typeable * a) => Data ctx (IORef a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> IORef a -> w (IORef a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IORef a) # toConstr :: Proxy ctx -> IORef a -> Constr # dataTypeOf :: Proxy ctx -> IORef a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (IORef a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (IORef a)) # | |
(Sat (ctx (StablePtr a)), Typeable * a) => Data ctx (StablePtr a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> StablePtr a -> w (StablePtr a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (StablePtr a) # toConstr :: Proxy ctx -> StablePtr a -> Constr # dataTypeOf :: Proxy ctx -> StablePtr a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (StablePtr a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (StablePtr a)) # | |
(Sat (ctx (Ptr a)), Typeable * a) => Data ctx (Ptr a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Ptr a -> w (Ptr a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ptr a) # toConstr :: Proxy ctx -> Ptr a -> Constr # dataTypeOf :: Proxy ctx -> Ptr a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Ptr a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Ptr a)) # | |
(Sat (ctx (IO a)), Typeable * a) => Data ctx (IO a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> IO a -> w (IO a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (IO a) # toConstr :: Proxy ctx -> IO a -> Constr # dataTypeOf :: Proxy ctx -> IO a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (IO a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (IO a)) # | |
(Sat (ctx (Maybe a)), Data ctx a) => Data ctx (Maybe a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Maybe a -> w (Maybe a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Maybe a) # toConstr :: Proxy ctx -> Maybe a -> Constr # dataTypeOf :: Proxy ctx -> Maybe a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Maybe a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Maybe a)) # | |
(Sat (ctx [a]), Data ctx a) => Data ctx [a] # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> [a] -> w [a] # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c [a] # toConstr :: Proxy ctx -> [a] -> Constr # dataTypeOf :: Proxy ctx -> [a] -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w [a]) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w [a]) # | |
(Sat (ctx (Ratio a)), Data ctx a, Integral a) => Data ctx (Ratio a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Ratio a -> w (Ratio a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Ratio a) # toConstr :: Proxy ctx -> Ratio a -> Constr # dataTypeOf :: Proxy ctx -> Ratio a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Ratio a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Ratio a)) # | |
(Sat (ctx (Map a b)), Data ctx a, Data ctx b, Ord a) => Data ctx (Map a b) # | |
Methods gfoldl :: Proxy ctx -> (forall c d. Data ctx c => w (c -> d) -> c -> w d) -> (forall g. g -> w g) -> Map a b -> w (Map a b) # gunfold :: Proxy ctx -> (forall c r. Data ctx c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map a b) # toConstr :: Proxy ctx -> Map a b -> Constr # dataTypeOf :: Proxy ctx -> Map a b -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall c. Data ctx c => w (t c)) -> Maybe (w (Map a b)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall c d. (Data ctx c, Data ctx d) => w (t c d)) -> Maybe (w (Map a b)) # | |
(Sat (ctx [b]), Sat (ctx (Array a b)), Typeable * a, Data ctx b, Data ctx [b], Ix a) => Data ctx (Array a b) # | |
Methods gfoldl :: Proxy ctx -> (forall c d. Data ctx c => w (c -> d) -> c -> w d) -> (forall g. g -> w g) -> Array a b -> w (Array a b) # gunfold :: Proxy ctx -> (forall c r. Data ctx c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Array a b) # toConstr :: Proxy ctx -> Array a b -> Constr # dataTypeOf :: Proxy ctx -> Array a b -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall c. Data ctx c => w (t c)) -> Maybe (w (Array a b)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall c d. (Data ctx c, Data ctx d) => w (t c d)) -> Maybe (w (Array a b)) # | |
(Sat (ctx (ST s a)), Typeable * s, Typeable * a) => Data ctx (ST s a) # | |
Methods gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ST s a -> w (ST s a) # gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ST s a) # toConstr :: Proxy ctx -> ST s a -> Constr # dataTypeOf :: Proxy ctx -> ST s a -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (ST s a)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (ST s a)) # | |
(Sat (ctx (a, b)), Data ctx a, Data ctx b) => Data ctx (a, b) # | |
Methods gfoldl :: Proxy ctx -> (forall c d. Data ctx c => w (c -> d) -> c -> w d) -> (forall g. g -> w g) -> (a, b) -> w (a, b) # gunfold :: Proxy ctx -> (forall c r. Data ctx c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b) # toConstr :: Proxy ctx -> (a, b) -> Constr # dataTypeOf :: Proxy ctx -> (a, b) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall c. Data ctx c => w (t c)) -> Maybe (w (a, b)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall c d. (Data ctx c, Data ctx d) => w (t c d)) -> Maybe (w (a, b)) # | |
(Sat (ctx (a -> b)), Data ctx a, Data ctx b) => Data ctx (a -> b) # | |
Methods gfoldl :: Proxy ctx -> (forall c d. Data ctx c => w (c -> d) -> c -> w d) -> (forall g. g -> w g) -> (a -> b) -> w (a -> b) # gunfold :: Proxy ctx -> (forall c r. Data ctx c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a -> b) # toConstr :: Proxy ctx -> (a -> b) -> Constr # dataTypeOf :: Proxy ctx -> (a -> b) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall c. Data ctx c => w (t c)) -> Maybe (w (a -> b)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall c d. (Data ctx c, Data ctx d) => w (t c d)) -> Maybe (w (a -> b)) # | |
(Sat (ctx (Either a b)), Data ctx a, Data ctx b) => Data ctx (Either a b) # | |
Methods gfoldl :: Proxy ctx -> (forall c d. Data ctx c => w (c -> d) -> c -> w d) -> (forall g. g -> w g) -> Either a b -> w (Either a b) # gunfold :: Proxy ctx -> (forall c r. Data ctx c => c (c -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Either a b) # toConstr :: Proxy ctx -> Either a b -> Constr # dataTypeOf :: Proxy ctx -> Either a b -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall c. Data ctx c => w (t c)) -> Maybe (w (Either a b)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall c d. (Data ctx c, Data ctx d) => w (t c d)) -> Maybe (w (Either a b)) # | |
(Sat (ctx (a, b, c)), Data ctx a, Data ctx b, Data ctx c) => Data ctx (a, b, c) # | |
Methods gfoldl :: Proxy ctx -> (forall d e. Data ctx d => w (d -> e) -> d -> w e) -> (forall g. g -> w g) -> (a, b, c) -> w (a, b, c) # gunfold :: Proxy ctx -> (forall d r. Data ctx d => c (d -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b, c) # toConstr :: Proxy ctx -> (a, b, c) -> Constr # dataTypeOf :: Proxy ctx -> (a, b, c) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall d. Data ctx d => w (t d)) -> Maybe (w (a, b, c)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall d e. (Data ctx d, Data ctx e) => w (t d e)) -> Maybe (w (a, b, c)) # | |
(Sat (ctx (a, b, c, d)), Data ctx a, Data ctx b, Data ctx c, Data ctx d) => Data ctx (a, b, c, d) # | |
Methods gfoldl :: Proxy ctx -> (forall e f. Data ctx e => w (e -> f) -> e -> w f) -> (forall g. g -> w g) -> (a, b, c, d) -> w (a, b, c, d) # gunfold :: Proxy ctx -> (forall e r. Data ctx e => c (e -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b, c, d) # toConstr :: Proxy ctx -> (a, b, c, d) -> Constr # dataTypeOf :: Proxy ctx -> (a, b, c, d) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall e. Data ctx e => w (t e)) -> Maybe (w (a, b, c, d)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall e f. (Data ctx e, Data ctx f) => w (t e f)) -> Maybe (w (a, b, c, d)) # | |
(Sat (ctx (a, b, c, d, e)), Data ctx a, Data ctx b, Data ctx c, Data ctx d, Data ctx e) => Data ctx (a, b, c, d, e) # | |
Methods gfoldl :: Proxy ctx -> (forall f g. Data ctx f => w (f -> g) -> f -> w g) -> (forall g. g -> w g) -> (a, b, c, d, e) -> w (a, b, c, d, e) # gunfold :: Proxy ctx -> (forall f r. Data ctx f => c (f -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b, c, d, e) # toConstr :: Proxy ctx -> (a, b, c, d, e) -> Constr # dataTypeOf :: Proxy ctx -> (a, b, c, d, e) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall f. Data ctx f => w (t f)) -> Maybe (w (a, b, c, d, e)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall f g. (Data ctx f, Data ctx g) => w (t f g)) -> Maybe (w (a, b, c, d, e)) # | |
(Sat (ctx (a, b, c, d, e, f)), Data ctx a, Data ctx b, Data ctx c, Data ctx d, Data ctx e, Data ctx f) => Data ctx (a, b, c, d, e, f) # | |
Methods gfoldl :: Proxy ctx -> (forall g h. Data ctx g => w (g -> h) -> g -> w h) -> (forall g. g -> w g) -> (a, b, c, d, e, f) -> w (a, b, c, d, e, f) # gunfold :: Proxy ctx -> (forall g r. Data ctx g => c (g -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b, c, d, e, f) # toConstr :: Proxy ctx -> (a, b, c, d, e, f) -> Constr # dataTypeOf :: Proxy ctx -> (a, b, c, d, e, f) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall g. Data ctx g => w (t g)) -> Maybe (w (a, b, c, d, e, f)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall g h. (Data ctx g, Data ctx h) => w (t g h)) -> Maybe (w (a, b, c, d, e, f)) # | |
(Sat (ctx (a, b, c, d, e, f, g)), Data ctx a, Data ctx b, Data ctx c, Data ctx d, Data ctx e, Data ctx f, Data ctx g) => Data ctx (a, b, c, d, e, f, g) # | |
Methods gfoldl :: Proxy ctx -> (forall h i. Data ctx h => w (h -> i) -> h -> w i) -> (forall h. h -> w h) -> (a, b, c, d, e, f, g) -> w (a, b, c, d, e, f, g) # gunfold :: Proxy ctx -> (forall h r. Data ctx h => c (h -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (a, b, c, d, e, f, g) # toConstr :: Proxy ctx -> (a, b, c, d, e, f, g) -> Constr # dataTypeOf :: Proxy ctx -> (a, b, c, d, e, f, g) -> DataType # dataCast1 :: Typeable1 t => Proxy ctx -> (forall h. Data ctx h => w (t h)) -> Maybe (w (a, b, c, d, e, f, g)) # dataCast2 :: Typeable2 t => Proxy ctx -> (forall h i. (Data ctx h, Data ctx i) => w (t h i)) -> Maybe (w (a, b, c, d, e, f, g)) # |