Re: [Haskell-cafe] Displaying specializations in :info or separately?

Or When t is []: find :: (a -> Bool) -> [a] -> Maybe a if this really is for the newcomer! Doug On Mon, Oct 19, 2015 at 3:11 PM Richard Eisenberg wrote:

I would avoid the `(t ~ []) =>` prefix -- it might be confusing to the newcomers this feature is meant to serve. How about

With t := []: find :: (a -> Bool) -> [a] -> Maybe a

?

Richard

On Oct 19, 2015, at 12:47 PM, David Kraeutmann wrote:

...

Hi,

I'm working on a GHC feature [1] that allows users to view specializations of functions like in (name subject to change)

----

...

:binfo find find :: Foldable t => (a -> Bool) -> t a -> Maybe a Specialisations: t ~ [] => find :: (a -> Bool) -> [a] -> Maybe a

...

:binfo first first :: Arrow a => a b c -> a (b, d) (c, d) Specialisations: a ~ (->) => first :: (b -> c) -> (b, d) -> (c, d)

---

Now there are two things left to decide on: * What command should the specializations be visible under? We can either put it under :info or make a special command :sinfo or :binfo that displays only the expression's type and specialisations like in the example above?

* What specializations do we want to display? goldfire suggested using the default list, which has the added benefit of being customizable by e.g. instructors, so adding a default Maybe (in conjunction with [2]) gives the desired behavior and not too many specializations.

Thanks for your time! David

---- Links: [1] : https://ghc.haskell.org/trac/ghc/ticket/10972 [2] : https://ghc.haskell.org/trac/ghc/ticket/10971

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe