traverse_ package:sop-core

traverse__NP :: forall xs f g . (SListI xs, Applicative g) => (forall a . f a -> g ()) -> NP f xs -> g ()
sop-core Data.SOP.NP
Specialization of htraverse_.
traverse__POP :: forall xss f g . (SListI2 xss, Applicative g) => (forall a . f a -> g ()) -> POP f xss -> g ()
sop-core Data.SOP.NP
Specialization of htraverse_.
traverse__NS :: forall xs f g . SListI xs => (forall a . f a -> g ()) -> NS f xs -> g ()
sop-core Data.SOP.NS
Specialization of htraverse_. Note: we don't need Applicative constraint.
traverse__SOP :: forall xss f g . (SListI2 xss, Applicative g) => (forall a . f a -> g ()) -> SOP f xss -> g ()
sop-core Data.SOP.NS
Specialization of htraverse_.
class HTraverse_ (h :: (k -> Type) -> (l -> Type))
sop-core Data.SOP Data.SOP.Classes
A generalization of traverse_ or foldMap.
hctraverse_ :: (HTraverse_ h, AllN h c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g ()) -> h f xs -> g ()
sop-core Data.SOP Data.SOP.Classes
Corresponds to traverse_. Instances: 
hctraverse_, ctraverse__NP  :: (All  c xs , Applicative g) => proxy c -> (forall a. c a => f a -> g ()) -> NP  f xs  -> g ()
hctraverse_, ctraverse__NS  :: (All2 c xs , Applicative g) => proxy c -> (forall a. c a => f a -> g ()) -> NS  f xs  -> g ()
hctraverse_, ctraverse__POP :: (All  c xss, Applicative g) => proxy c -> (forall a. c a => f a -> g ()) -> POP f xss -> g ()
hctraverse_, ctraverse__SOP :: (All2 c xss, Applicative g) => proxy c -> (forall a. c a => f a -> g ()) -> SOP f xss -> g ()
htraverse_ :: (HTraverse_ h, SListIN h xs, Applicative g) => (forall a . f a -> g ()) -> h f xs -> g ()
sop-core Data.SOP Data.SOP.Classes
Unconstrained version of hctraverse_. Instances: 
traverse_, traverse__NP  :: (SListI  xs , Applicative g) => (forall a. f a -> g ()) -> NP  f xs  -> g ()
traverse_, traverse__NS  :: (SListI  xs , Applicative g) => (forall a. f a -> g ()) -> NS  f xs  -> g ()
traverse_, traverse__POP :: (SListI2 xss, Applicative g) => (forall a. f a -> g ()) -> POP f xss -> g ()
traverse_, traverse__SOP :: (SListI2 xss, Applicative g) => (forall a. f a -> g ()) -> SOP f xss -> g ()
ctraverse_NP :: (All c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g a) -> NP f xs -> g (NP I xs)
sop-core Data.SOP.NP
Specialization of hctraverse.
ctraverse_POP :: (All2 c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g a) -> POP f xs -> g (POP I xs)
sop-core Data.SOP.NP
Specialization of hctraverse.
ctraverse__NP :: forall c proxy xs f g . (All c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g ()) -> NP f xs -> g ()
sop-core Data.SOP.NP
Specialization of hctraverse_.
ctraverse__POP :: forall c proxy xss f g . (All2 c xss, Applicative g) => proxy c -> (forall a . c a => f a -> g ()) -> POP f xss -> g ()
sop-core Data.SOP.NP
Specialization of hctraverse_.
ctraverse_NS :: (All c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g a) -> NP f xs -> g (NP I xs)
sop-core Data.SOP.NS
Specialization of hctraverse.
ctraverse_SOP :: (All2 c xs, Applicative g) => proxy c -> (forall a . c a => f a -> g a) -> POP f xs -> g (POP I xs)
sop-core Data.SOP.NS
Specialization of hctraverse.
ctraverse__NS :: forall c proxy xs f g . All c xs => proxy c -> (forall a . c a => f a -> g ()) -> NS f xs -> g ()
sop-core Data.SOP.NS
Specialization of hctraverse_. Note: we don't need Applicative constraint.
ctraverse__SOP :: forall c proxy xss f g . (All2 c xss, Applicative g) => proxy c -> (forall a . c a => f a -> g ()) -> SOP f xss -> g ()
sop-core Data.SOP.NS
Specialization of hctraverse_.