[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