| Safe Haskell | Safe-Inferred |
|---|
Generics.Deriving.Traversable
Contents
- 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)
GTraversable class
class (GFunctor t, GFoldable t) => GTraversable t whereSource
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