TypeCompose-0.3: Type composition classes & instancesSource codeContentsIndex
Data.CxMonoid
Portabilitysynonym instance
Stabilityexperimental
Maintainerconal@conal.net
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
show/hide Instances
biCxMonoid :: (MonoidDict a -> a) :<->: CxMonoid aSource
newtype bijection
Produced by Haddock version 2.3.0