| Safe Haskell | Trustworthy |
|---|
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
Methods
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)
Instances
| GTraversable [] | |
| GTraversable Maybe | |
| GTraversable Sum | |
| GTraversable Product | |
| GTraversable Dual | |
| GTraversable Last | |
| GTraversable First | |
| GTraversable ZipList | |
| GTraversable Complex | |
| GTraversable Down | |
| (GFunctor (Either a), GFoldable (Either a)) => GTraversable (Either a) | |
| (GFunctor ((,) a), GFoldable ((,) a)) => GTraversable ((,) a) | |
| (GFunctor (Const m), GFoldable (Const m)) => GTraversable (Const m) |
Default method
gtraversedefault :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
Internal Traversable class
class GTraversable' t where
Methods
gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b)
Instances
| GTraversable' V1 | |
| GTraversable' U1 | |
| GTraversable' Par1 | |
| GTraversable' UWord | |
| GTraversable' UInt | |
| GTraversable' UFloat | |
| GTraversable' UDouble | |
| GTraversable' UChar | |
| GTraversable' UAddr | |
| GTraversable f => GTraversable' (Rec1 f) | |
| GTraversable' (K1 i c) | |
| (GTraversable' f, GTraversable' g) => GTraversable' (:+: f g) | |
| (GTraversable' f, GTraversable' g) => GTraversable' (:*: f g) | |
| (GTraversable f, GTraversable' g) => GTraversable' (:.: f g) | |
| GTraversable' f => GTraversable' (M1 i c f) |