Module

Data.Lens.Internal.Focusing

This module defines the Focusing functor

#Focusing

newtype Focusing :: (Type -> Type) -> Type -> Type -> Typenewtype Focusing m s a

The functor used to zoom into StateT.

Constructors

Focusing (m (Tuple s a))

Instances

Newtype (Focusing m s a) _
(Functor m) => Functor (Focusing m s)
(Apply m, Semigroup s) => Apply (Focusing m s)
(Applicative m, Monoid s) => Applicative (Focusing m s)

Modules