TypeCompose-0.5.1: Type composition classes & instances

Portabilitysynonym instance
Stabilityexperimental
Maintainerconal@conal.net

Data.CxMonoid

Description

Context-dependent monoids

Synopsis

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 

Fields

unCxMonoid :: MonoidDict a -> a
 

Instances

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

newtype bijection