Alfonso Acosta wrote:
> class Synchronous s f1 f2 | s -> f1, s -> f2 where
> mapSY :: f1 a b -> s a -> s b
> delaySY:: a -> s a -> s a
> zipWithSY :: f2 a b c-> s a -> s b -> s c
>
> The goal of this class is to extend the name of the following
> functions (which BTW ar
On 2/21/07, Alfonso Acosta <[EMAIL PROTECTED]> wrote:
In my opinion adding Type-level lambdas would be the way to go, but
they unfortunately are not part of Haskell.
[snip]
Is there any extension to the language covering type-level lambdas or
even a plan to include them in next revision?
SP
Now I'm facing another problem, sorry if it takes too long to reach
the Type level lambdas issue ...
The full definition of my class is
class Synchronous s f1 f2 | s -> f1, s -> f2 where
mapSY :: f1 a b -> s a -> s b
delaySY :: a -> s a -> s a
zipWithSY :: f2 a b c-> s a -> s b