Data.Semigroup

Documentation

class Semigroup a where

Methods

(<>) :: a -> a -> a

fold1 :: Foldable f => f a -> a

Instances

Semigroup All

Semigroup Any

Semigroup a => Semigroup (Dual a)

Semigroup (Endo a)

Num a => Semigroup (Sum a)

Num a => Semigroup (Product a)

Semigroup (First a)

Semigroup (Last a)

Semigroup a => Semigroup (Option a)

Monoid m => Semigroup (WrappedMonoid m)

Ord a => Semigroup (Max a)

Ord a => Semigroup (Min a)

newtype Min a

Constructors

Min

Fields

getMin :: a

Instances

Ord a => Semigroup (Min a)

newtype Max a

Constructors

Max

Fields

getMax :: a

Instances

Ord a => Semigroup (Max a)

newtype Option a

Constructors

Option

Fields

runOption :: Maybe a

Instances

Eq a => Eq (Option a)

Ord a => Ord (Option a)

Read a => Read (Option a)

Show a => Show (Option a)

Semigroup a => Monoid (Option a)

Semigroup a => Semigroup (Option a)

newtype WrappedMonoid m

Constructors

WrapMonoid

Fields

unwrapMonoid :: m

Instances

Eq m => Eq (WrappedMonoid m)

Ord m => Ord (WrappedMonoid m)

Read m => Read (WrappedMonoid m)

Show m => Show (WrappedMonoid m)

Monoid m => Monoid (WrappedMonoid m)

Monoid m => Semigroup (WrappedMonoid m)