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