type Review t b = forall p. IsReview p => Optic' p t b Source #

class (IsPrism p, Bifunctor p, Costrong p) => IsReview p Source #

unto :: (b -> t) -> Review t b Source #

reviewing :: (Profunctor p, Bifunctor p) => Optic p s t a b -> Optic' p t b Source #

un :: Getter s a -> Review a s Source #

reviews :: Review t b -> (e -> b) -> e -> t Source #

review :: Review t b -> b -> t Source #

(#) :: Review t b -> b -> t infixr 8 Source #

re :: Review t b -> Getter b t Source #

lphantom :: (Bifunctor p, Profunctor p) => p b c -> p a c Source #