Skip to content

HORIZON HASKELL Docs lts/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

Moduleoptics-core-0.4.1.1Haskell2010

Data.Maybe.Optics

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

3 values

Packageoptics-core-0.4.1.1
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.