Moduleoptics-extra-0.4.2.1Haskell2010

Optics.Extra.Internal.Zoom

Contents

Zoom
Magnify
Misc

Synopsis

newtype Focusing
value stateZoom
value stateZoomMaybe
value stateZoomMany
newtype FocusingWith
value rwsZoom
value rwsZoomMaybe
value rwsZoomMany
newtype May
value shuffleMay
newtype Err
value shuffleErr
newtype Effect
newtype EffectRWS
value rwsMagnify
value rwsMagnifyMaybe
value rwsMagnifyMany
value shuffleS
value shuffleW

Packageoptics-extra-0.4.2.1
Exports19
LanguageHaskell2010
LicenceBSD-3-Clause
SourceZoom.hs

Zoom

newtypenewtype Focusing (m :: Type -> Type) c s

Source#

Used by Zoom to zoom into Control.Monad.State.StateT.

Constructors

Focusing
- unfocusing :: m (c, s)

Instances2Functor, Applicative

Monad m => Functor (Focusing m c)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
(Monad m, Monoid s) => Applicative (Focusing m s)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

valuestateZoom

:: (Is k A_Lens, Monad m)
=> Optic' k is t s
-> s -> m (c, s)
-> t
-> m (c, t)

valuestateZoomMaybe

:: (Is k An_AffineTraversal, Monad m)
=> Optic' k is t s
-> s -> m (c, s)
-> t
-> m (Maybe c, t)

valuestateZoomMany

:: (Is k A_Traversal, Monad m, Monoid c)
=> Optic' k is t s
-> s -> m (c, s)
-> t
-> m (c, t)

newtypenewtype FocusingWith w (m :: Type -> Type) c s

Source#

Used by Zoom to zoom into Control.Monad.RWS.RWST.

Constructors

FocusingWith
- unfocusingWith :: m (c, s, w)

Instances2Functor, Applicative

Monad m => Functor (FocusingWith w m s)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
(Monad m, Monoid s, Monoid w) => Applicative (FocusingWith w m s)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

valuerwsZoom

:: (Is k A_Lens, Monad m)
=> Optic' k is t s
-> r -> s -> m (c, s, w)
-> r
-> t
-> m (c, t, w)

valuerwsZoomMaybe

:: (Is k An_AffineTraversal, Monad m, Monoid w)
=> Optic' k is t s
-> r -> s -> m (c, s, w)
-> r
-> t
-> m (Maybe c, t, w)

valuerwsZoomMany

:: (Is k A_Traversal, Monad m, Monoid w, Monoid c)
=> Optic' k is t s
-> r -> s -> m (c, s, w)
-> r
-> t
-> m (c, t, w)

newtypenewtype May a

Source#

Make a Monoid out of Maybe for error handling.

Constructors

May
- getMay :: Maybe a

Instances2Semigroup, Monoid

Semigroup a => Semigroup (May a)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
Monoid a => Monoid (May a)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

valueshuffleMay :: Maybe (May c) -> May (Maybe c)

newtypenewtype Err e a

Source#

Make a Monoid out of Either for error handling.

Constructors

Err
- getErr :: Either e a

Instances2Semigroup, Monoid

Semigroup a => Semigroup (Err e a)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
Monoid a => Monoid (Err e a)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

valueshuffleErr :: Maybe (Err e c) -> Err e (Maybe c)

Magnify

newtypenewtype Effect (m :: Type -> Type) r

Source#

Wrap a monadic effect.

Constructors

Effect
- getEffect :: m r

Instances2Semigroup, Monoid

(Monad m, Semigroup r) => Semigroup (Effect m r)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
(Monad m, Monoid r) => Monoid (Effect m r)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

newtypenewtype EffectRWS w s (m :: Type -> Type) c

Source#

Wrap a monadic effect. Used when magnifying Control.Monad.RWS.RWST.

Constructors

EffectRWS
- getEffectRWS :: s -> m (c, s, w)

Instances2Semigroup, Monoid

(Semigroup c, Semigroup w, Monad m) => Semigroup (EffectRWS w s m c)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom
(Monoid c, Monoid w, Monad m) => Monoid (EffectRWS w s m c)Defined in optics-extra-0.4.2.1 · Optics.Extra.Internal.Zoom

valuerwsMagnify

:: Is k A_Getter
=> Optic' k is a b
-> b -> s -> f (c, s, w)
-> a
-> s
-> f (c, s, w)

valuerwsMagnifyMaybe

:: (Is k An_AffineFold, Applicative m, Monoid w)
=> Optic' k is a b
-> b -> s -> m (c, s, w)
-> a
-> s
-> m (Maybe c, s, w)

valuerwsMagnifyMany

:: (Is k A_Fold, Monad m, Monoid w, Monoid c)
=> Optic' k is a b
-> b -> s -> m (c, s, w)
-> a
-> s
-> m (c, s, w)

Misc

valueshuffleS :: s -> Maybe (c, s) -> (Maybe c, s)

valueshuffleW :: Monoid w => Maybe (c, w) -> (Maybe c, w)