hedgehog-1.0: Release with confidence.

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.

Methods

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

Instances
HTraversable (Var a) Source # 
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) Source #