13 Oct
2010
13 Oct
'10
11:35 a.m.
Why do you have the S in the return type of Finite.++ ?
Typo. Plus is sufficient.
What I would really like is a nice way of implementing concat (i.e.
concatenate a finite number of finite lists, of various "sizes", into a
single finite list).
/J
2010/10/13 Ozgur Akgun
Jonas,
2010/10/13 Jonas Almström Duregård
(++) :: 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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe