[Haskell-cafe] Does this typeclass have a name?

Tom Ellis tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk
Mon Apr 21 08:00:20 UTC 2014

On Mon, Apr 21, 2014 at 07:09:13AM +0200, Bardur Arantsson wrote:
>   class Foo a e where
>      foo :: e -> a -> a
>      bar :: a
>    You have a sequence of "events" e_i and a starting value
>    "bar" and can use the "foo" function to apply all events
>    to that starting value

Do you *really* want a typeclass for this, rather than a value?


More information about the Haskell-Cafe mailing list