Data.Semigroup.First

newtype First a

Semigroup where append always takes the first option.

First x <> First y == First x

Constructors

• First a

Instances

• (Eq a) => Eq (First a)
• Eq1 First
• (Ord a) => Ord (First a)
• Ord1 First
• (Bounded a) => Bounded (First a)
• (Show a) => Show (First a)
• Functor First
• Apply First
• Applicative First
• Bind First
• Monad First
• Semigroup (First a)