| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Generics.Deriving.Traversable
- 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
| 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) #
Internal Traversable class
class GTraversable' t where #
Minimal complete definition
Methods
gtraverse' :: Applicative f => (a -> f b) -> t a -> f (t b) #
Instances
| GTraversable' U1 # | |
| GTraversable' Par1 # | |
| GTraversable' UAddr # | |
| GTraversable' UChar # | |
| GTraversable' UDouble # | |
| GTraversable' UFloat # | |
| GTraversable' UInt # | |
| GTraversable' UWord # | |
| 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) # | |