Moduleoptics-extra-0.4.2.1Haskell2010

Optics.Extra.Internal.Zoom

6 types
13 values

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

Zoom

12 declarations

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

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

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

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

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

5 declarations

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

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

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

2 declarations

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

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