> Type wildcards that allow partially specifying types, e.g: > > f :: _ -> String > f x = show x > > This will instruct the type-inferrer to "fill out" the wild-card part only > (e.g: Show a => a).
Also see http://hackage.haskell.org/trac/haskell-prime/wiki/PartialTypeAnnotations Cheers, Andres -- Andres Loeh, Universiteit Utrecht mailto:and...@cs.uu.nl mailto:m...@andres-loeh.de http://www.andres-loeh.de _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
