Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Generics.Deriving.Traversable
- class (GFunctor t, GFoldable t) => GTraversable t where
- gtraverse :: Applicative f => (a -> f b) -> t a -> f (t b)
- gsequenceA :: Applicative f => t (f a) -> f (t a)
- gmapM :: Monad m => (a -> m b) -> t a -> m (t b)
- gsequence :: Monad m => t (m a) -> m (t a)
- gtraversedefault :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
- class GTraversable' t where
- gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b)
Generic Traversable class
class (GFunctor t, GFoldable t) => GTraversable t where Source
Minimal complete definition
Nothing
Methods
gtraverse :: Applicative f => (a -> f b) -> t a -> f (t b) Source
gsequenceA :: Applicative f => t (f a) -> f (t a) Source
Instances
Default method
gtraversedefault :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b) Source
Internal Traversable class
class GTraversable' t where Source
Methods
gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b) Source
Instances
GTraversable' U1 Source | |
GTraversable' Par1 Source | |
GTraversable' UWord Source | |
GTraversable' UInt Source | |
GTraversable' UFloat Source | |
GTraversable' UDouble Source | |
GTraversable' UChar Source | |
GTraversable' UAddr Source | |
GTraversable f => GTraversable' (Rec1 f) Source | |
GTraversable' (K1 i c) Source | |
(GTraversable' f, GTraversable' g) => GTraversable' ((:+:) f g) Source | |
(GTraversable' f, GTraversable' g) => GTraversable' ((:*:) f g) Source | |
(GTraversable f, GTraversable' g) => GTraversable' ((:.:) f g) Source | |
GTraversable' f => GTraversable' (M1 i c f) Source |