Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class HTraversable t where
- htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h)
Documentation
class HTraversable t where Source #
Deprecated: Replace with Hedgehog.TraversableB (defined in Data.Functor.Barbie) which can be derived automatically using GHC.Generics
Higher-order traversable functors.
Deprecated in favor of TraversableB
which can be derived using GHC.Generics
htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h) Source #