Data.Monoid1

Documentation

class Unit1 m where

the class of containers with a "nil" element

Minimal complete definition

empty1

Methods

empty1 :: m a

Instances

Unit1 []

Methods

empty1 :: [a]

Unit1 First

Methods

empty1 :: First a

Unit1 Last

Methods

empty1 :: Last a

Unit1 IntMap

Methods

empty1 :: IntMap a

Unit1 m => Unit1 (WrappedMonad m)

Methods

empty1 :: WrappedMonad m a

Unit1 (Map k)

Methods

empty1 :: Map k a

Monoid a => Unit1 (Const * a)

Methods

empty1 :: Const * a a

class Append1 m where

the class of containers that can be combined regardless of type they contain

Minimal complete definition

append1

Methods

append1 :: m a -> m a -> m a

Instances

Append1 []

Methods

append1 :: [a] -> [a] -> [a]

Append1 First

Methods

append1 :: First a -> First a -> First a

Append1 Last

Methods

append1 :: Last a -> Last a -> Last a

Append1 IntMap

Methods

append1 :: IntMap a -> IntMap a -> IntMap a

Append1 m => Append1 (WrappedMonad m)

Methods

append1 :: WrappedMonad m a -> WrappedMonad m a -> WrappedMonad m a

Ord k => Append1 (Map k)

Methods

append1 :: Map k a -> Map k a -> Map k a

Append1 f => Append1 (Variation f)

Methods

append1 :: Variation f a -> Variation f a -> Variation f a

Monoid a => Append1 (Const * a)

Methods

append1 :: Const * a a -> Const * a a -> Const * a a

class (Unit1 m, Append1 m) => Monoid1 m

the class of containers that form a Monoid regardless of the type they contain

Instances

Monoid1 []

Monoid1 First

Monoid1 Last

Monoid1 IntMap

Monoid1 m => Monoid1 (WrappedMonad m)

Ord k => Monoid1 (Map k)

Monoid a => Monoid1 (Const * a)