Data.Traversable1

class Traversable1 :: forall k. ((k -> Type) -> Type) -> Constraintclass (Functor1 t, Foldable1 t) <= Traversable1 t  where

Members

• traverse1 :: forall m f g. Applicative m => (forall a. f a -> m (g a)) -> t f -> m (t g)