optics-core-0.2: Optics as an abstract interface: core definitions
Data.Maybe.Optics
Description
This module defines Prisms for the constructors of the Maybe datatype.
Prism
Maybe
_Nothing :: Prism' (Maybe a) () Source #
A Prism that matches on the Nothing constructor of Maybe.
Nothing
_Just :: Prism (Maybe a) (Maybe b) a b Source #
A Prism that matches on the Just constructor of Maybe.
Just