Data.Semigroup.Traversable

Documentation

class (Foldable1 t, Traversable t) => Traversable1 t where

Minimal complete definition

traverse1 | sequence1

Methods

traverse1 :: Apply f => (a -> f b) -> t a -> f (t b)

sequence1 :: Apply f => t (f b) -> f (t b)

Instances

Traversable1 Par1

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Par1 a -> f (Par1 b)

sequence1 :: Apply f => Par1 (f b) -> f (Par1 b)

Traversable1 Complex

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Complex a -> f (Complex b)

sequence1 :: Apply f => Complex (f b) -> f (Complex b)

Traversable1 Min

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Min a -> f (Min b)

sequence1 :: Apply f => Min (f b) -> f (Min b)

Traversable1 Max

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Max a -> f (Max b)

sequence1 :: Apply f => Max (f b) -> f (Max b)

Traversable1 First

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> First a -> f (First b)

sequence1 :: Apply f => First (f b) -> f (First b)

Traversable1 Last

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Last a -> f (Last b)

sequence1 :: Apply f => Last (f b) -> f (Last b)

Traversable1 Identity

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Identity a -> f (Identity b)

sequence1 :: Apply f => Identity (f b) -> f (Identity b)

Traversable1 Dual

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Dual a -> f (Dual b)

sequence1 :: Apply f => Dual (f b) -> f (Dual b)

Traversable1 Sum

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Sum a -> f (Sum b)

sequence1 :: Apply f => Sum (f b) -> f (Sum b)

Traversable1 Product

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Product a -> f (Product b)

sequence1 :: Apply f => Product (f b) -> f (Product b)

Traversable1 NonEmpty

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> NonEmpty a -> f (NonEmpty b)

sequence1 :: Apply f => NonEmpty (f b) -> f (NonEmpty b)

Traversable1 Tree

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Tree a -> f (Tree b)

sequence1 :: Apply f => Tree (f b) -> f (Tree b)

Traversable1 (V1 :: Type -> Type)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> V1 a -> f (V1 b)

sequence1 :: Apply f => V1 (f b) -> f (V1 b)

Traversable1 ((,) a)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a0 -> f b) -> (a, a0) -> f (a, b)

sequence1 :: Apply f => (a, f b) -> f (a, b)

Traversable1 f => Traversable1 (Lift f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Lift f a -> f0 (Lift f b)

sequence1 :: Apply f0 => Lift f (f0 b) -> f0 (Lift f b)

Traversable1 f => Traversable1 (Rec1 f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Rec1 f a -> f0 (Rec1 f b)

sequence1 :: Apply f0 => Rec1 f (f0 b) -> f0 (Rec1 f b)

Traversable1 f => Traversable1 (Alt f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Alt f a -> f0 (Alt f b)

sequence1 :: Apply f0 => Alt f (f0 b) -> f0 (Alt f b)

Bitraversable1 p => Traversable1 (Join p)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a -> f b) -> Join p a -> f (Join p b)

sequence1 :: Apply f => Join p (f b) -> f (Join p b)

Traversable1 f => Traversable1 (IdentityT f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b)

sequence1 :: Apply f0 => IdentityT f (f0 b) -> f0 (IdentityT f b)

Traversable1 (Tagged a)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a0 -> f b) -> Tagged a a0 -> f (Tagged a b)

sequence1 :: Apply f => Tagged a (f b) -> f (Tagged a b)

Traversable1 f => Traversable1 (Reverse f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Reverse f a -> f0 (Reverse f b)

sequence1 :: Apply f0 => Reverse f (f0 b) -> f0 (Reverse f b)

Traversable1 f => Traversable1 (Backwards f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Backwards f a -> f0 (Backwards f b)

sequence1 :: Apply f0 => Backwards f (f0 b) -> f0 (Backwards f b)

(Traversable1 f, Traversable1 g) => Traversable1 (f :+: g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> (f :+: g) a -> f0 ((f :+: g) b)

sequence1 :: Apply f0 => (f :+: g) (f0 b) -> f0 ((f :+: g) b)

(Traversable1 f, Traversable1 g) => Traversable1 (f :*: g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> (f :*: g) a -> f0 ((f :*: g) b)

sequence1 :: Apply f0 => (f :*: g) (f0 b) -> f0 ((f :*: g) b)

(Traversable1 f, Traversable1 g) => Traversable1 (Product f g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Product f g a -> f0 (Product f g b)

sequence1 :: Apply f0 => Product f g (f0 b) -> f0 (Product f g b)

(Traversable1 f, Traversable1 g) => Traversable1 (Sum f g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Sum f g a -> f0 (Sum f g b)

sequence1 :: Apply f0 => Sum f g (f0 b) -> f0 (Sum f g b)

Traversable1 f => Traversable1 (M1 i c f)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> M1 i c f a -> f0 (M1 i c f b)

sequence1 :: Apply f0 => M1 i c f (f0 b) -> f0 (M1 i c f b)

(Traversable1 f, Traversable1 g) => Traversable1 (f :.: g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b)

sequence1 :: Apply f0 => (f :.: g) (f0 b) -> f0 ((f :.: g) b)

(Traversable1 f, Traversable1 g) => Traversable1 (Compose f g)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f0 => (a -> f0 b) -> Compose f g a -> f0 (Compose f g b)

sequence1 :: Apply f0 => Compose f g (f0 b) -> f0 (Compose f g b)

Traversable1 g => Traversable1 (Joker g a)

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1 :: Apply f => (a0 -> f b) -> Joker g a a0 -> f (Joker g a b)

sequence1 :: Apply f => Joker g a (f b) -> f (Joker g a b)

foldMap1Default :: (Traversable1 f, Semigroup m) => (a -> m) -> f a -> m