[Haskell] Arrows GUI Library Based on GTK+

ross at soi.city.ac.uk ross at soi.city.ac.uk
Sat Mar 19 12:19:39 EST 2005


On Sat, Mar 19, 2005 at 07:48:09AM -0700, Kevin Atkinson wrote:
> > Your module uses the arrow interface, but it's actually equivalent to
> > monads.  
> 
> It is?  Than what would "app" look like?

My mistake: FG' is a Kliesli arrow, but FG isn't.

> Has anyone tried to make Fudgets an instance of the Arrow class?

see the stream processors in John Hughes's original paper.

> > - how about: data Event a = NoEvent | Event a
> 
> And what would "a" be?

The thing you currently always pair with an Event, and ignore if it's
NoEvent.

> > - you don't really need mkAFunDef in AbstractFunction, and indeed you
> >   don't need AbstractFunction either -- you could just use Arrow, of
> >   which both (->) and FG are already instances.
> 
> But than can I make a function like "tag" which can either be used as an 
> arrow or a function.

But functions are arrows: (->) is an instance of the Arrow class.


More information about the Haskell mailing list