Data.Monoid.Lifted

Documentation

class Semigroup1 f where

Laws for this typeclass:

• liftAppend f a (liftAppend f b c) = liftAppend f (liftAppend f a b) c

Minimal complete definition

liftAppend

Methods

liftAppend :: (a -> a -> a) -> f a -> f a -> f a

Instances

Semigroup1 []

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> [a] -> [a] -> [a]

Semigroup1 Maybe

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Maybe a -> Maybe a -> Maybe a

Semigroup1 IO

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> IO a -> IO a -> IO a

Semigroup1 Identity

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Identity a -> Identity a -> Identity a

Semigroup1 Dual

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Dual a -> Dual a -> Dual a

Semigroup a => Semigroup1 ((,) a)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a0 -> a0 -> a0) -> (a, a0) -> (a, a0) -> (a, a0)

(Hashable k, Eq k) => Semigroup1 (HashMap k)

Disagrees with Semigroup instance for HashMap

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> HashMap k a -> HashMap k a -> HashMap k a

Ord k => Semigroup1 (Map k)

Disagrees with Semigroup instance for Map

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Map k a -> Map k a -> Map k a

Semigroup1 (Proxy :: * -> *)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Proxy a -> Proxy a -> Proxy a

Semigroup a => Semigroup1 (Const a :: * -> *)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a0 -> a0 -> a0) -> Const a a0 -> Const a a0 -> Const a a0

Semigroup1 f => Semigroup1 (ApplyLifted f)

Defined in Data.Exists

Methods

liftAppend :: (a -> a -> a) -> ApplyLifted f a -> ApplyLifted f a -> ApplyLifted f a

Semigroup1 ((->) a :: * -> *)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a0 -> a0 -> a0) -> (a -> a0) -> (a -> a0) -> a -> a0

(Semigroup1 f, Semigroup1 g) => Semigroup1 (Product f g)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Product f g a -> Product f g a -> Product f g a

(Semigroup1 f, Semigroup1 g) => Semigroup1 (Compose f g)

Defined in Data.Monoid.Lifted

Methods

liftAppend :: (a -> a -> a) -> Compose f g a -> Compose f g a -> Compose f g a

class Semigroup1 f => Monoid1 f where

Laws for this typeclass:

• liftAppend f a (liftEmpty mempty) = a

Minimal complete definition

liftEmpty

Methods

liftEmpty :: a -> f a

Instances

Monoid1 []

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> [a]

Monoid1 IO

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> IO a

Monoid1 Identity

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Identity a

Monoid1 Dual

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Dual a

(Semigroup a, Monoid a) => Monoid1 ((,) a)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a0 -> (a, a0)

(Hashable k, Eq k) => Monoid1 (HashMap k)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> HashMap k a

Ord k => Monoid1 (Map k)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Map k a

Monoid1 (Proxy :: * -> *)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Proxy a

Monoid1 f => Monoid1 (ApplyLifted f)

Defined in Data.Exists

Methods

liftEmpty :: a -> ApplyLifted f a

Monoid1 ((->) a :: * -> *)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a0 -> a -> a0

(Monoid1 f, Monoid1 g) => Monoid1 (Product f g)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Product f g a

(Monoid1 f, Monoid1 g) => Monoid1 (Compose f g)

Defined in Data.Monoid.Lifted

Methods

liftEmpty :: a -> Compose f g a

append1 :: (Semigroup1 f, Semigroup a) => f a -> f a -> f a

empty1 :: (Monoid1 f, Monoid a) => f a