| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Hedgehog.Internal.HTraversable
Synopsis
- class HTraversable t where
Documentation
class HTraversable t where Source #
Higher-order traversable functors.
This is used internally to make symbolic variables concrete given an Environment.
Minimal complete definition
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 | |