Data.Semigroup.Alt

A semigroup for working Alt or Plus

Documentation

newtype Alter f a

A Alter turns any Alt instance into a Semigroup.

Constructors

Alter

Fields

getAlter :: f a

Instances

Functor f => Functor (Alter f)

(Alt (Alter f), Plus f) => Plus (Alter f)

(Functor (Alter f), Alt f) => Alt (Alter f)

(Semigroup (Alter f a), Alt f) => Reducer (f a) (Alter f a)

Plus f => Monoid (Alter f a)

Alt f => Semigroup (Alter f a)