| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Hedgehog.Internal.HTraversable
Synopsis
- class HTraversable t where
Documentation
class HTraversable t where #
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) #
Instances
| HTraversable (Var a) # | |
Defined in Hedgehog.Internal.State Methods htraverse :: Applicative f => (forall a0. g a0 -> f (h a0)) -> Var a g -> f (Var a h) # | |