TypeCompose-0.3: Type composition classes & instances Source code Contents Index

Data.CxMonoid Portability synonym instance Stability experimental Maintainer [email protected]

Description

Context-dependent monoids

Synopsis

type MonoidDict a = (a, a -> a -> a) newtype CxMonoid a = CxMonoid { unCxMonoid :: MonoidDict a -> a } biCxMonoid :: (MonoidDict a -> a) :<->: CxMonoid a

Documentation

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

Dictionary for CxMonoid.

newtype CxMonoid a Source

Type of context-dependent monoid. Includes an explicit dictionary. Constructors CxMonoid unCxMonoid :: MonoidDict a -> a Instances Monoid (CxMonoid a) Title a => Title (CxMonoid a)

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

newtype bijection

Produced by Haddock version 2.3.0