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