Traverse a Traversable using Apply, getting the results back in a MaybeApply.
Modulererebase-1.21.2Haskell2010
Data.Semigroup.Traversable
- 1 class
- 4 values
- Packagererebase-1.21.2
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceClass.hs
Default implementation of foldMap1 given an implementation of Traversable1.
Generic sequence1. Caveats are the same for gtraverse1.
Generic traverse1. Caveats:
Will not compile if
tis an empty constructor.Will not compile if
thas some fields that don't mentiona, for exmapledata Bar a = MkBar a Int
Instances38Traversable1, …
Traversable1 ComplexDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 FirstDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 LastDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 MaxDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 MinDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 TreeDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 NonEmptyDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 IdentityDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 DualDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 ProductDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 SumDefined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 Par1Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 V1Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 (Tuple2 a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 f => Traversable1 (Cofree f)Defined in free-5.2 · Control.Comonad.CofreeTraversable1 f => Traversable1 (Free f)Defined in free-5.2 · Control.Monad.FreeTraversable1 f => Traversable1 (Free f)Defined in free-5.2 · Control.Monad.Free.ApTraversable1 f => Traversable1 (F f)Defined in free-5.2 · Control.Monad.Free.ChurchTraversable1 f => Traversable1 (Coyoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.CoyonedaTraversable1 f => Traversable1 (Yoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.YonedaTraversable1 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.IterBitraversable1 p => Traversable1 (Join p)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 (Tagged a)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 f => Traversable1 (Alt f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 f => Traversable1 (Rec1 f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 f => Traversable1 (Backwards f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 f => Traversable1 (IdentityT f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 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.ClassTraversable1 f => Traversable1 (M1 i c f)Defined in semigroupoids-6.0.1 · Data.Semigroup.Traversable.ClassTraversable1 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