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	Safe
Language	Haskell98

Control.Lens.Internal.Zoom

Contents

Zoom
Magnify

Description

Synopsis

Zoom

type family Zoomed m :: * -> * -> * Source

This type family is used by Zoom to describe the common effect type.

Instances

type Zoomed (IdentityT m) = Zoomed m Source
type Zoomed (ListT m) = FocusingOn [] (Zoomed m) Source
type Zoomed (MaybeT m) = FocusingMay (Zoomed m) Source
type Zoomed (ReaderT e m) = Zoomed m Source
type Zoomed (StateT s z) = Focusing z Source
type Zoomed (StateT s z) = Focusing z Source
type Zoomed (ExceptT e m) = FocusingErr e (Zoomed m) Source
type Zoomed (ErrorT e m) = FocusingErr e (Zoomed m) Source
type Zoomed (WriterT w m) = FocusingPlus w (Zoomed m) Source
type Zoomed (WriterT w m) = FocusingPlus w (Zoomed m) Source
type Zoomed (RWST r w s z) = FocusingWith w z Source
type Zoomed (RWST r w s z) = FocusingWith w z Source

newtype Focusing m s a Source

Used by Zoom to zoom into StateT.

Constructors

Focusing
Fields unfocusing :: m (s, a)

Instances

Monad m => Functor (Focusing m s) Source
Methods fmap :: (a -> b) -> Focusing m s a -> Focusing m s b (<$) :: a -> Focusing m s b -> Focusing m s a
(Monad m, Monoid s) => Applicative (Focusing m s) Source
Methods pure :: a -> Focusing m s a (<>) :: Focusing m s (a -> b) -> Focusing m s a -> Focusing m s b (>) :: Focusing m s a -> Focusing m s b -> Focusing m s b (<*) :: Focusing m s a -> Focusing m s b -> Focusing m s a
(Monad m, Semigroup s) => Apply (Focusing m s) Source
Methods (<.>) :: Focusing m s (a -> b) -> Focusing m s a -> Focusing m s b (.>) :: Focusing m s a -> Focusing m s b -> Focusing m s b (<.) :: Focusing m s a -> Focusing m s b -> Focusing m s a

newtype FocusingWith w m s a Source

Used by Zoom to zoom into RWST.

Constructors

FocusingWith
Fields unfocusingWith :: m (s, a, w)

Instances

Monad m => Functor (FocusingWith w m s) Source
Methods fmap :: (a -> b) -> FocusingWith w m s a -> FocusingWith w m s b (<$) :: a -> FocusingWith w m s b -> FocusingWith w m s a
(Monad m, Monoid s, Monoid w) => Applicative (FocusingWith w m s) Source
Methods pure :: a -> FocusingWith w m s a (<>) :: FocusingWith w m s (a -> b) -> FocusingWith w m s a -> FocusingWith w m s b (>) :: FocusingWith w m s a -> FocusingWith w m s b -> FocusingWith w m s b (<*) :: FocusingWith w m s a -> FocusingWith w m s b -> FocusingWith w m s a
(Monad m, Semigroup s, Semigroup w) => Apply (FocusingWith w m s) Source
Methods (<.>) :: FocusingWith w m s (a -> b) -> FocusingWith w m s a -> FocusingWith w m s b (.>) :: FocusingWith w m s a -> FocusingWith w m s b -> FocusingWith w m s b (<.) :: FocusingWith w m s a -> FocusingWith w m s b -> FocusingWith w m s a

newtype FocusingPlus w k s a Source

Used by Zoom to zoom into WriterT.

Constructors

FocusingPlus
Fields unfocusingPlus :: k (s, w) a

Instances

Functor (k (s, w)) => Functor (FocusingPlus w k s) Source
Methods fmap :: (a -> b) -> FocusingPlus w k s a -> FocusingPlus w k s b (<$) :: a -> FocusingPlus w k s b -> FocusingPlus w k s a
Applicative (k (s, w)) => Applicative (FocusingPlus w k s) Source
Methods pure :: a -> FocusingPlus w k s a (<>) :: FocusingPlus w k s (a -> b) -> FocusingPlus w k s a -> FocusingPlus w k s b (>) :: FocusingPlus w k s a -> FocusingPlus w k s b -> FocusingPlus w k s b (<*) :: FocusingPlus w k s a -> FocusingPlus w k s b -> FocusingPlus w k s a
Apply (k (s, w)) => Apply (FocusingPlus w k s) Source
Methods (<.>) :: FocusingPlus w k s (a -> b) -> FocusingPlus w k s a -> FocusingPlus w k s b (.>) :: FocusingPlus w k s a -> FocusingPlus w k s b -> FocusingPlus w k s b (<.) :: FocusingPlus w k s a -> FocusingPlus w k s b -> FocusingPlus w k s a

newtype FocusingOn f k s a Source

Used by Zoom to zoom into MaybeT or ListT.

Constructors

FocusingOn
Fields unfocusingOn :: k (f s) a

Instances

Functor (k (f s)) => Functor (FocusingOn f k s) Source
Methods fmap :: (a -> b) -> FocusingOn f k s a -> FocusingOn f k s b (<$) :: a -> FocusingOn f k s b -> FocusingOn f k s a
Applicative (k (f s)) => Applicative (FocusingOn f k s) Source
Methods pure :: a -> FocusingOn f k s a (<>) :: 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
Apply (k (f s)) => Apply (FocusingOn f k s) Source
Methods (<.>) :: 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

newtype FocusingMay k s a Source

Used by Zoom to zoom into ErrorT.

Constructors

FocusingMay
Fields unfocusingMay :: k (May s) a

Instances

Functor (k (May s)) => Functor (FocusingMay k s) Source
Methods fmap :: (a -> b) -> FocusingMay k s a -> FocusingMay k s b (<$) :: a -> FocusingMay k s b -> FocusingMay k s a
Applicative (k (May s)) => Applicative (FocusingMay k s) Source
Methods pure :: a -> FocusingMay k s a (<>) :: FocusingMay k s (a -> b) -> FocusingMay k s a -> FocusingMay k s b (>) :: FocusingMay k s a -> FocusingMay k s b -> FocusingMay k s b (<*) :: FocusingMay k s a -> FocusingMay k s b -> FocusingMay k s a
Apply (k (May s)) => Apply (FocusingMay k s) Source
Methods (<.>) :: FocusingMay k s (a -> b) -> FocusingMay k s a -> FocusingMay k s b (.>) :: FocusingMay k s a -> FocusingMay k s b -> FocusingMay k s b (<.) :: FocusingMay k s a -> FocusingMay k s b -> FocusingMay k s a

newtype May a Source

Make a Monoid out of Maybe for error handling.

Constructors

May
Fields getMay :: Maybe a

Instances

Monoid a => Monoid (May a) Source
Methods mempty :: May a mappend :: May a -> May a -> May a mconcat :: [May a] -> May a
Semigroup a => Semigroup (May a) Source
Methods (<>) :: May a -> May a -> May a sconcat :: NonEmpty (May a) -> May a stimes :: Integral b => b -> May a -> May a

newtype FocusingErr e k s a Source

Used by Zoom to zoom into ErrorT.

Constructors

FocusingErr
Fields unfocusingErr :: k (Err e s) a

Instances

Functor (k (Err e s)) => Functor (FocusingErr e k s) Source
Methods fmap :: (a -> b) -> FocusingErr e k s a -> FocusingErr e k s b (<$) :: a -> FocusingErr e k s b -> FocusingErr e k s a
Applicative (k (Err e s)) => Applicative (FocusingErr e k s) Source
Methods pure :: a -> FocusingErr e k s a (<>) :: FocusingErr e k s (a -> b) -> FocusingErr e k s a -> FocusingErr e k s b (>) :: FocusingErr e k s a -> FocusingErr e k s b -> FocusingErr e k s b (<*) :: FocusingErr e k s a -> FocusingErr e k s b -> FocusingErr e k s a
Apply (k (Err e s)) => Apply (FocusingErr e k s) Source
Methods (<.>) :: FocusingErr e k s (a -> b) -> FocusingErr e k s a -> FocusingErr e k s b (.>) :: FocusingErr e k s a -> FocusingErr e k s b -> FocusingErr e k s b (<.) :: FocusingErr e k s a -> FocusingErr e k s b -> FocusingErr e k s a

newtype Err e a Source

Make a Monoid out of Either for error handling.

Constructors

Err
Fields getErr :: Either e a

Instances

Monoid a => Monoid (Err e a) Source
Methods mempty :: Err e a mappend :: Err e a -> Err e a -> Err e a mconcat :: [Err e a] -> Err e a
Semigroup a => Semigroup (Err e a) Source
Methods (<>) :: Err e a -> Err e a -> Err e a sconcat :: NonEmpty (Err e a) -> Err e a stimes :: Integral b => b -> Err e a -> Err e a

Magnify

type family Magnified m :: * -> * -> * Source

This type family is used by Magnify to describe the common effect type.

Instances

type Magnified ((->) b) = Const Source
type Magnified (IdentityT m) = Magnified m Source
type Magnified (ReaderT b m) = Effect m Source
type Magnified (RWST a w s m) = EffectRWS w s m Source
type Magnified (RWST a w s m) = EffectRWS w s m Source

newtype Effect m r a Source

Wrap a monadic effect with a phantom type argument.

Constructors

Effect
Fields getEffect :: m r

Instances

Functor (Effect m r) Source
Methods fmap :: (a -> b) -> Effect m r a -> Effect m r b (<$) :: a -> Effect m r b -> Effect m r a
(Monad m, Monoid r) => Applicative (Effect m r) Source
Methods pure :: a -> Effect m r a (<>) :: Effect m r (a -> b) -> Effect m r a -> Effect m r b (>) :: Effect m r a -> Effect m r b -> Effect m r b (<*) :: Effect m r a -> Effect m r b -> Effect m r a
Contravariant (Effect m r) Source
Methods contramap :: (a -> b) -> Effect m r b -> Effect m r a (>$) :: b -> Effect m r b -> Effect m r a
(Apply m, Semigroup r) => Apply (Effect m r) Source
Methods (<.>) :: Effect m r (a -> b) -> Effect m r a -> Effect m r b (.>) :: Effect m r a -> Effect m r b -> Effect m r b (<.) :: Effect m r a -> Effect m r b -> Effect m r a
(Monad m, Monoid r) => Monoid (Effect m r a) Source
Methods mempty :: Effect m r a mappend :: Effect m r a -> Effect m r a -> Effect m r a mconcat :: [Effect m r a] -> Effect m r a
(Apply m, Semigroup r) => Semigroup (Effect m r a) Source
Methods (<>) :: Effect m r a -> Effect m r a -> Effect m r a sconcat :: NonEmpty (Effect m r a) -> Effect m r a stimes :: Integral b => b -> Effect m r a -> Effect m r a

newtype EffectRWS w st m s a Source

Wrap a monadic effect with a phantom type argument. Used when magnifying RWST.

Constructors

EffectRWS
Fields getEffectRWS :: st -> m (s, st, w)

Instances

Functor (EffectRWS w st m s) Source
Methods fmap :: (a -> b) -> EffectRWS w st m s a -> EffectRWS w st m s b (<$) :: a -> EffectRWS w st m s b -> EffectRWS w st m s a
(Monoid s, Monoid w, Monad m) => Applicative (EffectRWS w st m s) Source
Methods 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 (>) :: 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
Contravariant (EffectRWS w st m s) Source
Methods contramap :: (a -> b) -> EffectRWS w st m s b -> EffectRWS w st m s a (>$) :: b -> EffectRWS w st m s b -> EffectRWS w st m s a
(Semigroup s, Semigroup w, Bind m) => Apply (EffectRWS w st m s) Source
Methods (<.>) :: 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