hedgehog-0.6.1: Hedgehog will eat all your bugs.

Safe HaskellSafe
LanguageHaskell98

Hedgehog.Internal.HTraversable

Synopsis

Documentation

class HTraversable t where #

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) #

Instances
HTraversable (Var a) # 
Instance details

Defined in Hedgehog.Internal.State

Methods

htraverse :: Applicative f => (forall a0. g a0 -> f (h a0)) -> Var a g -> f (Var a h) #