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