Data.Monoids

Documentation

class Mempty a where

Methods

mempty :: a

mempty :: Monoid a => a

Instances

Monoid a => Mempty a

Methods

mempty :: a

Mempty [a]

Methods

mempty :: [a]

Mempty (Maybe a)

Methods

mempty :: Maybe a

Mempty (Map k a)

Methods

mempty :: Map k a

type family Mempties lst :: Constraint where ...

Equations

Mempties '[] = ()

Mempties (a ': as) = (Mempty a, Mempties as)

mappend :: Semigroup a => a -> a -> a

mappendWith :: Semigroup a => a -> a -> a -> a

mappendBetween :: Semigroup a => a -> a -> a -> a

type family Semigroups lst :: Constraint where ...

Equations

Semigroups '[] = ()

Semigroups (a ': as) = (Semigroup a, Semigroups as)

class (Mempty a, Semigroup a) => Monoid a where

Methods

mconcat :: [a] -> a

Instances

(Mempty a, Semigroup a) => Monoid a

Methods

mconcat :: [a] -> a

mconcat' :: (Foldable t, Monoid a) => t a -> a

intersperse :: Foldable f => a -> f a -> [a]

intercalate :: (Monoid a, Foldable f) => a -> f a -> a

intercalate' :: Monoid a => a -> [a] -> a

type family Monoids lst :: Constraint where ...

Equations

Monoids '[] = ()

Monoids (a ': as) = (Monoid a, Monoids as)