Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Generics.Deriving.Traversable
Contents
- class (GFunctor t, GFoldable t) => GTraversable t where
- 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 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
GTraversable [] # | |
GTraversable Maybe # | |
GTraversable Identity # | |
GTraversable Min # | |
GTraversable Max # | |
GTraversable First # | |
GTraversable Last # | |
GTraversable WrappedMonoid # | |
GTraversable Option # | |
GTraversable NonEmpty # | |
GTraversable Complex # | |
GTraversable ZipList # | |
GTraversable Dual # | |
GTraversable Sum # | |
GTraversable Product # | |
GTraversable First # | |
GTraversable Last # | |
GTraversable (Either a) # | |
GTraversable ((,) a) # | |
GTraversable (Arg a) # | |
GTraversable (Proxy *) # | |
GTraversable (Const * m) # | |
(GTraversable f, GTraversable g) => GTraversable (Sum * f g) # | |
(GTraversable f, GTraversable g) => GTraversable (Product * f g) # | |
Default method
gtraversedefault :: (Generic1 t, GTraversable' (Rep1 t), Applicative f) => (a -> f b) -> t a -> f (t b) #