quantification-0.1.2: Data types and typeclasses to deal with universally and existentially quantified types

Safe HaskellSafe
LanguageHaskell2010

Data.Monoid.Lifted

Documentation

class Semigroup1 f where Source #

Minimal complete definition

sappend1

Methods

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

Instances

Semigroup1 Maybe Source # 

Methods

sappend1 :: (a -> a -> a) -> Maybe a -> Maybe a -> Maybe a Source #

(Semigroup1 f, Semigroup1 g) => Semigroup1 (Compose * * f g) Source # 

Methods

sappend1 :: (a -> a -> a) -> Compose * * f g a -> Compose * * f g a -> Compose * * f g a Source #