Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Data.Semigroup.Traversable

Description

Documentation

class (NonEmptyFoldable t, Traversable t) => NonEmptyTraversable t where Source #

Minimal complete definition

traverseNE | sequenceNE

Methods

traverseNE :: Semiapplicative f => (a -> f b) -> t a -> f (t b) Source #

sequenceNE :: Semiapplicative f => t (f b) -> f (t b) Source #

Instances

NonEmptyTraversable Par1 Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Par1 a -> f (Par1 b) Source # sequenceNE :: Semiapplicative f => Par1 (f b) -> f (Par1 b) Source #
NonEmptyTraversable Complex Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Complex a -> f (Complex b) Source # sequenceNE :: Semiapplicative f => Complex (f b) -> f (Complex b) Source #
NonEmptyTraversable Min Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Min a -> f (Min b) Source # sequenceNE :: Semiapplicative f => Min (f b) -> f (Min b) Source #
NonEmptyTraversable Max Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Max a -> f (Max b) Source # sequenceNE :: Semiapplicative f => Max (f b) -> f (Max b) Source #
NonEmptyTraversable First Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> First a -> f (First b) Source # sequenceNE :: Semiapplicative f => First (f b) -> f (First b) Source #
NonEmptyTraversable Last Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Last a -> f (Last b) Source # sequenceNE :: Semiapplicative f => Last (f b) -> f (Last b) Source #
NonEmptyTraversable Identity Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Identity a -> f (Identity b) Source # sequenceNE :: Semiapplicative f => Identity (f b) -> f (Identity b) Source #
NonEmptyTraversable Dual Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Dual a -> f (Dual b) Source # sequenceNE :: Semiapplicative f => Dual (f b) -> f (Dual b) Source #
NonEmptyTraversable Sum Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Sum a -> f (Sum b) Source # sequenceNE :: Semiapplicative f => Sum (f b) -> f (Sum b) Source #
NonEmptyTraversable Product Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Product a -> f (Product b) Source # sequenceNE :: Semiapplicative f => Product (f b) -> f (Product b) Source #
NonEmptyTraversable NonEmpty Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> NonEmpty a -> f (NonEmpty b) Source # sequenceNE :: Semiapplicative f => NonEmpty (f b) -> f (NonEmpty b) Source #
NonEmptyTraversable Tree Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Tree a -> f (Tree b) Source # sequenceNE :: Semiapplicative f => Tree (f b) -> f (Tree b) Source #
NonEmptyTraversable (V1 :: * -> *) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> V1 a -> f (V1 b) Source # sequenceNE :: Semiapplicative f => V1 (f b) -> f (V1 b) Source #
NonEmptyTraversable ((,) a) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a0 -> f b) -> (a, a0) -> f (a, b) Source # sequenceNE :: Semiapplicative f => (a, f b) -> f (a, b) Source #
NonEmptyTraversable f => NonEmptyTraversable (Lift f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Lift f a -> f0 (Lift f b) Source # sequenceNE :: Semiapplicative f0 => Lift f (f0 b) -> f0 (Lift f b) Source #
NonEmptyTraversable f => NonEmptyTraversable (Rec1 f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Rec1 f a -> f0 (Rec1 f b) Source # sequenceNE :: Semiapplicative f0 => Rec1 f (f0 b) -> f0 (Rec1 f b) Source #
NonEmptyTraversable f => NonEmptyTraversable (Alt f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Alt f a -> f0 (Alt f b) Source # sequenceNE :: Semiapplicative f0 => Alt f (f0 b) -> f0 (Alt f b) Source #
NonEmptyTraversable f => NonEmptyTraversable (Reverse f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Reverse f a -> f0 (Reverse f b) Source # sequenceNE :: Semiapplicative f0 => Reverse f (f0 b) -> f0 (Reverse f b) Source #
NonEmptyTraversable f => NonEmptyTraversable (IdentityT f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> IdentityT f a -> f0 (IdentityT f b) Source # sequenceNE :: Semiapplicative f0 => IdentityT f (f0 b) -> f0 (IdentityT f b) Source #
NonEmptyTraversable f => NonEmptyTraversable (Backwards f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Backwards f a -> f0 (Backwards f b) Source # sequenceNE :: Semiapplicative f0 => Backwards f (f0 b) -> f0 (Backwards f b) Source #
NonEmptyTraversable (Tagged a) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a0 -> f b) -> Tagged a a0 -> f (Tagged a b) Source # sequenceNE :: Semiapplicative f => Tagged a (f b) -> f (Tagged a b) Source #
NonEmptyBitraversable p => NonEmptyTraversable (Join p) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a -> f b) -> Join p a -> f (Join p b) Source # sequenceNE :: Semiapplicative f => Join p (f b) -> f (Join p b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (f :+: g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> (f :+: g) a -> f0 ((f :+: g) b) Source # sequenceNE :: Semiapplicative f0 => (f :+: g) (f0 b) -> f0 ((f :+: g) b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (f :*: g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> (f :: g) a -> f0 ((f :: g) b) Source # sequenceNE :: Semiapplicative f0 => (f :: g) (f0 b) -> f0 ((f :: g) b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (Product f g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Product f g a -> f0 (Product f g b) Source # sequenceNE :: Semiapplicative f0 => Product f g (f0 b) -> f0 (Product f g b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (Sum f g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Sum f g a -> f0 (Sum f g b) Source # sequenceNE :: Semiapplicative f0 => Sum f g (f0 b) -> f0 (Sum f g b) Source #
NonEmptyTraversable f => NonEmptyTraversable (M1 i c f) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> M1 i c f a -> f0 (M1 i c f b) Source # sequenceNE :: Semiapplicative f0 => M1 i c f (f0 b) -> f0 (M1 i c f b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (f :.: g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> (f :.: g) a -> f0 ((f :.: g) b) Source # sequenceNE :: Semiapplicative f0 => (f :.: g) (f0 b) -> f0 ((f :.: g) b) Source #
(NonEmptyTraversable f, NonEmptyTraversable g) => NonEmptyTraversable (Compose f g) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f0 => (a -> f0 b) -> Compose f g a -> f0 (Compose f g b) Source # sequenceNE :: Semiapplicative f0 => Compose f g (f0 b) -> f0 (Compose f g b) Source #
NonEmptyTraversable g => NonEmptyTraversable (Joker g a) Source #
Instance details Defined in Data.Semigroup.Traversable.Class Methods traverseNE :: Semiapplicative f => (a0 -> f b) -> Joker g a a0 -> f (Joker g a b) Source # sequenceNE :: Semiapplicative f => Joker g a (f b) -> f (Joker g a b) Source #

foldMapNEDefault :: (NonEmptyTraversable f, Semigroup m) => (a -> m) -> f a -> m Source #