Copyright | (C) 2012-2016 Edward Kmett |
---|---|
License | BSD-style (see the file LICENSE) |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Synopsis
- newtype Focusing m s a = Focusing {
- unfocusing :: m (s, a)
- newtype FocusingWith w m s a = FocusingWith {
- unfocusingWith :: m (s, a, w)
- newtype FocusingPlus w k s a = FocusingPlus {
- unfocusingPlus :: k (s, w) a
- newtype FocusingOn f k s a = FocusingOn {
- unfocusingOn :: k (f s) a
- newtype FocusingMay k s a = FocusingMay {
- unfocusingMay :: k (May s) a
- newtype May a = May {}
- newtype FocusingErr e k s a = FocusingErr {
- unfocusingErr :: k (Err e s) a
- newtype Err e a = Err {}
- newtype FocusingFree f m k s a = FocusingFree {
- unfocusingFree :: k (Freed f m s) a
- newtype Freed f m a = Freed {}
- newtype Effect m r a = Effect {
- getEffect :: m r
- newtype EffectRWS w st m s a = EffectRWS {
- getEffectRWS :: st -> m (s, st, w)
Zoom
newtype Focusing m s a Source #
Focusing | |
|
newtype FocusingWith w m s a Source #
FocusingWith | |
|
Instances
newtype FocusingPlus w k s a Source #
FocusingPlus | |
|
Instances
newtype FocusingOn f k s a Source #
FocusingOn | |
|
Instances
Applicative (k (f s)) => Applicative (FocusingOn f k s) Source # | |
Defined in Control.Lens.Internal.Zoom pure :: a -> FocusingOn f k s a # (<*>) :: FocusingOn f k s (a -> b) -> FocusingOn f k s a -> FocusingOn f k s b # liftA2 :: (a -> b -> c) -> FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s c # (*>) :: FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s b # (<*) :: FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s a # | |
Functor (k (f s)) => Functor (FocusingOn f k s) Source # | |
Defined in Control.Lens.Internal.Zoom fmap :: (a -> b) -> FocusingOn f k s a -> FocusingOn f k s b # (<$) :: a -> FocusingOn f k s b -> FocusingOn f k s a # | |
Apply (k (f s)) => Apply (FocusingOn f k s) Source # | |
Defined in Control.Lens.Internal.Zoom (<.>) :: FocusingOn f k s (a -> b) -> FocusingOn f k s a -> FocusingOn f k s b # (.>) :: FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s b # (<.) :: FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s a # liftF2 :: (a -> b -> c) -> FocusingOn f k s a -> FocusingOn f k s b -> FocusingOn f k s c # |
newtype FocusingMay k s a Source #
FocusingMay | |
|
Instances
newtype FocusingErr e k s a Source #
FocusingErr | |
|
Instances
newtype FocusingFree f m k s a Source #
FocusingFree | |
|
Instances
Applicative (k (Freed f m s)) => Applicative (FocusingFree f m k s) Source # | |
Defined in Control.Lens.Internal.Zoom pure :: a -> FocusingFree f m k s a # (<*>) :: FocusingFree f m k s (a -> b) -> FocusingFree f m k s a -> FocusingFree f m k s b # liftA2 :: (a -> b -> c) -> FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s c # (*>) :: FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s b # (<*) :: FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s a # | |
Functor (k (Freed f m s)) => Functor (FocusingFree f m k s) Source # | |
Defined in Control.Lens.Internal.Zoom fmap :: (a -> b) -> FocusingFree f m k s a -> FocusingFree f m k s b # (<$) :: a -> FocusingFree f m k s b -> FocusingFree f m k s a # | |
Apply (k (Freed f m s)) => Apply (FocusingFree f m k s) Source # | |
Defined in Control.Lens.Internal.Zoom (<.>) :: FocusingFree f m k s (a -> b) -> FocusingFree f m k s a -> FocusingFree f m k s b # (.>) :: FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s b # (<.) :: FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s a # liftF2 :: (a -> b -> c) -> FocusingFree f m k s a -> FocusingFree f m k s b -> FocusingFree f m k s c # |
Magnify
Wrap a monadic effect with a phantom type argument.
Instances
Contravariant (Effect m r) Source # | |
(Monad m, Monoid r) => Applicative (Effect m r) Source # | |
Defined in Control.Lens.Internal.Zoom | |
Functor (Effect m r) Source # | |
(Apply m, Semigroup r) => Apply (Effect m r) Source # | |
(Monad m, Monoid r) => Monoid (Effect m r a) Source # | |
(Monad m, Semigroup r) => Semigroup (Effect m r a) Source # | |
newtype EffectRWS w st m s a Source #
Wrap a monadic effect with a phantom type argument. Used when magnifying RWST
.
EffectRWS | |
|
Instances
Contravariant (EffectRWS w st m s) Source # | |
(Monoid s, Monoid w, Monad m) => Applicative (EffectRWS w st m s) Source # | |
Defined in Control.Lens.Internal.Zoom pure :: a -> EffectRWS w st m s a # (<*>) :: EffectRWS w st m s (a -> b) -> EffectRWS w st m s a -> EffectRWS w st m s b # liftA2 :: (a -> b -> c) -> EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s c # (*>) :: EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s b # (<*) :: EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s a # | |
Functor (EffectRWS w st m s) Source # | |
(Semigroup s, Semigroup w, Bind m) => Apply (EffectRWS w st m s) Source # | |
Defined in Control.Lens.Internal.Zoom (<.>) :: EffectRWS w st m s (a -> b) -> EffectRWS w st m s a -> EffectRWS w st m s b # (.>) :: EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s b # (<.) :: EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s a # liftF2 :: (a -> b -> c) -> EffectRWS w st m s a -> EffectRWS w st m s b -> EffectRWS w st m s c # |