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

Stability | experimental |

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

Safe Haskell | Trustworthy |

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