| Portability | synonym instance |
|---|---|
| Stability | experimental |
| Maintainer | conal@conal.net |
Data.CxMonoid
Description
Context-dependent monoids
- 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.
Type of context-dependent monoid. Includes an explicit dictionary.
Constructors
| CxMonoid | |
Fields
| |
biCxMonoid :: (MonoidDict a -> a) :<->: CxMonoid aSource
newtype bijection