Re: [Haskell-beginners] Structural restrictions in type constructor

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 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 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