Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
class GTraverseNonSum (cd :: Meta) tag gf where Source #
gTraverseNonSum :: GenericTraverseF tag (gf p) Source #
Instances
GTraverseNonSum cd (tag :: k1) (V1 :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum 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 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 gTraverseNonSum :: forall (p :: k10). GenericTraverseF tag (C1 cc gf p) Source # |