Module

Data.Maybe.First

#First

newtype First a

Monoid returning the first (left-most) non-Nothing value.

First (Just x) <> First (Just y) == First (Just x)
First Nothing <> First (Just y) == First (Just y)
First Nothing <> Nothing == First Nothing
mempty :: First _ == First Nothing

Constructors

Instances

Modules