generic-deriving-1.12.2: Generic programming library for generalised deriving.

Safe HaskellTrustworthy

Generics.Deriving.Traversable

Contents

Synopsis

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