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) | |
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) |