| 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 dtName gf) => GTraverseNonSum (tag :: k1) (D1 ('MetaData dtName _md2 _md3 _md4) gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum Methods gTraverseNonSum :: forall (p :: k10). GenericTraverseF tag (D1 ('MetaData dtName _md2 _md3 _md4) gf p) Source # | |
class GTraverseNonSumD tag (cd :: Symbol) 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 cstrName 0 gf) => GTraverseNonSumD (tag :: k1) cd (C1 ('MetaCons cstrName _mc2 _mc3) gf :: k2 -> Type) Source # | |
Defined in Generic.Data.Function.Traverse.NonSum Methods gTraverseNonSumD :: forall (p :: k10). GenericTraverseF tag (C1 ('MetaCons cstrName _mc2 _mc3) gf p) Source # | |