[Haskell-cafe] OverlappingInstances-extension-like for type families

Leza Morais Lutonda leza.ml at fecrd.cujae.edu.cu
Mon Jul 21 21:29:38 UTC 2014

Hello haskell-café,

I just started working with type families, and come with some 
difficulties. Now I have a class:

class (...) ⇒ Complexable s where
     type ComplexSignalType s

Is there a possibility to have this two instances (in any way)?

instance (RealFloat e) ⇒ Complexable [e] where
     type ComplexSignalType [e] = [ℂ e]

instance (RealFloat e) ⇒ Complexable [ℂ e] where
     type ComplexSignalType [ℂ e] = [ℂ e]

Leza Morais Lutonda, Lemol-C

50 Aniversario de la Cujae. Inaugurada por Fidel el 2 de diciembre de 1964  http://cujae.edu.cu

More information about the Haskell-Cafe mailing list