| Copyright | (c) Conal Elliott 2007 |
|---|---|
| License | BSD3 |
| Maintainer | conal@conal.net |
| Stability | experimental |
| Portability | synonym instance |
| Safe Haskell | None |
| Language | Haskell98 |
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 a Source #
newtype bijection