Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

1 Aug 2006

      Hello Einar,

Tuesday, August 1, 2006, 1:58:30 PM, you wrote:
...
class ElementType c a | c -> a
class Foldable c where
  fold :: ElementType c a => (a -> b -> b) -> b -> c -> b
i love it! will it be possible to write smth like this:

class Stream m h | h->m

data T h = (Stream m h) => C (m Int)

? currently, i need to pass 'm' parameter to T type constructor too,
because GHC can't guess what 'm' is determined by 'h'

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin@gmail.com

Re[2]: [Haskell-cafe] The difficulty of designing a sequence class

Bulat Ziganshin