Portability | non-portable |
---|---|
Stability | provisional |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Safe Haskell | Trustworthy |
- class Profunctor p => Reviewable p where
- retagged :: p a b -> p s b
- newtype Reviewed a b = Reviewed {
- runReviewed :: b
Reviewing
class Profunctor p => Reviewable p whereSource
This provides a dual notion to that of Gettable
.
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
Reviewed | |
|
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) | |
MonadFix (Reviewed a) | |
Applicative (Reviewed a) | |
Foldable (Reviewed a) | |
Traversable (Reviewed a) | |
Comonad (Reviewed a) | |
ComonadApply (Reviewed a) | |
Distributive (Reviewed a) | |
Apply (Reviewed a) | |
Bind (Reviewed a) |