Data.Semigroup.Traversable.Class · rerebase-1.21.2

classclass (Bifoldable1 t, Bitraversable t) => Bitraversable1 (t :: Type -> Type -> Type) where

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)

Instances15Bitraversable1, …

Bitraversable1 ArgDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 EitherDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 Tuple2Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 ConstDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 TaggedDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 (Tuple3 x)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 (Tuple4 x y)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 (Tuple5 x y z)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 p => Bitraversable1 (Flip p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Bitraversable1 p => Bitraversable1 (WrappedBifunctor p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Bitraversable1 (Clown f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 g => Bitraversable1 (Joker g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Bitraversable1 f, Bitraversable1 g) => Bitraversable1 (Product f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen f p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Bitraversable1 p, Traversable1 f, Traversable1 g) => Bitraversable1 (Biff p f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class

classclass (Foldable1 t, Traversable t) => Traversable1 (t :: Type -> Type) where

Methods

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

Instances38Traversable1, …

Traversable1 ComplexDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 FirstDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 LastDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 MaxDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 MinDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 TreeDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 NonEmptyDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 IdentityDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 DualDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 ProductDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 SumDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 Par1Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 V1Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 (Tuple2 a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (Cofree f)Defined in free-5.2 · Control.Comonad.Cofree
Traversable1 f => Traversable1 (Free f)Defined in free-5.2 · Control.Monad.Free
Traversable1 f => Traversable1 (Free f)Defined in free-5.2 · Control.Monad.Free.Ap
Traversable1 f => Traversable1 (F f)Defined in free-5.2 · Control.Monad.Free.Church
Traversable1 f => Traversable1 (Coyoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.Coyoneda
Traversable1 f => Traversable1 (Yoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.Yoneda
Traversable1 f => Traversable1 (Lift f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Monad m, Traversable1 m) => Traversable1 (IterT m)Defined in free-5.2 · Control.Monad.Trans.Iter
Bitraversable1 p => Traversable1 (Join p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 (Tagged a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (Alt f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (Rec1 f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (Backwards f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (Reverse f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 m) => Traversable1 (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader
(Traversable1 f, Traversable1 g) => Traversable1 (Product f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 g) => Traversable1 (Sum f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 g) => Traversable1 (f :*: g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 g) => Traversable1 (f :+: g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 f => Traversable1 (M1 i c f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
Traversable1 g => Traversable1 (Joker g a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 g) => Traversable1 (Compose f g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class
(Traversable1 f, Traversable1 g) => Traversable1 (f :.: g)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.Class