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