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

Monoid (CxMonoid a)

Methods

mempty :: CxMonoid a

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

mconcat :: [CxMonoid a] -> CxMonoid a

Title a => Title (CxMonoid a)

Methods

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

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

newtype bijection