[Haskell-cafe] Problems with type families

[Leza Morais Lutonda]

On 07/06/2015 01:20 PM, Leza Morais Lutonda wrote:
> instance (SignalT t1 e, SignalT t2 e) =>  SignalT (ComposeT t1 t2) e
>      where
>          transform _ x = (transform (undefined :: t1) . transform 
> (undefined :: t2)) x 
Sorry for a typo:

instance (SignalT t1 e, SignalT t2 e, TFunOut t2 e ~ TFunIn t1 e) =>  SignalT (ComposeT t1 t2) e
      where
          transform _ x = (transform (undefined :: t1) . transform (undefined :: t2)) x


but still not compile.

-- 
Leza Morais Lutonda, Lemol-C
Electronic and Telecommunication Engineer
Software Development and Architecture Enthusiast
http://lemol.github.io



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