hedgehog-0.6: Hedgehog will eat all your bugs.

Safe HaskellSafe
LanguageHaskell98

Hedgehog.Internal.HTraversable

Synopsis

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

htraverse

Methods

htraverse :: Applicative f => (forall a. g a -> f (h a)) -> t g -> f (t h) Source #

Instances

HTraversable (Var a) Source # 

Methods

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