On 21/07/14 23:02, adam vogt wrote:
If you instead use functional dependencies (FDs):
class Complexable s cs | s -> cs instance Complexable [e] [C e] instance Complexable [C e] [C e]
you can put these instances in separate modules. But the disadvantage is that you have to deal with more type variables.
Hi Adam, Actually, the Complexable class has a superclass, and the definition has a constraint like this: class (Signal s, ComplexSignal (ComplexSignalType s)) => Complexable s where type ComplexSignalType s ... Trying to use functional dependencies, I end refactoring the Complexable class to: class (ComplexSignal csx rsx cel rel) ⇒ Complexable csx rsx cel rel | cel → csx, rel → rsx, rsx → csx But these instances still conflicting: instance (RealFloat e) ⇒ Complexable [ℂ e] [e] (ℂ e) e instance (RealFloat e) ⇒ Complexable [ℂ e] [ℂ e] (ℂ e) (ℂ e) Thanks. -- Leza Morais Lutonda, Lemol-C http://lemol.github.io 50 Aniversario de la Cujae. Inaugurada por Fidel el 2 de diciembre de 1964 http://cujae.edu.cu