Hedgehog.Internal.HTraversable

Documentation

class HTraversable t where

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)

Instances

HTraversable (Var a)

Methods

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