Data.Diverse.ATraversable

Documentation

class ATraversable f c m xs where

Given a Case that transforms each type in the typelist within an Applicative context m, convert a f xs to m (f (TraverseResults c m xs)), where (TraverseResults c m xs) corresponds to (CaseResults (c m) xs) with the m layer peeled off from each result.

This is primarily meant to be used with Cases from the Data.Diverse.CaseIxed module.

Methods

atraverse :: (Applicative m, IsTraversalCase c, xs' ~ TraverseResults c m xs) => c m xs -> f xs -> m (f xs')

Instances

ATraversable Many_ c m as => ATraversable Many c m as

Defined in Data.Diverse.Many.Internal

Methods

atraverse :: forall (xs' :: [Type]). (Applicative m, IsTraversalCase c, xs' ~ TraverseResults c m as) => c m as -> Many as -> m (Many xs')

ATraversable Which c m ('[] :: [Type])

Defined in Data.Diverse.Which.Internal

Methods

atraverse :: forall (xs' :: [Type]). (Applicative m, IsTraversalCase c, xs' ~ TraverseResults c m '[]) => c m '[] -> Which '[] -> m (Which xs')

(Reiterate (c m) (a ': as), ATraversable Which c m as, Case (c m) (a ': as)) => ATraversable Which c m (a ': as)

Defined in Data.Diverse.Which.Internal

Methods

atraverse :: forall (xs' :: [Type]). (Applicative m, IsTraversalCase c, xs' ~ TraverseResults c m (a ': as)) => c m (a ': as) -> Which (a ': as) -> m (Which xs')