Modulelinear-base-0.8.1

Data.Functor.Linear.Internal.Traversable

2 classes
7 values

Packagelinear-base-0.8.1
Exports9
LicenceMIT

valuefor :: (Traversable t, Applicative f) => t a %1 -> (a %1 -> f b) -> f (t b)

valueforM :: (Traversable t, Monad m) => t a %1 -> (a %1 -> m b) -> m (t b)

valuegenericTraverse

:: (Generic1 t, GTraversable (Rep1 t), Applicative f)
=> a %1 -> f b
-> t a
-> f (t b)

valuemapAccumL

:: Traversable t
=> a %1 -> b %1 -> (a, c)
-> a
-> t b
-> (a, t c)

valuemapAccumR

:: Traversable t
=> a %1 -> b %1 -> (a, c)
-> a
-> t b
-> (a, t c)

valuemapM :: (Traversable t, Monad m) => (a %1 -> m b) -> t a %1 -> m (t b)

valuesequenceA :: (Traversable t, Applicative f) => t (f a) %1 -> f (t a)

classclass GTraversable (t :: Type -> Type) where

Instances15GTraversable, …

GTraversable Par1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable U1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UAddrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UCharDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UDoubleDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UFloatDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UIntDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable UWordDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable V1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable (K1 i c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, GTraversable g) => GTraversable (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, GTraversable g) => GTraversable (f :+: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(m ~ 'One, GTraversable t) => GTraversable (MP1 m t)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
GTraversable t => GTraversable (M1 i c t)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(GTraversable f, Traversable g) => GTraversable (f :.: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable

classclass Functor t => Traversable (t :: Type -> Type) where

Methods

traverse :: Applicative f => (a %1 -> f b) -> t a %1 -> f (t b)
sequence :: Applicative f => t (f a) %1 -> f (t a)

Instances24Traversable, …

Traversable NonEmptyDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable Par1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable MaybeDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable []Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
KnownNat n => Traversable (V n)Defined in linear-base-0.8.1 · Data.V.Linear.Internal.Instances · orphan
Traversable U1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UAddrDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UCharDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UDoubleDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UFloatDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UIntDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable UWordDefined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable V1Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Either a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple2 a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Const a)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple3 a b)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (K1 i v)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple4 a b c)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :*: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :+: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable (Tuple5 a b c d)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
Traversable f => Traversable (M1 i c f)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable
(Traversable f, Traversable g) => Traversable (f :.: g)Defined in linear-base-0.8.1 · Data.Functor.Linear.Internal.Traversable