Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

## Synopsis

- class Semigroup1 f where
- class Semigroup1 f => Monoid1 f where
- append1 :: (Semigroup1 f, Semigroup a) => f a -> f a -> f a
- empty1 :: (Monoid1 f, Monoid a) => f a

# Documentation

class Semigroup1 f where Source #

Laws for this typeclass:

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

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

## Instances

class Semigroup1 f => Monoid1 f where Source #

Laws for this typeclass:

liftAppend f a (liftEmpty mempty) = a

## Instances

Monoid1 [] Source # | |

Defined in Data.Monoid.Lifted | |

Monoid1 IO Source # | |

Defined in Data.Monoid.Lifted | |

Monoid1 Identity Source # | |

Defined in Data.Monoid.Lifted | |

Monoid1 Dual Source # | |

Defined in Data.Monoid.Lifted | |

(Semigroup a, Monoid a) => Monoid1 ((,) a) Source # | |

Defined in Data.Monoid.Lifted | |

(Hashable k, Eq k) => Monoid1 (HashMap k) Source # | |

Defined in Data.Monoid.Lifted | |

Ord k => Monoid1 (Map k) Source # | |

Defined in Data.Monoid.Lifted | |

Monoid1 (Proxy :: * -> *) Source # | |

Defined in Data.Monoid.Lifted | |

Monoid1 f => Monoid1 (ApplyLifted f) Source # | |

Defined in Data.Exists liftEmpty :: a -> ApplyLifted f a Source # | |

Monoid1 ((->) a :: * -> *) Source # | |

Defined in Data.Monoid.Lifted | |

(Monoid1 f, Monoid1 g) => Monoid1 (Product f g) Source # | |

Defined in Data.Monoid.Lifted | |

(Monoid1 f, Monoid1 g) => Monoid1 (Compose f g) Source # | |

Defined in Data.Monoid.Lifted |

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