Control.Lens.Internal.Review

Reviewing

class Profunctor p => Reviewable p where

This provides a dual notion to that of Gettable.

Methods

retagged :: p a b -> p s b

Instances

Reviewable Reviewed

Reviewable (Tagged *)

newtype Reviewed a b

This is a profunctor used internally to implement Review

It plays a role similar to that of Accessor or Const do for Control.Lens.Getter

Constructors

Reviewed

Fields

runReviewed :: b

Instances

Bitraversable Reviewed

Bifunctor Reviewed

Bifoldable Reviewed

Profunctor Reviewed

Corepresentable Reviewed

Choice Reviewed

Reviewable Reviewed

Wrapped a b (Reviewed s a) (Reviewed t b)

Monad (Reviewed a)

Functor (Reviewed a)

Monad (Reviewed a) => MonadFix (Reviewed a)

Functor (Reviewed a) => Applicative (Reviewed a)

Foldable (Reviewed a)

(Functor (Reviewed a), Foldable (Reviewed a)) => Traversable (Reviewed a)

Functor (Reviewed a) => Comonad (Reviewed a)

Comonad (Reviewed a) => ComonadApply (Reviewed a)

Functor (Reviewed a) => Distributive (Reviewed a)

Functor (Reviewed a) => Apply (Reviewed a)

Apply (Reviewed a) => Bind (Reviewed a)