[Haskell-cafe] distinguish functions from non-functions in a class/instances

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Wed Dec 5 16:32:10 EST 2007

On Dec 5, 2007, at 16:00 , Philipp N. wrote:

> the odd thing is. you can get this to work, if you have a  
> terminating type
> as result type (for example (IO x)). then you can work with all  
> types (IO
> x), (a -> IO x), (a -> b -> IO x), ...
> but i don't want this delimiter IO! any ideas?

Use ST instead?  (just tossing ideas in the wind...)

brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH

More information about the Haskell-Cafe mailing list