semigroupoids-5.3.2: Semigroupoids: Category sans id

Data.Semigroup.Traversable.Class

Description

# Documentation

class (Bifoldable1 t, Bitraversable t) => Bitraversable1 t where #

Minimal complete definition

Methods

bitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> t a c -> f (t b d) #

bisequence1 :: Apply f => t (f a) (f b) -> f (t a b) #

Instances
 # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Either a c -> f (Either b d) #bisequence1 :: Apply f => Either (f a) (f b) -> f (Either a b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> (a, c) -> f (b, d) #bisequence1 :: Apply f => (f a, f b) -> f (a, b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Arg a c -> f (Arg b d) #bisequence1 :: Apply f => Arg (f a) (f b) -> f (Arg a b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> (x, a, c) -> f (x, b, d) #bisequence1 :: Apply f => (x, f a, f b) -> f (x, a, b) # Bitraversable1 (Const :: Type -> Type -> Type) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Const a c -> f (Const b d) #bisequence1 :: Apply f => Const (f a) (f b) -> f (Const a b) # Bitraversable1 (Tagged :: Type -> Type -> Type) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Tagged a c -> f (Tagged b d) #bisequence1 :: Apply f => Tagged (f a) (f b) -> f (Tagged a b) # Bitraversable1 ((,,,) x y) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> (x, y, a, c) -> f (x, y, b, d) #bisequence1 :: Apply f => (x, y, f a, f b) -> f (x, y, a, b) # Bitraversable1 ((,,,,) x y z) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> (x, y, z, a, c) -> f (x, y, z, b, d) #bisequence1 :: Apply f => (x, y, z, f a, f b) -> f (x, y, z, a, b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> WrappedBifunctor p a c -> f (WrappedBifunctor p b d) #bisequence1 :: Apply f => WrappedBifunctor p (f a) (f b) -> f (WrappedBifunctor p a b) # Traversable1 g => Bitraversable1 (Joker g :: Type -> Type -> Type) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Joker g a c -> f (Joker g b d) #bisequence1 :: Apply f => Joker g (f a) (f b) -> f (Joker g a b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f => (a -> f b) -> (c -> f d) -> Flip p a c -> f (Flip p b d) #bisequence1 :: Apply f => Flip p (f a) (f b) -> f (Flip p a b) # Traversable1 f => Bitraversable1 (Clown f :: Type -> Type -> Type) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f0 => (a -> f0 b) -> (c -> f0 d) -> Clown f a c -> f0 (Clown f b d) #bisequence1 :: Apply f0 => Clown f (f0 a) (f0 b) -> f0 (Clown f a b) # (Bitraversable1 f, Bitraversable1 g) => Bitraversable1 (Product f g) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f0 => (a -> f0 b) -> (c -> f0 d) -> Product f g a c -> f0 (Product f g b d) #bisequence1 :: Apply f0 => Product f g (f0 a) (f0 b) -> f0 (Product f g a b) # (Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen f p) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f0 => (a -> f0 b) -> (c -> f0 d) -> Tannen f p a c -> f0 (Tannen f p b d) #bisequence1 :: Apply f0 => Tannen f p (f0 a) (f0 b) -> f0 (Tannen f p a b) # (Bitraversable1 p, Traversable1 f, Traversable1 g) => Bitraversable1 (Biff p f g) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodsbitraverse1 :: Apply f0 => (a -> f0 b) -> (c -> f0 d) -> Biff p f g a c -> f0 (Biff p f g b d) #bisequence1 :: Apply f0 => Biff p f g (f0 a) (f0 b) -> f0 (Biff p f g a b) #

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

Minimal complete definition

Methods

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

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

Instances
 # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Par1 a -> f (Par1 b) #sequence1 :: Apply f => Par1 (f b) -> f (Par1 b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Complex a -> f (Complex b) #sequence1 :: Apply f => Complex (f b) -> f (Complex b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Min a -> f (Min b) #sequence1 :: Apply f => Min (f b) -> f (Min b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Max a -> f (Max b) #sequence1 :: Apply f => Max (f b) -> f (Max b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> First a -> f (First b) #sequence1 :: Apply f => First (f b) -> f (First b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Last a -> f (Last b) #sequence1 :: Apply f => Last (f b) -> f (Last b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Identity a -> f (Identity b) #sequence1 :: Apply f => Identity (f b) -> f (Identity b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Dual a -> f (Dual b) #sequence1 :: Apply f => Dual (f b) -> f (Dual b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Sum a -> f (Sum b) #sequence1 :: Apply f => Sum (f b) -> f (Sum b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Product a -> f (Product b) #sequence1 :: Apply f => Product (f b) -> f (Product b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) #sequence1 :: Apply f => NonEmpty (f b) -> f (NonEmpty b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Tree a -> f (Tree b) #sequence1 :: Apply f => Tree (f b) -> f (Tree b) # Traversable1 (V1 :: Type -> Type) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> V1 a -> f (V1 b) #sequence1 :: Apply f => V1 (f b) -> f (V1 b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a0 -> f b) -> (a, a0) -> f (a, b) #sequence1 :: Apply f => (a, f b) -> f (a, b) # Traversable1 f => Traversable1 (Lift f) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f0 => (a -> f0 b) -> Alt f a -> f0 (Alt f b) #sequence1 :: Apply f0 => Alt f (f0 b) -> f0 (Alt f b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a -> f b) -> Join p a -> f (Join p b) #sequence1 :: Apply f => Join p (f b) -> f (Join p b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b) #sequence1 :: Apply f0 => IdentityT f (f0 b) -> f0 (IdentityT f b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f => (a0 -> f b) -> Tagged a a0 -> f (Tagged a b) #sequence1 :: Apply f => Tagged a (f b) -> f (Tagged a b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: Apply f0 => (a -> f0 b) -> Reverse f a -> f0 (Reverse f b) #sequence1 :: Apply f0 => Reverse f (f0 b) -> f0 (Reverse f b) # # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) # Instance detailsDefined in Data.Semigroup.Traversable.Class Methodstraverse1 :: 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) #