Right package:lens-family-core

right :: (Applicative f, Traversable g) => AdapterLike f g (Either r a) (Either r b) a b
lens-family-core Lens.Family.Stock
right :: Prism (Either r a) (Either r b) a b
A prism on the Right element of an Either.
right_ :: Applicative f => LensLike f (Either r a) (Either r b) a b
lens-family-core Lens.Family.Stock
right_ :: Traversal (Either r a) (Either r b) a b
Traversal on the Right element of an Either. 
right_ = under right
data AlongsideRight f a b
lens-family-core Lens.Family.Stock