Module

Data.Maybe.First

Package
maybe
Repository
purescript/purescript-maybe

#First Source

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 <> First Nothing == First Nothing
mempty :: First _ == First Nothing

Constructors

Instances