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

Ozgur Akgun ozgurakgun at gmail.com
Wed Oct 13 11:20:27 EDT 2010


Jonas,

2010/10/13 Jonas Almström Duregård <jonas.duregard at chalmers.se>

> (++) :: Finite s1 a -> Finite s2 a -> Finite (S (Plus s1 s2)) a
> (++) (Finite a) (Finite b) = Finite $ a Prelude.++ b
> infixr 5 ++


Why do you have the S in the return type of Finite.++ ?

Ozgur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20101013/0dbf1a39/attachment.html


More information about the Haskell-Cafe mailing list