Documentation

type Review s t a b = forall p. (Profunctor p, Bifunctor p) => p a b -> p s t Source #

retagged :: forall p a b s. (Profunctor p, Bifunctor p) => p a b -> p s b Source #

review :: (Tagged a b -> Tagged s t) -> b -> t Source #

(#) :: (Tagged a b -> Tagged s t) -> b -> t infixr 8 Source #

reviews :: (Tagged a b -> Tagged s t) -> (t -> t') -> b -> t' Source #

re :: (Tagged a b -> Tagged s t) -> Getter b a t s Source #

unto :: forall (s :: *) t (a :: *) b. (b -> t) -> Tagged a b -> Tagged s t Source #

un :: Getter s t a b -> Tagged t s -> Tagged b a Source #