HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulelens-5.3.5Haskell2010

Control.Lens.Internal.Zoom

  • 12 types
  • Packagelens-5.3.5
  • Exports12
  • LanguageHaskell2010
  • LicenceBSD-2-Clause
  • SourceZoom.hs

Zoom

10 declarations
newtypenewtype FocusingWith w (m :: Type -> Type) s a
#

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

Constructors

Instances3Functor, Applicative, Apply
newtypenewtype FocusingPlus w (k :: Type -> Type -> Type) s a
#

Used by Zoom to zoom into Control.Monad.Writer.WriterT.

Constructors

Instances3Functor, Applicative, Apply
newtypenewtype FocusingOn (f :: Type -> Type) (k :: Type -> Type -> Type) s a
#

Used by Zoom to zoom into MaybeT or Control.Monad.Trans.List.ListT.

Constructors

Instances3Functor, Applicative, Apply
newtypenewtype FocusingMay (k :: Type -> Type -> Type) s a
#

Used by Zoom to zoom into Control.Monad.Error.ErrorT.

Constructors

Instances3Functor, Applicative, Apply
newtypenewtype FocusingErr e (k :: Type -> Type -> Type) s a
#

Used by Zoom to zoom into Control.Monad.Error.ErrorT.

Constructors

Instances3Functor, Applicative, Apply
newtypenewtype FocusingFree (f :: Type -> Type) (m :: Type -> Type) (k :: Type -> Type -> Type) s a
#

Used by Zoom to zoom into Control.Monad.Trans.FreeT

Constructors

Instances3Functor, Applicative, Apply

Magnify

2 declarations
newtypenewtype Effect (m :: Type -> Type) r a
#

Wrap a monadic effect with a phantom type argument.

Constructors

Instances6Functor, Applicative, Contravariant, Apply, Semigroup, Monoid
newtypenewtype EffectRWS w st (m :: Type -> Type) s a
#

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

Constructors

Instances4Functor, Applicative, Contravariant, Apply