Portability | Rank2Types |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Safe Haskell | Trustworthy |

- template :: forall a b. (Data a, Typeable b) => Simple Traversal a b
- tinplate :: (Data a, Typeable b) => Simple Traversal a b
- uniplate :: Data a => Simple Traversal a a
- biplate :: forall a b. (Data a, Typeable b) => Simple Traversal a b
- gtraverse :: (Applicative f, Data a) => (forall d. Data d => d -> f d) -> a -> f a