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

Stability | provisional |

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

Safe Haskell | Safe-Inferred |

Infix type operators for simple lenses and traversals.

- type :-> s a = forall f. Functor f => (a -> f a) -> s -> f s
- type :=> s a = forall f. Applicative f => (a -> f a) -> s -> f s