monadiccp-0.6: Constraint Programming
Control.CP.Mixin
type Mixin a = a -> a -> aSource
(<@>) :: Mixin a -> Mixin a -> Mixin aSource
mixin :: Mixin a -> aSource
mixinConst :: a -> a -> a -> aSource
mixinId :: Mixin aSource