HORIZON HASKELLDocslts/ghc-10.0.xaa25b892026-10-10Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · aa25b89 · 2026-10-10

Modulemicrolens-0.5.0.0Haskell2010

Lens.Micro.Extras

  • 2 values
  • Packagemicrolens-0.5.0.0
  • Exports2
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceExtras.hs
valueview :: Getting a s a -> s -> a
#

view is a synonym for (^.):

Example1 expression
view _1 (1, 2)1

The reason it's not in Lens.Micro is that view in lens has a more general signature:

view :: MonadReader s m => Getting a s a -> m a

So, you would be able to use this view with functions, but not in various reader monads. For most people this shouldn't be an issue; if it is for you, use view from microlens-mtl.

valuepreview :: Getting (First a) s a -> s -> Maybe a
#

preview is a synonym for (^?):

Example1 expression
preview _head [1,2,3]Just 1

The reason it's not in Lens.Micro is that preview in lens has a more general signature:

preview :: MonadReader s m => Getting (First a) s a -> m (Maybe a)

Just like with view, you would be able to use this preview with functions, but not in reader monads; if this is an issue for you, use preview from microlens-mtl.