monadiccp-0.6: Constraint Programming

Control.CP.Mixin

Documentation

type Mixin a = a -> a -> aSource

(<@>) :: Mixin a -> Mixin a -> Mixin aSource

mixin :: Mixin a -> aSource

mixinConst :: a -> a -> a -> aSource