Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Generics.Deriving.Traversable
Synopsis
- class (GFunctor t, GFoldable t) => GTraversable t where
- gtraversedefault :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b)
- class GTraversable' t where
Generic Traversable class
class (GFunctor t, GFoldable t) => GTraversable t where #
Methods
gtraverse :: Applicative f => (a -> f b) -> t a -> f (t b) #
gtraverse :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b) #
gsequenceA :: Applicative f => t (f a) -> f (t a) #
Instances
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 #
Minimal complete definition
Methods
gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b) #