Orphan instances

Methods

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

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

toConstr :: Proxy ctx -> Handle -> Constr Source #

dataTypeOf :: Proxy ctx -> Handle -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Handle) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Handle) Source #

Methods

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

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

toConstr :: Proxy ctx -> DataType -> Constr Source #

dataTypeOf :: Proxy ctx -> DataType -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w DataType) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w DataType) Source #

Methods

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

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

toConstr :: Proxy ctx -> TyCon -> Constr Source #

dataTypeOf :: Proxy ctx -> TyCon -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w TyCon) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w TyCon) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> TypeRep -> w TypeRep Source #

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

toConstr :: Proxy ctx -> TypeRep -> Constr Source #

dataTypeOf :: Proxy ctx -> TypeRep -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w TypeRep) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w TypeRep) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> () -> w () Source #

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

toConstr :: Proxy ctx -> () -> Constr Source #

dataTypeOf :: Proxy ctx -> () -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ()) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ()) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Ordering -> w Ordering Source #

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

toConstr :: Proxy ctx -> Ordering -> Constr Source #

dataTypeOf :: Proxy ctx -> Ordering -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Ordering) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Ordering) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word64 -> w Word64 Source #

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

toConstr :: Proxy ctx -> Word64 -> Constr Source #

dataTypeOf :: Proxy ctx -> Word64 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word64) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word64) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word32 -> w Word32 Source #

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

toConstr :: Proxy ctx -> Word32 -> Constr Source #

dataTypeOf :: Proxy ctx -> Word32 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word32) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word32) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word16 -> w Word16 Source #

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

toConstr :: Proxy ctx -> Word16 -> Constr Source #

dataTypeOf :: Proxy ctx -> Word16 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word16) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word16) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word8 -> w Word8 Source #

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

toConstr :: Proxy ctx -> Word8 -> Constr Source #

dataTypeOf :: Proxy ctx -> Word8 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word8) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word8) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Word -> w Word Source #

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

toConstr :: Proxy ctx -> Word -> Constr Source #

dataTypeOf :: Proxy ctx -> Word -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Word) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Word) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int64 -> w Int64 Source #

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

toConstr :: Proxy ctx -> Int64 -> Constr Source #

dataTypeOf :: Proxy ctx -> Int64 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int64) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int64) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int32 -> w Int32 Source #

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

toConstr :: Proxy ctx -> Int32 -> Constr Source #

dataTypeOf :: Proxy ctx -> Int32 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int32) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int32) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int16 -> w Int16 Source #

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

toConstr :: Proxy ctx -> Int16 -> Constr Source #

dataTypeOf :: Proxy ctx -> Int16 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int16) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int16) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int8 -> w Int8 Source #

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

toConstr :: Proxy ctx -> Int8 -> Constr Source #

dataTypeOf :: Proxy ctx -> Int8 -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int8) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int8) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Integer -> w Integer Source #

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

toConstr :: Proxy ctx -> Integer -> Constr Source #

dataTypeOf :: Proxy ctx -> Integer -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Integer) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Integer) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Int -> w Int Source #

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

toConstr :: Proxy ctx -> Int -> Constr Source #

dataTypeOf :: Proxy ctx -> Int -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Int) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Int) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Double -> w Double Source #

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

toConstr :: Proxy ctx -> Double -> Constr Source #

dataTypeOf :: Proxy ctx -> Double -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Double) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Double) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Float -> w Float Source #

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

toConstr :: Proxy ctx -> Float -> Constr Source #

dataTypeOf :: Proxy ctx -> Float -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Float) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Float) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Char -> w Char Source #

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

toConstr :: Proxy ctx -> Char -> Constr Source #

dataTypeOf :: Proxy ctx -> Char -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Char) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Char) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> Bool -> w Bool Source #

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

toConstr :: Proxy ctx -> Bool -> Constr Source #

dataTypeOf :: Proxy ctx -> Bool -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w Bool) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w Bool) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ByteString -> w ByteString Source #

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

toConstr :: Proxy ctx -> ByteString -> Constr Source #

dataTypeOf :: Proxy ctx -> ByteString -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ByteString) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ByteString) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> ByteString -> w ByteString Source #

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

toConstr :: Proxy ctx -> ByteString -> Constr Source #

dataTypeOf :: Proxy ctx -> ByteString -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w ByteString) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w ByteString) Source #

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) Source #

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

toConstr :: Proxy ctx -> Set a -> Constr Source #

dataTypeOf :: Proxy ctx -> Set a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Set a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Set a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> MVar a -> Constr Source #

dataTypeOf :: Proxy ctx -> MVar a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (MVar a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (MVar a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> ForeignPtr a -> Constr Source #

dataTypeOf :: Proxy ctx -> ForeignPtr a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (ForeignPtr a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (ForeignPtr a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> IORef a -> Constr Source #

dataTypeOf :: Proxy ctx -> IORef a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (IORef a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (IORef a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> StablePtr a -> Constr Source #

dataTypeOf :: Proxy ctx -> StablePtr a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (StablePtr a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (StablePtr a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> Ptr a -> Constr Source #

dataTypeOf :: Proxy ctx -> Ptr a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Ptr a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Ptr a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> IO a -> Constr Source #

dataTypeOf :: Proxy ctx -> IO a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (IO a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (IO a)) Source #

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) Source #

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

toConstr :: Proxy ctx -> Maybe a -> Constr Source #

dataTypeOf :: Proxy ctx -> Maybe a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Maybe a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Maybe a)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> [a] -> w [a] Source #

gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c [a] Source #

toConstr :: Proxy ctx -> [a] -> Constr Source #

dataTypeOf :: Proxy ctx -> [a] -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w [a]) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w [a]) Source #

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) Source #

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

toConstr :: Proxy ctx -> Ratio a -> Constr Source #

dataTypeOf :: Proxy ctx -> Ratio a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (Ratio a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (Ratio a)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c. Data ctx b0 => w (b0 -> c) -> b0 -> w c) -> (forall g. g -> w g) -> Map a b -> w (Map a b) Source #

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

toConstr :: Proxy ctx -> Map a b -> Constr Source #

dataTypeOf :: Proxy ctx -> Map a b -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (Map a b)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c. (Data ctx b0, Data ctx c) => w (t b0 c)) -> Maybe (w (Map a b)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c. Data ctx b0 => w (b0 -> c) -> b0 -> w c) -> (forall g. g -> w g) -> Array a b -> w (Array a b) Source #

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

toConstr :: Proxy ctx -> Array a b -> Constr Source #

dataTypeOf :: Proxy ctx -> Array a b -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (Array a b)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c. (Data ctx b0, Data ctx c) => w (t b0 c)) -> Maybe (w (Array a b)) Source #

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) Source #

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

toConstr :: Proxy ctx -> ST s a -> Constr Source #

dataTypeOf :: Proxy ctx -> ST s a -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b. Data ctx b => w (t b)) -> Maybe (w (ST s a)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b c. (Data ctx b, Data ctx c) => w (t b c)) -> Maybe (w (ST s a)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c. Data ctx b0 => w (b0 -> c) -> b0 -> w c) -> (forall g. g -> w g) -> (a, b) -> w (a, b) Source #

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

toConstr :: Proxy ctx -> (a, b) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c. (Data ctx b0, Data ctx c) => w (t b0 c)) -> Maybe (w (a, b)) Source #

Methods

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

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

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

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

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a -> b)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c. (Data ctx b0, Data ctx c) => w (t b0 c)) -> Maybe (w (a -> b)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c. Data ctx b0 => w (b0 -> c) -> b0 -> w c) -> (forall g. g -> w g) -> Either a b -> w (Either a b) Source #

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

toConstr :: Proxy ctx -> Either a b -> Constr Source #

dataTypeOf :: Proxy ctx -> Either a b -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (Either a b)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c. (Data ctx b0, Data ctx c) => w (t b0 c)) -> Maybe (w (Either a b)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c0. Data ctx b0 => w (b0 -> c0) -> b0 -> w c0) -> (forall g. g -> w g) -> (a, b, c) -> w (a, b, c) Source #

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

toConstr :: Proxy ctx -> (a, b, c) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b, c) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b, c)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c0. (Data ctx b0, Data ctx c0) => w (t b0 c0)) -> Maybe (w (a, b, c)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c0. Data ctx b0 => w (b0 -> c0) -> b0 -> w c0) -> (forall g. g -> w g) -> (a, b, c, d) -> w (a, b, c, d) Source #

gunfold :: Proxy ctx -> (forall b0 r. Data ctx b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d) Source #

toConstr :: Proxy ctx -> (a, b, c, d) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b, c, d) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b, c, d)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c0. (Data ctx b0, Data ctx c0) => w (t b0 c0)) -> Maybe (w (a, b, c, d)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c0. Data ctx b0 => w (b0 -> c0) -> b0 -> w c0) -> (forall g. g -> w g) -> (a, b, c, d, e) -> w (a, b, c, d, e) Source #

gunfold :: Proxy ctx -> (forall b0 r. Data ctx b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e) Source #

toConstr :: Proxy ctx -> (a, b, c, d, e) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b, c, d, e) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b, c, d, e)) Source #

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

Methods

gfoldl :: Proxy ctx -> (forall b0 c0. Data ctx b0 => w (b0 -> c0) -> b0 -> w c0) -> (forall g. g -> w g) -> (a, b, c, d, e, f) -> w (a, b, c, d, e, f) Source #

gunfold :: Proxy ctx -> (forall b0 r. Data ctx b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f) Source #

toConstr :: Proxy ctx -> (a, b, c, d, e, f) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b, c, d, e, f) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b, c, d, e, f)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c0. (Data ctx b0, Data ctx c0) => w (t b0 c0)) -> Maybe (w (a, b, c, d, e, f)) Source #

Methods

gfoldl :: Proxy ctx -> (forall b0 c0. Data ctx b0 => w (b0 -> c0) -> b0 -> w c0) -> (forall g0. g0 -> w g0) -> (a, b, c, d, e, f, g) -> w (a, b, c, d, e, f, g) Source #

gunfold :: Proxy ctx -> (forall b0 r. Data ctx b0 => c0 (b0 -> r) -> c0 r) -> (forall r. r -> c0 r) -> Constr -> c0 (a, b, c, d, e, f, g) Source #

toConstr :: Proxy ctx -> (a, b, c, d, e, f, g) -> Constr Source #

dataTypeOf :: Proxy ctx -> (a, b, c, d, e, f, g) -> DataType Source #

dataCast1 :: Typeable t => Proxy ctx -> (forall b0. Data ctx b0 => w (t b0)) -> Maybe (w (a, b, c, d, e, f, g)) Source #

dataCast2 :: Typeable t => Proxy ctx -> (forall b0 c0. (Data ctx b0, Data ctx c0) => w (t b0 c0)) -> Maybe (w (a, b, c, d, e, f, g)) Source #