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