Control.Lens.Internal.Zoom

Zoom

newtype Focusing m s a

Used by Zoom to zoom into StateT.

Constructors

Focusing

Fields

• unfocusing :: m (s, a)

Instances

Monad m => Functor (Focusing m s)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> Focusing m s a

(<*>) :: Focusing m s (a -> b) -> Focusing m s a -> Focusing m s b

liftA2 :: (a -> b -> c) -> Focusing m s a -> Focusing m s b -> Focusing m s c

(*>) :: 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

Used by Zoom to zoom into RWST.

Constructors

FocusingWith

Fields

• unfocusingWith :: m (s, a, w)

Instances

Monad m => Functor (FocusingWith w m s)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> FocusingWith w m s a

(<*>) :: FocusingWith w m s (a -> b) -> FocusingWith w m s a -> FocusingWith w m s b

liftA2 :: (a -> b -> c) -> FocusingWith w m s a -> FocusingWith w m s b -> FocusingWith w m s c

(*>) :: 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

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)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> FocusingPlus w k s a

(<*>) :: FocusingPlus w k s (a -> b) -> FocusingPlus w k s a -> FocusingPlus w k s b

liftA2 :: (a -> b -> c) -> FocusingPlus w k s a -> FocusingPlus w k s b -> FocusingPlus w k s c

(*>) :: 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

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)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

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

newtype FocusingMay k s a

Used by Zoom to zoom into ErrorT.

Constructors

FocusingMay

Fields

• unfocusingMay :: k (May s) a

Instances

Functor (k (May s)) => Functor (FocusingMay k s)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> FocusingMay k s a

(<*>) :: FocusingMay k s (a -> b) -> FocusingMay k s a -> FocusingMay k s b

liftA2 :: (a -> b -> c) -> FocusingMay k s a -> FocusingMay k s b -> FocusingMay k s c

(*>) :: 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

Make a Monoid out of Maybe for error handling.

Constructors

May

Fields

• getMay :: Maybe a

Instances

Semigroup a => Semigroup (May a)

Defined in Control.Lens.Internal.Zoom

Methods

(<>) :: May a -> May a -> May a

sconcat :: NonEmpty (May a) -> May a

stimes :: Integral b => b -> May a -> May a

Monoid a => Monoid (May a)

Defined in Control.Lens.Internal.Zoom

Methods

mempty :: May a

mappend :: May a -> May a -> May a

mconcat :: [May a] -> May a

newtype FocusingErr e k s a

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)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> FocusingErr e k s a

(<*>) :: FocusingErr e k s (a -> b) -> FocusingErr e k s a -> FocusingErr e k s b

liftA2 :: (a -> b -> c) -> FocusingErr e k s a -> FocusingErr e k s b -> FocusingErr e k s c

(*>) :: 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

Make a Monoid out of Either for error handling.

Constructors

Err

Fields

• getErr :: Either e a

Instances

Semigroup a => Semigroup (Err e a)

Defined in Control.Lens.Internal.Zoom

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

Monoid a => Monoid (Err e a)

Defined in Control.Lens.Internal.Zoom

Methods

mempty :: Err e a

mappend :: Err e a -> Err e a -> Err e a

mconcat :: [Err e a] -> Err e a

Magnify

newtype Effect m r a

Wrap a monadic effect with a phantom type argument.

Constructors

Effect

Fields

• getEffect :: m r

Instances

Functor (Effect m r)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

Methods

pure :: a -> Effect m r a

(<*>) :: Effect m r (a -> b) -> Effect m r a -> Effect m r b

liftA2 :: (a -> b -> c) -> Effect m r a -> Effect m r b -> Effect m r c

(*>) :: Effect m r a -> Effect m r b -> Effect m r b

(<*) :: Effect m r a -> Effect m r b -> Effect m r a

Functor (Effect m r)

Defined in Control.Lens.Internal.Zoom

Methods

gmap :: (a -> b) -> Effect m r b -> Effect m r a

(>$) :: b -> Effect m r b -> Effect m r a

(Monad m, Semigroup r) => Semigroup (Effect m r a)

Defined in Control.Lens.Internal.Zoom

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

(Monad m, Monoid r) => Monoid (Effect m r a)

Defined in Control.Lens.Internal.Zoom

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

newtype EffectRWS w st m s a

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)

Defined in Control.Lens.Internal.Zoom

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)

Defined in Control.Lens.Internal.Zoom

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

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)

Defined in Control.Lens.Internal.Zoom

Methods

gmap :: (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