OK, I think this is clearly well beyond my level! Will insert some manual checking. Thanks, Matt On 22 June 2015 at 14:51, emacstheviking <objitsu@gmail.com> wrote:
It *could* be done and might already have been done... I seem to recall a few months back somebody asked for a similar feature using one of the vector libraries, to limit one of the input vectors to a fixed length?
You'd have to dig through the list archives though...
On 22 June 2015 at 12:36, Imants Cekusins <imantc@gmail.com> wrote:
But this is checking the values in the implementation, not a type level build time guarantee, isn't it?
yep, correct. Could be caught by unit tests though :-P _______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
_______________________________________________ Beginners mailing list Beginners@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners