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

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

## Instances

HTraversable (Var a) Source # | |

Defined in Hedgehog.Internal.State |