[Haskell-cafe] MonadPlus or Alternative or ...?

Sebastian Fischer sebf at informatik.uni-kiel.de
Sun May 2 06:52:01 EDT 2010


> would you have any suggestions on a name for such a class or names  
> for the methods?


I'm afraid I don't. I'd like

     class Pointed t where
       point :: a -> t a

     class Monoid m where
       id  :: m
       (.) :: m -> m -> m

     constraint Monoidy t = (Pointed t, Monoid (t a))

(although I'm not a big fan of the involved names except for the  
Monoid class)

But the above is currently impractical for various reasons ;) (more  
than those listed in [1]).

Sebastian

[1] Haskell Type Constraints Unleashed
      http://www.cs.kuleuven.be/~toms/Research/papers/constraint_families.pdf

-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)





More information about the Haskell-Cafe mailing list