[Haskell-cafe] Finite but not fixed length...

Stephen Tetley stephen.tetley at gmail.com
Wed Oct 13 13:47:11 EDT 2010

Hi Jonas

Thanks - I was anticipating a type like this for the destructor:

viewl :: Finite s a -> Either () (a, Finite (Predecessor s) a)

I didn't appreciate that the size type in your code represented the
upper bound and not the actual size.

Best wishes


More information about the Haskell-Cafe mailing list