Data.CxMonoid

Context-dependent monoids

Documentation

type MonoidDict a = (a, a -> a -> a)

Dictionary for CxMonoid.

newtype CxMonoid a

Type of context-dependent monoid. Includes an explicit dictionary.

Constructors

CxMonoid

Fields

• unCxMonoid :: MonoidDict a -> a

Instances

Semigroup (CxMonoid a)

Defined in Data.CxMonoid

Methods

(<>) :: CxMonoid a -> CxMonoid a -> CxMonoid a

sconcat :: NonEmpty (CxMonoid a) -> CxMonoid a

stimes :: Integral b => b -> CxMonoid a -> CxMonoid a

Monoid (CxMonoid a)

Defined in Data.CxMonoid

Methods

mempty :: CxMonoid a

mappend :: CxMonoid a -> CxMonoid a -> CxMonoid a

mconcat :: [CxMonoid a] -> CxMonoid a

Title a => Title (CxMonoid a)

Defined in Data.CxMonoid

Methods

title :: String -> CxMonoid a -> CxMonoid a

biCxMonoid :: (MonoidDict a -> a) :<->: CxMonoid a

newtype bijection