[Haskell-cafe] implicit parameters THANK YOU!

2005-03-21 Thread S. Alexander Jacobson
I just discovered implicit parameters. To everyone involved with making them, THANK YOU. They are blazingly useful/powerful for server handler style libraries where you want to make a veriety of local environment information available to the handlers without burdening the handlers with a big

Re: [Haskell-cafe] tuple and HList

2005-03-21 Thread David Menendez
Frederik Eaton writes: > > You need to swap the arguments to TCons... > > > > data TCons l a = TCons !l a > > > > Then: > > > > instance Functor (TCons (TCons HNil a)) where > >fmap f (TCons (TCons HNil x) y) = TCons (TCons HNil (f x)) y) > > How does one solve this problem in general, i.e

Re: [Haskell-cafe] Linux device drivers

2005-03-21 Thread Iavor Diatchki
Hello, There are no storage drivers at the moment. Actually part of the motivation for implementing the networking stuff was so that we can avoid doing that at least for the time being. -Iavor On Mon, 21 Mar 2005 01:32:19 -0500 (Eastern Standard Time), S. Alexander Jacobson <[EMAIL PROTECTED]> w

Re: [Haskell-cafe] invalid character encoding

2005-03-21 Thread Glynn Clements
John Meacham wrote: > > I'm not suggesting inventing conventions. I'm suggesting leaving such > > issues to the application programmer who, unlike the library > > programmer, probably has enough context to be able to reliably > > determine the correct encoding in any specific instance. > > But t

Re: [Haskell-cafe] invalid character encoding

2005-03-21 Thread Ross Paterson
On Sun, Mar 20, 2005 at 04:34:12AM +, Ian Lynagh wrote: > On Sun, Mar 20, 2005 at 01:33:44AM +, [EMAIL PROTECTED] wrote: > > On Sat, Mar 19, 2005 at 07:14:25PM +, Ian Lynagh wrote: > > > Is there anything LC_CTYPE can be set to that will act like C/POSIX but > > > accept 8-bit bytes as

Re: [Haskell-cafe] tuple and HList

2005-03-21 Thread Frederik Eaton
> You need to swap the arguments to TCons... > > data TCons l a = TCons !l a > > Then: > > instance Functor (TCons (TCons HNil a)) where >fmap f (TCons (TCons HNil x) y) = TCons (TCons HNil (f x)) y) How does one solve this problem in general, i.e. when the arguments to a type are in the wr

Re: [Haskell-cafe] tuple and HList

2005-03-21 Thread Keean Schupke
David Menendez wrote: instance Functor ((,) a) where fmap f (x,y) = (x, f y) If we get rid of '(,)' and redefine '(a,b)' as sugar for 'TCons a (TCons b HNil)' (or whatever), then there is no way to declare the above instance. I don't think that's a deal-kil