Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

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

Moduleoptics-core-0.4.2Haskell2010

Data.Maybe.Optics

This module defines Prisms for the constructors of the Maybe datatype.

3 values

Packageoptics-core-0.4.2
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceOptics.hs

value_Nothing :: Prism' (Maybe a) ()

A Prism that matches on the Nothing constructor of Maybe.

value_Just :: Prism (Maybe a) (Maybe b) a b

A Prism that matches on the Just constructor of Maybe.

value(%?)

:: (AppendIndices is js ks, JoinKinds k A_Prism k', JoinKinds k' l m)
=> Optic k is s t (Maybe u) (Maybe v)
-> Optic l js u v a b
-> Optic m ks s t a b

Shortcut for % _Just %.

Useful for composing lenses of Maybe type.