Zabt.Visits

Documentation

class Visits t where

A type f :: Arity -> * instantiating Visits f essentially is Traversable, but we define a new typeclass to handle the difference in types.

Minimal complete definition

visit

Methods

visit :: Applicative f => (forall a. x a -> f (y a)) -> t x -> f (t y)

vmap :: (forall a. x a -> y a) -> t x -> t y

vfoldMap :: Monoid m => (forall a. x a -> m) -> t x -> m