| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hedgehog.Internal.HTraversable
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 #
Higher-order traversable functors.
This is used internally to make symbolic variables concrete given an Environment.
Methods
htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h) Source #
Instances
| HTraversable (Var a) Source # | |
Defined in Hedgehog.Internal.State | |