| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Generic.Data.Function.Traverse.NonSum
Documentation
class GTraverseNonSum (cd :: Meta) f f' where Source #
Methods
gTraverseNonSum :: f (f' p) Source #
Instances
| GTraverseNonSum cd (f :: Type -> Type) (V1 :: k -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum Methods gTraverseNonSum :: forall (p :: k0). f (V1 p) Source # | |
| GTraverseNonSum cd (f :: Type -> Type) (l :+: r :: k -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum Methods gTraverseNonSum :: forall (p :: k0). f ((l :+: r) p) Source # | |
| (Functor f, GTraverseC cd cc 0 f f') => GTraverseNonSum cd (f :: Type -> Type) (C1 cc f' :: k -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum Methods gTraverseNonSum :: forall (p :: k0). f (C1 cc f' p) Source # | |